PELAS-Program Error-Locating Assistant System
IEEE Transactions on Software Engineering
Pattern-based fault diagnosis using neural networks
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
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
A generic strategy for diagnostic assistance: the technician's assistant
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Using simulation to compile diagnostic rules from a manufacturing process representation
ACM SIGART Bulletin - Special issue on knowledge acquisition
Explanation-based learning: a survey of programs and perspectives
ACM Computing Surveys (CSUR)
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
Applications of qualitative modeling to knowledge-based risk assessment studies
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
Intelligent troubleshooting of complex machinery
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
Model-based integration of planning and learning
ACM SIGART Bulletin
A system for fault diagnosis and simulation of VHDL descriptions
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Rule-based versus structure-based models for explaining and generating expert behavior
Communications of the ACM
On linear potential functions for approximating Bayesian computations
Journal of the ACM (JACM)
On the power of qualitative simualation for estimating diffusion transit times
WSC '86 Proceedings of the 18th conference on Winter simulation
Afterword: from this revolution to the next
Smart machines in education
Model-based and qualitative reasoning: An introduction
Annals of Mathematics and Artificial 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 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
IEEE Transactions on Knowledge and Data Engineering
Device Understanding and Modeling for Diagnosis
IEEE Expert: Intelligent Systems and Their Applications
Deriving and Using Descriptions of Purpose
IEEE Expert: Intelligent Systems and Their Applications
IEEE Expert: Intelligent Systems and Their Applications
Knowledge Compilation and Refinement for Fault Diagnosis
IEEE Expert: Intelligent Systems and Their Applications
Model-based reasoning: The applications gap
IEEE Expert: Intelligent Systems and Their Applications
Automatic Rebuilding of Qualitative Models for Diagnosis
IEEE Expert: Intelligent Systems and Their Applications
Toward a Competence Theory of Diagnosis
IEEE Expert: Intelligent Systems and Their Applications
Process algebras for systems diagnosis
Artificial Intelligence
Using Design Information to Identify Structural Software Faults
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
FORK: A System for Object- and Rule-Oriented Programming
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
Fault diagnosis using state information
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
The automatic diagnosis of faults in analogue and mixed-signal circuits
EURO-DAC '91 Proceedings of the conference on European design automation
Model-based fault diagnosis of sequential circuits and its acceleration
EURO-DAC '91 Proceedings of the conference on European design automation
Diagnosability evaluation of systems using bipartite graph and matrix approach
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Knowledge and Productivity in Technical Support Work
Management Science
Model-based programming of fault-aware systems
AI Magazine
The Knowledge Engineering Review
A software architecture for knowledge-based systems
The Knowledge Engineering Review
Symbolic diagnosis and its formalisation
The Knowledge Engineering Review
Error diagnosing and selection in a training system: for second language learning
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 2
Hierarchical model-based diagnosis based on structural abstraction
Artificial Intelligence
BT Technology Journal
The Localization and Correction of Errors in Models: A Constraint-Based Approach
Applied Intelligence
An improved model-based method to test circuit faults
Theoretical Computer Science
A survey of intelligent debugging
AI Communications
AI Communications
Reasoning about linear circuits; a model-based approach
AI Communications
International Journal of Knowledge-based and Intelligent Engineering Systems
Model-Based Debugging -- State of the Art And Future Challenges
Electronic Notes in Theoretical Computer Science (ENTCS)
Discrete Applied Mathematics
Conflict-directed A* and its role in model-based embedded systems
Discrete Applied Mathematics
ALPS (A Language for Process Specification) - A definition language for hypertext trails
Information Services and Use
Distributed constraint propagation for diagnosis of faults in physical processes
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Model-based computer science curricula design
AIKED'07 Proceedings of the 6th Conference on 6th WSEAS Int. Conf. on Artificial Intelligence, Knowledge Engineering and Data Bases - Volume 6
Multimodal design: An overview
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
An introduction to model-based systems
AI Communications - Model-Based Systems
Recovering from errors during programming by demonstration
Proceedings of the 13th international conference on Intelligent user interfaces
Developing a labelled object-relational constraint database architecture for the projection operator
Data & Knowledge Engineering
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
LKIF Core: Principled Ontology Development for the Legal Domain
Proceedings of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood
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
Model-based monitoring of dynamic systems
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
Constraints in a hybrid knowledge representation system
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Qualitative reasoning in electronic fault diagnosis
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
DANTES: an expert system for real-time network troubleshooting
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Drastic cut of man's work in reliability studies by using an expert system
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
What's in a deep model?: a characterization of knowledge depth in intelligent safety systems
IJCAI'87 Proceedings of the 10th 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
Modeling when connections are the problem
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
Understanding the power of clause learning
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Plan debugging in an intentional system
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Integration of neural networks and expert systems for process fault diagnosis
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Integrating model-based monitoring and diagnosis of complex dynamic systems
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Deployment of an ontological framework of functional design knowledge
Advanced Engineering Informatics
No faults in structure?: how to diagnose hidden interactions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
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
Formalizing the Modeling Process of Physical Systems in MBD
AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
Designing business logistics networks using model-based reasoning and heuristic-based searching
Expert Systems with Applications: An International Journal
A distributed approach for multiple model diagnosis of physical systems
Information Sciences: an International Journal
A framework for FSM based multi-model approach to interconnected components' network
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Model-based diagnosis for information survivability
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Probabilistic dispatch, dynamic domain architecture, and self-adaptive software
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
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
Diagnosing dependent failures in the hardware and software of mobile autonomous robots
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Reasoning with orders of magnitude and approximate relations
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Reasoning with orders of magnitude and approximate relations
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Validated retrieval in case-based reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Model-based diagnosis of planning failures
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
Model-based reconfiguration: toward an integration with diagnosis
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
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
Knowledge-based decision model construction for hierarchical diagnosis: a preliminary report
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Querying a polynomial object-relational constraint database in model-based diagnosis
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Why won't you do what's good for you? using intelligent support for behavior change
HBU'11 Proceedings of the Second international conference on Human Behavior Unterstanding
Model-based diagnosis in intensive care monitoring: The YAQ approach
Artificial Intelligence in Medicine
A theory of meta-diagnosis: reasoning about diagnostic systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Formal Verification and Diagnosis of Combinational Circuit Designs with Propositional Logic
Fundamenta Informaticae
On classification and modeling issues in distributed model-based diagnosis
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
Hi-index | 0.02 |