The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Executing suspended logic programs
Fundamenta Informaticae - Special issue on foundations of constraint programming
Well-founded abduction via tabled dual programs
Proceedings of the 1999 international conference on Logic programming
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
Planning as Heuristic Search: New Results
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Coherent Composition of Distributed Knowledge-Bases Through Abduction
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
A-system: Declarative Programming with Abduction
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Transformation of Object-Oriented Conceptual Models to Logical Theories
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Expressing default abduction problems as quantified Boolean formulas
AI Communications
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming
Expressing default abduction problems as quantified Boolean formulas
AI Communications
Recycling computed answers in rewrite systems for abduction
ACM Transactions on Computational Logic (TOCL)
Solving abduction by computing joint explanations
Annals of Mathematics and Artificial Intelligence
Outlier detection by logic programming
ACM Transactions on Computational Logic (TOCL)
A logic of nonmonotone inductive definitions
ACM Transactions on Computational Logic (TOCL)
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Integrating Abduction and Constraint Optimization in Constraint Handling Rules
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Integration of Abductive Reasoning and Constraint Optimization in SCIFF
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
Theory and Practice of Logic Programming
Programming applications in CIFF
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Distributed abductive reasoning with constraints
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A 25-year perspective on logic programming
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
HYPROLOG: a new logic programming language with assumptions and abduction
ICLP'05 Proceedings of the 21st international conference on Logic Programming
An abductive framework for information exchange in multi-agent systems
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
An ID-logic formalization of the composition of autonomous databases
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
The SCIFF abductive proof-procedure
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
The KGP model of agency for global computing: computational model and prototype implementation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
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
Specification and verification of agent interaction using abductive reasoning
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Deon+: abduction and constraints for normative reasoning
Logic Programs, Norms and Action
Towards Practical ABox Abduction in Large Description Logic Ontologies
International Journal on Semantic Web & Information Systems
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 |
This paper presents a new system, called the A- System, performing abductive reasoning within the framework of Abductive Logic Programming. It is based on a hybrid computational model that implements the abductive search in terms of two tightly coupled processes: a reduction process of the highlevel logical representation to a lower-level constraint store and a lower-level constraint solving process. A set of initial "proof of principle" experiments demonstrate the versatility of the approach stemming from its declarative representation of problems and the good underlying computational behaviour of the system. The approach offers a general methodology of declarative problem solving in AI where an incremental and modular refinement of the high-level representation with extra domain knowledge can improve and scale the computational performance of the framework.