Controlling the complexity in model-based diagnosis

DOI10.1007/BF01530747zbMath0858.68101MaRDI QIDQ1924811

Igor Mozetič, Christian Holzbaur

Publication date: 25 March 1997

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

zbMATH Keywords

constraint logic programmingincremental diagnostic algorithm

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

From causes for database queries to repairs and model-based diagnosis and back

Uses Software

• SICStus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Embedding Boolean expressions into logic programming
• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Characterizing diagnoses and systems

This page was built for publication: Controlling the complexity in model-based diagnosis