Abductive logic programming with CIFF: System description

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

Volumn 3229, Issue , 2004, Pages 680-684

  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

ABDUCIBLE ATOMS; ABDUCTIVE LOGIC PROGRAMS; PROOF STRATEGIES; TEMPORAL REASONING;

CONSTRAINT THEORY; FORMAL LOGIC; INFORMATION ANALYSIS; MATHEMATICAL MODELS; PLANNING; PROBLEM SOLVING; SET THEORY; SYSTEMS ANALYSIS; TREES (MATHEMATICS);

LOGIC PROGRAMMING;

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

References (12)

1. A. Bracciali, N. Demetriou, U. Endriss, A. Kakas, W. Lu, P. Mancarella, F. Sadri, K. Stathis, G. Terreni, and F. Toni. The KGP model of agency for GC: Computational model and prototype implementation. In Proc. Global Computing 2004 Workshop, LNCS. Springer Verlag.
2. A. Bracciali and A. C. Kakas. Frame consistency: Computing with causal explanations. In Proc. NMR2004.
3. M. Carlsson, G. Ottosson, and B. Carlson. An open-ended finite domain constraint solver. In Proc. PLILP97.
4. K. L. Clark. Negation as failure. In Logic and Data Bases. Plenum Press, 1978.
5. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni. Abductive logic programming with CIFF: Implementation and applications. In Proc. CILC04.
6. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni. The CIFF proof procedure for abductive logic programming with constraints. In Proc. JELIA04.
7. T. H. Fung and R. A. Kowalski. The IFF proof procedure for abductive logic programming. Journal of Logic Programming, 33(2):151-165, 1997.
8. A. C. Kakas, P. Mancarella, F. Sadri, K. Stathis, and F. Toni. The KGP model of agency. In Proc. ECAI2004.
9. P. Mancarella, F. Sadri, G. Terreni, and F. Toni. Planning partially for situated agents. Technical report, SOCS, 2004.
10. F. Sadri and F. Toni. A logic-based approach to reasoning with beliefs about trust. In Proc. ARSPA04, Workshop affiliated to IJCAR04, 2004.
11. F. Sadri, F. Toni, and P. Torroni. An abductive logic programming architecture for negotiating agents. In Proc. JELIA2002, volume 2424 of LNCS. Springer-Verlag.
12. K. Stathis, A. C. Kakas, W. Lu, N. Demetriou, U. Endriss, and A. Bracciali. PROSOCS: A platform for programming software agents in computational logic. In Proc. AT2AI-2004.