Explanatory diagnoses and their characterization by circumscription

DOI10.1007/BF01530738zbMath0855.68089MaRDI QIDQ1924797

Marie-Odile Cordier, Philippe Besnard

Publication date: 3 December 1996

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

default logicexplanatory diagnoses

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (4)

Consistency-based and abductive diagnoses as generalised stable models ⋮ A spectrum of definitions for temporal model-based diagnosis ⋮ Process algebras for systems diagnosis. ⋮ Explaining by evidence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A formal model of diagnostic inference. I. Problem formulation and decomposition
• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Circumscription - a form of non-monotonic reasoning
• Characterizing diagnoses and systems
• Consistency-based and abductive diagnoses as generalised stable models

This page was built for publication: Explanatory diagnoses and their characterization by circumscription