A Model-Based Diagnosis System for Identifying Faulty Components in Digital Circuits
Applied Intelligence
The computation of hitting sets: review and new algorithms
Information Processing Letters
Finding all minimal unsatisfiable subsets
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Supervised learning algorithm for automatic adaption of situation templates using uncertain data
Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human
A Test Theory of the Model-Based Diagnosis
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Improved algorithms for deriving all minimal conflict sets in model-based diagnosis
ICIC'07 Proceedings of the intelligent computing 3rd international conference on Advanced intelligent computing theories and applications
Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Hi-index | 0.00 |