Diagnosing tree-structured systems

DOI10.1016/S0004-3702(01)00054-6zbMath0971.68157MaRDI QIDQ5940958

Franz Wotawa, Markus Stumptner

Publication date: 20 August 2001

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

efficient diagnosis algorithmsmodel-based diagnosis

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (3)

Diagnosis of Deep Discrete-Event Systems ⋮ A variant of Reiter's hitting-set algorithm ⋮ Consistency-based diagnosis of configuration knowledge bases

Cites Work

• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Constraint satisfaction from a deductive viewpoint
• Tree clustering for constraint networks
• A correction to the algorithm in Reiter's theory of diagnosis
• A comparison of structural CSP decomposition methods
• Model-based diagnosis of hardware designs
• Focusing on independent diagnosis problems
• Structure-driven algorithms for truth maintenance
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Diagnosing tree-structured systems