Debugging Hardware Designs Using a Value-Based Model
Applied Intelligence
DiKe: a model-based diagnosis kernel and its application
AI Communications - Special issue on KI-2001
DiKe - A Model-Based Diagnosis Kernel and Its Application
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Consistency-based diagnosis of configuration knowledge bases
Artificial Intelligence
A constraint solver for model-based engineering
AI Communications
From constraint representations of sequential code and program annotations to their use in debugging
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
New polynomial classes for logic-based abduction
Journal of Artificial Intelligence Research
Coupling CSP decomposition methods and diagnosis algorithms for tree-structured systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Propositional abduction is almost always hard
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Diagnosing a System with Value-Based Reasoning
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
An algorithm for diagnosing system with structured description
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
An Agent-Based Architecture for Model-Based Diagnosis Using Observation Cost
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
An evidential network approach to support uncertain multiviewpoint abductive reasoning
Information Sciences: an International Journal
The route to success: a performance comparison of diagnosis algorithms
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |