A logic-based calculus of events
New Generation Computing
Introduction to artificial intelligence
Introduction to artificial intelligence
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A logical framework for default reasoning
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Temporal reasoning with abductive event calculus
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
Representing incomplete knowledge in abductive logic programming
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Representing continuous change in the abductive event calculus
Proceedings of the eleventh international conference on Logic programming
Selected papers of international conference on Fifth generation computer systems 92
The role of abduction in database view updating
Journal of Intelligent Information Systems
The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Abduction from logic program: semantics and complexity
Theoretical Computer Science
Computational intelligence: a logical approach
Computational intelligence: a logical approach
Executing suspended logic programs
Fundamenta Informaticae - Special issue on foundations of constraint programming
Stable models and non-determinism in logic programs with negation
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Well-founded abduction via tabled dual programs
Proceedings of the 1999 international conference on Logic programming
Air-crew scheduling through abduction
IEA/AIE '99 Proceedings of the 12th international conference on Industrial and engineering applications of artificial intelligence and expert systems: multiple approaches to intelligent systems
New Generation Computing
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
Computing extended abduction through transaction programs
Annals of Mathematics and Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Using Compiled Knowledge to Guide and Focus Abductive Diagnosis
IEEE Transactions on Knowledge and Data Engineering
Knowledge Assimilation and Abduction
ECAI '90 Workshop on Truth Maintenance Systems
Semantic Query Optimization through Abduction and Constraint Handling
FQAS '98 Proceedings of the Third International Conference on Flexible Query Answering Systems
The Abductive Event Calculus as a General Framework for Temporal Databases
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A-system: Declarative Programming with Abduction
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
ACLP: Flexible Solutions to Complex Problems
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Updating Extended Logic Programs through Abduction
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A Simple Characterization of Extended Abduction
CL '00 Proceedings of the First International Conference on Computational Logic
A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints
ELP '92 Proceedings of the Third International Workshop on Extensions of Logic Programming
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Abduction with Negation as Failure for Active and Reactive Rules
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
A Terminological Interpretation of (Abductive) Logic Programming
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Extending Classical Logic with Inductive Definitions
CL '00 Proceedings of the First International Conference on Computational Logic
Probabilistic partial evaluation: exploiting rule structure in probabilistic inference
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Abducing priorities to derive intended conclusions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A-system: problem solving through abduction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
AILP abductive inductive logic programming
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Logic programming approaches for representing and solving constraint satisfaction problems
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming
Abductive logics in a belief revision framework
Journal of Logic, Language and Information
Toward Inductive Logic Programming for Collaborative Problem Solving
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Solving abduction by computing joint explanations
Annals of Mathematics and Artificial Intelligence
Outlier detection by logic programming
ACM Transactions on Computational Logic (TOCL)
Learning probabilistic logic models from probabilistic examples
Machine Learning
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
Constraint Handling Rules
Abductive Logic Programming in the Clinical Management of HIV/AIDS
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A Process Model for Group Decision Making with Quality Evaluation
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Towards Model Round-Trip Engineering: An Abductive Approach
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Stabilization of Information Sharing for Queries Answering in Multiagent Systems
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Gorgias-C: Extending Argumentation with Constraint Solving
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
The Second Answer Set Programming Competition
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Collaborative inductive logic programming for path planning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A formal logic approach to firewall packet filtering analysis and generation
Artificial Intelligence Review
Theory and Practice of Logic Programming
Abductive inference methods in problems of job planning in complex objects
Journal of Computer and Systems Sciences International
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Abduction-based search for cooperative answers
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Abduction and preferences in linguistics
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Inference of gene relations from microarray data by abduction
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Knowledge-based integrative framework for hypothesis formation in biochemical networks
DILS'05 Proceedings of the Second international conference on Data Integration in the Life Sciences
Logic Programs, Norms and Action
Cooperative dialogues with conditional arguments
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Abduction in work-planning problems in complex objects
Scientific and Technical Information Processing
Parallel Abductive Query Answering in Probabilistic Logic Programs
ACM Transactions on Computational Logic (TOCL)
Using possibilistic logic for modeling qualitative decision: Answer Set Programming algorithms
International Journal of Approximate Reasoning
The CHR-based Implementation of the SCIFF Abductive System
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
| Hi-index | 0.00 |
Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. This paper aims to chart out the main developments of the field over the last ten years and to take a critical view of these developments from several perspectives: logical, epistemological, computational and suitability to application. The paper attempts to expose some of the challenges and prospects for the further development of the field.