Task-structure analysis for knowledge modeling
Communications of the ACM - Special issue on analysis and modeling in software development
The complexity of propositional closed world reasoning and circumscription
Journal of Computer and System Sciences
The complexity of logic-based abduction
Journal of the ACM (JACM)
Constructing the correct diagnosis when symptoms disappear
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Monotonic reductions, representative equivalence, and compilation of intractable problems
Journal of the ACM (JACM)
Combining Case-Based and Model-Based Reasoning for the Diagnosis of Complex Devices
Applied Intelligence
Machine Learning on the Basis of Formal Concept Analysis
Automation and Remote Control
Using Compiled Knowledge to Guide and Focus Abductive Diagnosis
IEEE Transactions on Knowledge and Data Engineering
Structured Development of Problem Solving Methods
IEEE Transactions on Knowledge and Data Engineering
Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction
IEEE Transactions on Knowledge and Data Engineering
Applications of Abduction: Testing Very Long Qualitative Simulations
IEEE Transactions on Knowledge and Data Engineering
The Role of Explanatory Relationships in Strategies for Abduction
IEEE Expert: Intelligent Systems and Their Applications
Process algebras for systems diagnosis
Artificial Intelligence
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Abductive Partial Order Planning with Dependent Fluents
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
WhyNot: debugging failed queries in large knowledge bases
Eighteenth national conference on Artificial intelligence
The unified problem-solving method development language UPML
Knowledge and Information Systems
The Complexity of TRMCS-like Spiral Specification
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
A Distributed Artificial Network Solving Complex and Multiple Causal Associations
Applied Intelligence
Incremental development of diagnostic set-covering models with therapy effects
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
A software architecture for knowledge-based systems
The Knowledge Engineering Review
Knowledge maintenance: the state of the art
The Knowledge Engineering Review
Complexity results for explanations in the structural-model approach
Artificial Intelligence
Minds and Machines - Machine learning as experimental philosophy of science
Compilability of propositional abduction
ACM Transactions on Computational Logic (TOCL)
A hybrid model for diagnosing multiple disorders
International Journal of Hybrid Intelligent Systems
What makes propositional abduction tractable
Artificial Intelligence
Abduction and chance discovery in science
International Journal of Knowledge-based and Intelligent Engineering Systems - Chance discovery
Test Generation for Model-Based Diagnosis
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Computing minimal diagnoses by greedy stochastic search
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
A computational model of tractable reasoning: taking inspiration from cognition
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A Potts spin MFT network solving multiple causal interactions
IJCAI'99 Proceedings of the 16th 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
Automated benchmark model generators for model-based diagnostic inference
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Propositional abduction is almost always hard
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
WhyNot: debugging failed queries in large knowledge bases
IAAI'02 Proceedings of the 14th conference on Innovative applications of artificial intelligence - Volume 1
Solving strong-fault diagnostic models by model relaxation
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Finding robust solutions in requirements models
Automated Software Engineering
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Approximate model-based diagnosis using greedy stochastic search
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Neural network models for abduction problems solving
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part I
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Counting complexity of propositional abduction
Journal of Computer and System Sciences
Approximate model-based diagnosis using greedy stochastic search
Journal of Artificial Intelligence Research
Maximal-confirmation diagnoses
Knowledge-Based Systems
GAPs: Geospatial Abduction Problems
ACM Transactions on Intelligent Systems and Technology (TIST)
Abduction-based search for cooperative answers
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Reasoning about Exceptions to Contracts
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Syntax-based default reasoning as probabilistic model-based diagnosis
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Diagnosis of plan execution and the executing agent
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Automated abduction for computer forensics
ATC'06 Proceedings of the Third international conference on Autonomic and Trusted Computing
Model-Based diagnosis through OBDD compilation: a complexity analysis
Reasoning, Action and Interaction in AI Theories and Systems
On the co-operation between abductive and temporal reasoning in medical diagnosis
Artificial Intelligence in Medicine
Artificial Intelligence in Medicine
Review: Artificial intelligence approaches to network management: recent advances and a survey
Computer Communications
Multiple representations and multi-modal reasoning in medical diagnostic systems
Artificial Intelligence in Medicine
Exception diagnosis in multiagent contract executions
Annals of Mathematics and Artificial Intelligence
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
| Hi-index | 0.00 |