Consistency-based and abductive diagnoses as generalised stable models

DOI10.1007/BF01530737zbMATH Open0856.03025OpenAlexW2043226702MaRDI QIDQ1924796FDOQ1924796

Kave Eshghi, Chris Preist, 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)

Cites Work

• A logic-based calculus of events
• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Characterizing diagnoses and systems
• On the Relationship Between Abduction and Deduction
• A rational reconstruction of nonmonotonic truth maintenance systems
• Computing abduction by using TMS with top-down expectation
• Explanatory diagnoses and their characterization by circumscription
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)