Using a high level knowledge representation for expert systems knowledge acquisition and prototyping
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
The complexity of logic-based abduction
Journal of the ACM (JACM)
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
Current Approaches to Handling Imperfect Information in Data and Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction
IEEE Transactions on Knowledge and Data Engineering
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
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Logic, Knowledge Representation, and Bayesian Decision Theory
CL '00 Proceedings of the First International Conference on Computational Logic
On computing all abductive explanations
Eighteenth national conference on Artificial intelligence
Expressing default abduction problems as quantified Boolean formulas
AI Communications
Symbolic diagnosis and its formalisation
The Knowledge Engineering Review
Abductive logics in a belief revision framework
Journal of Logic, Language and Information
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Probabilistic abductive computation of evidence collection strategies in crime investigation
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
A survey of intelligent debugging
AI Communications
The Diagnosis Frontend of the dlv system
AI Communications
Expressing default abduction problems as quantified Boolean formulas
AI Communications
Argument-based critics and recommenders: a qualitative perspective on user support systems
Data & Knowledge Engineering - Special issue: WIDM 2004
On computing all abductive explanations from a propositional Horn theory
Journal of the ACM (JACM)
Hypotheses refinement under topological communication constraints
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
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
Cost-sensitive Iterative Abductive Reasoning with abstractions
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
An abductive framework for general logic programs and other nonmonotonic systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
SMART+: a multi-strategy learning tool
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Consequence-finding based on ordered linear resolution
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Query answering in circumscription
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Resolving plan ambiguity for cooperative response generation
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Design Problems, Frames and Innovative Solutions
Proceedings of the 2009 conference on Design Problems, Frames and Innovative Solutions
Knowledge based crime scenario modelling
Expert Systems with Applications: An International Journal
The independent choice logic and beyond
Probabilistic inductive logic programming
Abduction as belief revision: a model of preferred explanations
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Toward efficient default reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Compositional Bayesian modelling for computation of evidence collection strategies
Applied Intelligence
Preferences in answer set programming
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
Representing Bayesian networks within probabilistic horn abduction
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
International Journal of Approximate Reasoning
When agents communicate hypotheses in critical situations
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Circumscription And Generic Mathematical Objects
Fundamenta Informaticae
Hi-index | 0.00 |