Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
A theory of diagnosis from first principles
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Model-based reasoning: troubleshooting
Exploring artificial intelligence
Decompositional, model-based learning and its analogy to diagnosis
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
On a model-based diagnosis for synchronous boolean network
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
Active trust management for autonomous adaptive survivable systems (ATM's for AAss's)
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Pitch Expert: A Problem--Solving System for Kraft Mills
IAAI '93 Proceedings of the The Fifth Conference on Innovative Applications of Artificial Intelligence
Metrics for Labeled Markov Systems
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Stacking Dynamic Time Warping for the Diagnosis of Dynamic Systems
Current Topics in Artificial Intelligence
"Physical negation": integrating fault models into the general diagnostic engine
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
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
Agent technology from a NASA perspective
CIA'99 Proceedings of the 3rd international conference on Cooperative information agents III
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
Most Relevant Explanation: properties, algorithms, and evaluations
UAI '09 Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence
Intrinsic hurdles in applying automated diagnosis and recovery to spacecraft
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Qualitative multiple-fault diagnosis of continuous dynamic systems using behavioral modes
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
A model-based approach to reactive self-configuring systems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Physical impossibility instead of fault models
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Abductive and default reasoning: a computational core
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Inductive learning in probabilistic domain
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Teaching diagnostic skills using AI: an architecture suitable for students and teachers
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
The P-systems: a systematic classification of logics of n onmonotonicity
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Controlling inequality reasoning in a TMS-based analog diagnosis system
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
Consistency-based diagnosis in physiological domains
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Adaptive model-based diagnostic mechanism using a hierarchical model scheme
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Hybrid case-based reasoning for the diagnosis of complex devices
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Model-based diagnosis in a power distribution testbed
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Ensemble methods and model based diagnosis using possible conflicts and system decomposition
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part II
Maximal-confirmation diagnoses
Knowledge-Based Systems
Bayesian networks for dependability analysis: an application to digital control reliability
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Modeling failure priors and persistence in model-based diagnosis
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Efficient enumeration of instantiations in Bayesian networks
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
A generalization of the noisy-or model
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Incremental probabilistic inference
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Modeling uncertain temporal evolutions in model-based diagnosis
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Dynamic Bayesian network factors from possible conflicts for continuous system diagnosis
CAEPIA'11 Proceedings of the 14th international conference on Advances in artificial intelligence: spanish association for artificial intelligence
Representing Bayesian networks within probabilistic horn abduction
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Physiological applications of consistency-based diagnosis
Artificial Intelligence in Medicine
Context Hypothesization Using Probabilistic Knowledge
Fundamenta Informaticae
The route to success: a performance comparison of diagnosis algorithms
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Behavioral diagnosis of LTL specifications at operator level
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
Model-based revision of knowledge bases expressed as first-order theories was shown in [Winslett 88b] to be useful as a means of describing and reasoning about the effects of actions. This paper shows that model-based theory revision is actually expressible ...