Consistency-based and abductive diagnoses as generalised stable models
type: Item
instance of: scholarly article
title: Consistency-based and abductive diagnoses as generalised stable models
zbMATH Open document ID: 0856.03025
DOI: 10.1007/BF01530737
author: Chris Preist
author: Kave Eshghi
author: Bruno Bertolino
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1996-10-20T00:00:00Z
Mathematics Subject Classification ID: 03B80
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 937288
zbMATH Keywords: abductive diagnosis
zbMATH Keywords: negation as failure
zbMATH Keywords: generalized stable model semantics of abduction
zbMATH Keywords: consistency-based diagnosis
MaRDI profile type: Publication
cites work: Explanatory diagnoses and their characterization by circumscription
cites work: On the Relationship Between Abduction and Deduction
cites work: Q3491526
cites work: Q3786007
cites work: Characterizing diagnoses and systems
cites work: Diagnosing multiple faults
cites work: Q5750448
cites work: A rational reconstruction of nonmonotonic truth maintenance systems
cites work: Q5688893
cites work: A logic-based calculus of events
cites work: Q5688894
cites work: Q5750451
cites work: A theory of diagnosis from first principles
cites work: Computing abduction by using TMS with top-down expectation
cites work: Q3198891
full work available at URL: https://doi.org/10.1007/bf01530737
OpenAlex ID: W2043226702
description: scientific article; zbMATH DE number 937288