The CIFF proof procedure for abductive logic programming with constraints

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3229, Issue , 2004, Pages 31-43

  Endriss, U ^a   Mancarella, P ^b   Sadri, F ^a   Terreni, G ^b   Toni, F ^a,b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; MULTI AGENT SYSTEMS; COMPUTATIONAL METHODS; CONSTRAINT THEORY; MATHEMATICAL MODELS; PROBLEM SOLVING;

ABDUCTIVE LOGIC PROGRAMMING; ABDUCTIVE REASONING; CONSTRAINT SOLVING; PROOF PROCEDURES; SOCS PROJECT; TEMPORAL REASONING;

LOGIC PROGRAMMING;

EID: 22944473027     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30227-8_6     Document Type: Conference Paper

References (12)

1. M. Carlsson, G. Ottosson, and B. Carlson. An open-ended finite domain constraint solver. In Proc. PLILP-1997, 1997.
2. K. L. Clark. Negation as failure. In Logic and Data Bases. Plenum Press, 1978.
3. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni. The CIFF proof procedure: Definition and soundness results. Technical Report 2004/2, Department of Computing, Imperial College London, May 2004.
4. T. H. Fung and R. A. Kowalski. The IFF proof procedure for abductive logic programming. Journal of Logic Programming, 33(2):151-165, 1997.
5. A. C. Kakas, P. Mancarella, F. Sadri, K. Stathis, and F. Toni. The KGP model of agency. In Proc. ECAI-2004, 2004. To appear.
6. A. C. Kakas, A. Michael, and C. Mourlas. ACLP: Abductive constraint logic programming. Journal of Logic Programming, 44:129-177, 2000.
7. A. Martelli and U. Montanari. An efficient unification algorithm. ACM Transactions on Programming Languages and Systems, 4(2):258-282, 1982.
8. A. Russo, R. Miller, B. Nuseibeh, and J. Kramer. An abductive approach for analysing event-based requirements specifications. In Proc. ICLP-2002. Springer-Verlag, 2002.
9. F. Sadri, F. Toni, and P. Torroni. An abductive logic programming architecture for negotiating agents. In Proc. JELIA-2002. Springer-Verlag, 2002.
10. M. Shanahan. An abductive event calculus planner. Journal of Logic Programming, 44:207-239, 2000.
11. K. Stathis, A. Kakas, W. Lu, N. Demetriou, U. Endriss, and A. Bracciali. PROSOCS: A platform for programming software agents in computational logic. In Proc. AT2AI-2004, 2004.
12. I. Xanthakos. Semantic Integration of Information by Abduction. PhD thesis, Department of Computing, Imperial College London, 2003.