scientific article; zbMATH DE number 4185074
From MaRDI portal
Publication:5750451
zbMATH Open0718.68084MaRDI QIDQ5750451FDOQ5750451
Authors:
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30)
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
- Diagnosis and supervision: model-based approaches
- Consistency-based and abductive diagnoses as generalised stable models
- Explanatory diagnoses and their characterization by circumscription
- Abduction as belief revision
- Title not available (Why is that?)
- Causal fault detection and isolation based on a set-membership approach
- 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)
