Controlling the complexity in model-based diagnosis

DOI10.1007/BF01530747zbMATH Open0858.68101MaRDI QIDQ1924811FDOQ1924811

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)

Cites Work

• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Embedding Boolean expressions into logic programming
• Characterizing diagnoses and systems
• 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?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• A novel SAT-based approach to model based diagnosis
• From causes for database queries to repairs and model-based diagnosis and back

Uses Software

• SICStus

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1924811)