scientific article; zbMATH DE number 4185074
From MaRDI portal
Publication:5750451
Recommendations
Cited in
(25)- Equality and abductive residua for Horn clauses
- Abduction from logic programs: Semantics and complexity
- Explanation in artificial intelligence: insights from the social sciences
- Outlier detection using default reasoning
- Abduction versus closure in causal theories.
- Representing diagnosis knowledge
- Succinctness as a source of complexity in logical formalisms
- Consistency-based and abductive diagnoses as generalised stable models
- Explanatory diagnoses and their characterization by circumscription
- Diagnosis and supervision: model-based approaches
- Abduction as belief revision
- Causal fault detection and isolation based on a set-membership approach
- scientific article; zbMATH DE number 1790855 (Why is no real title available?)
- Process algebras for systems diagnosis.
- A framework for controlling model-based diagnosis systems with multiple actions
- Controlling the complexity in model-based diagnosis
- Preferring diagnoses using a partial order on assumptions
- Probabilistic Horn abduction and Bayesian networks
- Outlier detection for simple default theories
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
- Semantics and complexity of abduction from default theories
- On rules of abduction.
- A spectrum of definitions for temporal model-based diagnosis
- Further contributions to characterizing diagnosis
- Inconsistency management for traffic regulations: formalization and complexity results
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5750451)
