A logic-based calculus of events
New Generation Computing
Journal of Logic Programming
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Abduction and abductive logic programming
Proceedings of the eleventh international conference on Logic programming
A procedure for mediation of queries to sources in disparate contexts
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Seeking explanations: abduction in logic, philosophy of science and artificial intelligence
Seeking explanations: abduction in logic, philosophy of science and artificial intelligence
Executing suspended logic programs
Fundamenta Informaticae - Special issue on foundations of constraint programming
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Abduction in logic programming: a new definition and an abductive procedure based on rewriting
Artificial Intelligence
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
An Abductive Logic Programming Architecture for Negotiating Agents
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th 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
Metastructures versus Attributed Variables in the Context of Extensible Unification
PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming
Abduction in well-founded semantics and generalized stable models via tabled dual programs
Theory and Practice of Logic Programming
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Web Sites Repairing through Abduction
Electronic Notes in Theoretical Computer Science (ENTCS)
Computational logic foundations of KGP agents
Journal of Artificial Intelligence Research
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A-system: problem solving through abduction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Programming applications in CIFF
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Web sites verification: an abductive logic programming tool
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Integrating answer set reasoning with constraint solving techniques
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Towards an integration of answer set and constraint solving
ICLP'05 Proceedings of the 21st international conference on Logic Programming
HYPROLOG: a new logic programming language with assumptions and abduction
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Planning partially for situated agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Ambient intelligence: A survey
ACM Computing Surveys (CSUR)
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Logic Programs, Norms and Action
Deon+: abduction and constraints for normative reasoning
Logic Programs, Norms and Action
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 |
We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic programming, relaxing the original restrictions over variable quantification (allowedness conditions) and incorporating a constraint solver to deal with numerical constraints as in constraint logic programming. Finally, we describe the CIFF system, comparing it with state-of-the-art abductive systems and answer set solvers and showing how to use it to program some applications.