Consistency-based and abductive diagnoses as generalised stable models

DOI10.1007/BF01530737MaRDI QIDQ1924796zbMATH OpenOpenAlexFDO

Authors Chris Preist, Kave Eshghi, Bruno Bertolino

Publication date 20 October 1996

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

Full work available at URL https://doi.org/10.1007/bf01530737

zbMATH Keywords

negation as failureabductive diagnosisconsistency-based diagnosisgeneralized stable model semantics of abduction

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Other applications of logic (03B80)

Recommendations

• scientific article; zbMATH DE number 970708
• scientific article; zbMATH DE number 4185074
• Explanatory diagnoses and their characterization by circumscription

Cites work

• scientific article; zbMATH DE number 4174356 (Why is no real title available?)
• scientific article; zbMATH DE number 4164813 (Why is no real title available?)
• scientific article; zbMATH DE number 4049120 (Why is no real title available?)
• scientific article; zbMATH DE number 970708 (Why is no real title available?)
• scientific article; zbMATH DE number 970709 (Why is no real title available?)
• scientific article; zbMATH DE number 4185071 (Why is no real title available?)
• scientific article; zbMATH DE number 4185074 (Why is no real title available?)
• A logic-based calculus of events
• A rational reconstruction of nonmonotonic truth maintenance systems
• A theory of diagnosis from first principles
• Characterizing diagnoses and systems
• Computing abduction by using TMS with top-down expectation
• Diagnosing multiple faults
• Explanatory diagnoses and their characterization by circumscription
• On the Relationship Between Abduction and Deduction

Cited in

(5)

• Analysis of notions of diagnosis
• A general proof of consistency of heuristic classification for cognitive diagnosis models
• Explanatory diagnoses and their characterization by circumscription
• Process algebras for systems diagnosis.
• A spectrum of definitions for temporal model-based diagnosis

This page was built for publication: Consistency-based and abductive diagnoses as generalised stable models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1924796)