Controlling the complexity in model-based diagnosis
type: Item
instance of: scholarly article
title: Controlling the complexity in model-based diagnosis
zbMATH Open document ID: 0858.68101
DOI: 10.1007/BF01530747
author: Igor Mozetič
author: Christian Holzbaur
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-03-25T00:00:00Z
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 937297
zbMATH Keywords: incremental diagnostic algorithm
zbMATH Keywords: constraint logic programming
describes a project that uses: SICStus
MaRDI profile type: Publication
cites work: Q5802117
cites work: Embedding Boolean expressions into logic programming
cites work: Q3493231
cites work: Characterizing diagnoses and systems
cites work: Diagnosing multiple faults
cites work: Q5750448
cites work: Q5750445
cites work: Q4198056
cites work: Q3490995
cites work: Q3992908
cites work: Q5750451
cites work: A theory of diagnosis from first principles
cites work: Q5750452
description: scientific article; zbMATH DE number 937297