Communications of the ACM
PELAS-Program Error-Locating Assistant System
IEEE Transactions on Software Engineering
Diagnosing multiple faults using knowledge about malfunctioning behavior
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
A hierarchical symptom classification for model based causal reasoning
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Automated circuit diagnosis using first order logic tools
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
An assumption-based localization technique for switching system
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Model-based fault diagnosis: knowledge acquisition and system design
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Automated diagnosis of analog circuits
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Utilizing multilevel models and reasoning for diagnosis of a complex electro-mechanical system
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Diagnosis, parsimony, and genetic algorithms
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
On the efficiency of logic-based diagnosis
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
TRSHOOT: a model-based troubleshooter
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Providing paradigm orientation without implementational handcuffs
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
A system for fault diagnosis and simulation of VHDL descriptions
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Decision-theoretic troubleshooting
Communications of the ACM
Rule-based versus structure-based models for explaining and generating expert behavior
Communications of the ACM
On the power of qualitative simualation for estimating diffusion transit times
WSC '86 Proceedings of the 18th conference on Winter simulation
Diagnosing faults through responsibility
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
An expert system approach to LAN design
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Printer troubleshooting using Bayesian networks
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Combining Case-Based and Model-Based Reasoning for the Diagnosis of Complex Devices
Applied Intelligence
Expert System Hardware for Fault Detection
Applied Intelligence
A Model-Based Diagnosis System for Identifying Faulty Components in Digital Circuits
Applied Intelligence
Model-Based Diagnosis and Conditional Logic
Applied Intelligence
Strategies in Model-based Diagnosis
Journal of Automated Reasoning
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
Journal of Automated Reasoning
A Rule-Based Design-for-Testability Rule Checker
IEEE Design & Test
A VHDL Fault Diagnosis Tool Using Functional Fault Models
IEEE Design & Test
Computational Complexity Issues in Operative Diagnostics of Graph-Based Systems
IEEE Transactions on Computers
Using Compiled Knowledge to Guide and Focus Abductive Diagnosis
IEEE Transactions on Knowledge and Data Engineering
IEEE Expert: Intelligent Systems and Their Applications
An Application of Explanation-Based Learning to Protocol Conformance Testing
IEEE Expert: Intelligent Systems and Their Applications
Device Understanding and Modeling for Diagnosis
IEEE Expert: Intelligent Systems and Their Applications
Toward a Competence Theory of Diagnosis
IEEE Expert: Intelligent Systems and Their Applications
FORK: A System for Object- and Rule-Oriented Programming
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
FLAMES: A Fuzzy Logic ATMS and Model-based Expert System for Analog Diagnosis
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Model-based fault diagnosis of sequential circuits and its acceleration
EURO-DAC '91 Proceedings of the conference on European design automation
Using FMEA models and ontologies to build diagnostic models
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Diagnosability evaluation of systems using bipartite graph and matrix approach
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Symbolic diagnosis and its formalisation
The Knowledge Engineering Review
Hierarchical model-based diagnosis based on structural abstraction
Artificial Intelligence
The Localization and Correction of Errors in Models: A Constraint-Based Approach
Applied Intelligence
A layered approach to automated electrical safety analysis in automotive environments
Computers in Industry
An application of qualitative reasoning to derive behavior from structure of quantitative models
Journal of Management Information Systems
An improved model-based method to test circuit faults
Theoretical Computer Science
Reasoning about linear circuits; a model-based approach
AI Communications
Conflict-directed A* and its role in model-based embedded systems
Discrete Applied Mathematics
Outlier detection by logic programming
ACM Transactions on Computational Logic (TOCL)
Towards understanding and harnessing the potential of clause learning
Journal of Artificial Intelligence Research
Temporally coarse representation of behavior for model-based troubleshooting of digital circuits
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Normality and faults in logic-based diagnosis
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A theory of diagnosis for incomplete causal models
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Diagnosis with behavioral modes
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A diagnostic algorithm based on models at different level of abstraction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Experience learning in model-based diagnostic systems
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Candidate ordering and elimination in model-based fault diagnosis
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Model-based diagnosis in the real world: lessons learned and challenges remaining
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Qualitative reasoning in electronic fault diagnosis
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Hardware diagnosis as program debugging
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A fault detection and isolation method applied to liquid oxygen loading for the space Shuttle
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Control and integration of diverse knowledge in a diagnostic expert system
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A framework for decentralized qualitative model-based diagnosis
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conflict-based diagnosis: adding uncertainty to model-based diagnosis
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A semantic theory of abstractions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
An improved constraint-propagation algorithm for diagnosis
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
On the thresholds of knowledge
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Understanding the power of clause learning
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Hierarchical diagnosis guided by observations
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Diagnosing tree-decomposable circuits
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A layered approach to automated electrical safety analysis in automotive environments
Computers in Industry
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
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
An algorithm for diagnosing system with structured description
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
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
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Probabilistic semantics for cost based abduction
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A design based approach to constructing computational solutions to diagnostic problems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A new admissible heuristic for minimal-cost proofs
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Explanation, irrelevance and statistical independence
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Model-based reconfiguration: toward an integration with diagnosis
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Focusing on probable diagnoses
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Characterizing non-intermittent faults
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Structural aggregation in common-sense reasoning
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Adaptive model-based diagnostic mechanism using a hierarchical model scheme
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
The effect of observations on the complexity of model-based diagnosis
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Decision-theoretic troubleshooting: a framework for repair and experiment
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
A probabilistic approach to hierarchical model-based diagnosis
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
The use of conflicts in searching Bayesian networks
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
On the generation of alternative explanations with implications for belief revision
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Formal Verification and Diagnosis of Combinational Circuit Designs with Propositional Logic
Fundamenta Informaticae
Automated FMEA based diagnostic symptom generation
Advanced Engineering Informatics
| Hi-index | 0.05 |