The complexity of logic-based abduction
Journal of the ACM (JACM)
Knowledge-level analysis of planning systems
ACM SIGART Bulletin
ACM Computing Surveys (CSUR)
Qualifying the expressivity/efficiency tradeoff: reformation-based diagnosis
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
An analysis of multi-agent diagnosis
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
A Neural Network Diagnosis Approach for Analog Circuits
Applied Intelligence
Model-Based Diagnosis and Conditional Logic
Applied Intelligence
Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks
Applied Intelligence
Constraints
Using Compiled Knowledge to Guide and Focus Abductive Diagnosis
IEEE Transactions on Knowledge and Data Engineering
Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction
IEEE Transactions on Knowledge and Data Engineering
Later: Managing Temporal Information Efficiently
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
An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Speed-Up, Quality and Competence in Multi-modal Case-Based Reasoning
ICCBR '99 Proceedings of the Third International Conference on Case-Based Reasoning and Development
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
How AI Can Help SE; or: Randomized Search Not Considered Harmful
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
The Complexity of TRMCS-like Spiral Specification
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
A protocol for multi-agent diagnosis with spatially distributed knowledge
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Compositional verification of knowledge-based task models and problem-solving methods
Knowledge and Information Systems
Model-based systems in the automotive industry
AI Magazine
Symbolic diagnosis and its formalisation
The Knowledge Engineering Review
Reaching Diagnostic Agreement in Multi-Agent Diagnosis
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Knowledge transformation and fusion in diagnostic systems
Artificial Intelligence
Diagnosis of single and multi-agent plans
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
The Localization and Correction of Errors in Models: A Constraint-Based Approach
Applied Intelligence
Temporal reasoning for decision support in medicine
Artificial Intelligence in Medicine
An improved model-based method to test circuit faults
Theoretical Computer Science
The Diagnosis Frontend of the dlv system
AI Communications
Primary and secondary diagnosis of multi-agent plan execution
Autonomous Agents and Multi-Agent Systems
Models and methods for plan diagnosis
Autonomous Agents and Multi-Agent Systems
Checking the quality of clinical guidelines using automated reasoning tools
Theory and Practice of Logic Programming
Assumption Based Peg Unification for Crime Scenario Modelling
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Combining Abduction with Conflict-based Diagnosis
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Diagnosis as a variable assignment problem: a case study in a space robot fault diagnosis
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
Knowledge transformation and fusion in diagnostic systems
Artificial Intelligence
Solving strong-fault diagnostic models by model relaxation
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A query-based approach for test selection in diagnosis
Artificial Intelligence Review
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
Knowledge based crime scenario modelling
Expert Systems with Applications: An International Journal
Distributed AI for ambient intelligence: issues and approaches
AmI'07 Proceedings of the 2007 European conference on Ambient intelligence
Improving model-based diagnosis through algebraic analysis: the Petri net challenge
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
A hybrid formal theory of arguments, stories and criminal evidence
Artificial Intelligence and Law
Maximal-confirmation diagnoses
Knowledge-Based Systems
Legal shifts in the process of proof
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Syntax-based default reasoning as probabilistic model-based diagnosis
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Model-based diagnosis with qualitative temporal uncertainty
UAI'94 Proceedings of the Tenth 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
Diagnosis of plan execution and the executing agent
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Journal of Computer and System Sciences
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
Diagnosis of multi-agent plan execution
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
ISIICT'09 Proceedings of the Third international conference on Innovation and Information and Communication Technology
Multiple representations and multi-modal reasoning in medical diagnostic systems
Artificial Intelligence in Medicine
Parallel Abductive Query Answering in Probabilistic Logic Programs
ACM Transactions on Computational Logic (TOCL)
A game-theoretic approach to fault diagnosis and identification of hybrid systems
Theoretical Computer Science
Fault diagnosis of electric railway traction substation with model-based relation guiding algorithm
Expert Systems with Applications: An International Journal
Interacting behavioral Petri nets analysis for distributed causal model-based diagnosis
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |