Consistency-based diagnosis of configuration knowledge bases

DOI10.1016/S0004-3702(03)00117-6zbMath1082.68826MaRDI QIDQ814544

Markus Stumptner, Alexander Felfernig, Dietmar Jannach, Gerhard Friedrich

Publication date: 7 February 2006

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

zbMATH Keywords

DiagnosisConfiguration

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (6)

Memory-limited model-based diagnosis ⋮ A max-term counting based knowledge inconsistency checking strategy and inconsistency measure calculation of fuzzy knowledge based systems ⋮ Preference reasoning with soft constraints in constraint-based recommender systems ⋮ Sequential model-based diagnosis by systematic search ⋮ On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging ⋮ Logical foundations of knowledge-based recommender systems: a unifying spectrum of alternatives

Cites Work

• A theory of diagnosis from first principles
• A correction to the algorithm in Reiter's theory of diagnosis
• Model-based diagnosis of hardware designs
• Diagnosing tree-structured systems
• On the relationship between model-based debugging and program slicing
• Unnamed Item
• Unnamed Item

This page was built for publication: Consistency-based diagnosis of configuration knowledge bases