Model-based and qualitative reasoning: An introduction
Annals of Mathematics and Artificial Intelligence
Model-Based Diagnosis and Conditional Logic
Applied Intelligence
Modeling Domain Knowledge Using Explicit Conceptualization
IEEE Expert: Intelligent Systems and Their Applications
Hierarchical Diagnosis of Large Configurator Knowledge Bases
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Consistency-based diagnosis of configuration knowledge bases
Artificial Intelligence
Symbolic diagnosis and its formalisation
The Knowledge Engineering Review
Hierarchical model-based diagnosis based on structural abstraction
Artificial Intelligence
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
A prototype for model-based on board diagnosis of automotive systems
AI Communications
A semantic theory of abstractions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Hierarchical diagnosis guided by observations
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
A Method for Sensor Placement Taking into Account Diagnosability Criteria
International Journal of Applied Mathematics and Computer Science - Issues in Fault Diagnosis and Fault Tolerant Control
Integrating formal methods with system management
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Maximal-confirmation diagnoses
Knowledge-Based Systems
A new efficient and flexible algorithm for the design of testable subsystems
International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems
Physiological applications of consistency-based diagnosis
Artificial Intelligence in Medicine
Hi-index | 0.00 |