Explanatory diagnoses and their characterization by circumscription
type: Item
instance of: scholarly article
title: Explanatory diagnoses and their characterization by circumscription
zbMATH Open document ID: 0855.68089
DOI: 10.1007/BF01530738
author: Marie-Odile Cordier
author: P. Besnard
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1996-12-03T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 937289
zbMATH Keywords: default logic
zbMATH Keywords: explanatory diagnoses
MaRDI profile type: Publication
cites work: Q4692931
cites work: Q5750429
cites work: Diagnosing multiple faults
cites work: Characterizing diagnoses and systems
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Q5726696
cites work: Consistency-based and abductive diagnoses as generalised stable models
cites work: Q5750451
cites work: A formal model of diagnostic inference. I. Problem formulation and decomposition
cites work: A theory of diagnosis from first principles
description: scientific article; zbMATH DE number 937289