A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Information Processing Letters
Model-based reasoning: troubleshooting
Exploring artificial intelligence
Model-based diagnosis of hardware designs
Artificial Intelligence
A prototype for model-based on board diagnosis of automotive systems
AI Communications
Error traces in model-based debugging of hardware description languages
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Using abstract dependences to localize faults from procedural programs
AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications
Designing Technology as an Embedded Resource for Troubleshooting
Computer Supported Cooperative Work
Recommending Effort Estimation Methods for Software Project Management
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Query reformulation and refinement using NLP-based sentence clustering
ECIR'07 Proceedings of the 29th European conference on IR research
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Static and dynamic adaptations for service-based systems
Information and Software Technology
A comprehensive architecture for autonomic service management
Proceedings of the 4th International Conference on Uniquitous Information Management and Communication
Towards lightweight fault localization in procedural programs
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Hi-index | 0.00 |
Model-based diagnosis refers to reasoning from first principles that declaratively describe a system's structural and behavioral properties. In recent years, model-based diagnosis has proven successful in such areas as software design and fault localization in hardware. However, although the basic principles of model-based diagnosis are well known, creating appropriate domain-specific models is still a challenge. Nevertheless, empirical results for industrial-sized problems related to the debugging of hardware designs show the appropriateness of model-based diagnosis for medium-size real-world problems in a commercial setting.