Programming applications in CIFF

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4483 LNAI, Issue , 2007, Pages 284-289

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

^a UNIVERSITY OF PISA   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL OPTIMIZATION; CONSTRAINED OPTIMIZATION; MATHEMATICAL MODELS; SEMANTICS;

CIFF SYSTEM; COMBINATORIAL APPLICATIONS; WEB MANAGEMENT;

LOGIC PROGRAMMING;

EID: 38049047559     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72200-7_27     Document Type: Conference Paper

References (12)

1. Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Proc. ECAI-2004. (2004) 340-367
2. Sadri, F., Toni, F., Torroni, P.: An abductive logic programming architecture for negotiating agents. In: Proc. JELIA02. (2002) 419-431
3. Toni, F.: Automated information management via abductive logic agents. Journal of Telematics and Informatics (2001) 89-104
4. Kakas, A.C., Michael, A., Mourlas, C.: ACLP: Abductive constraint logic programming. Journal of Logic Programming 44 (2000) 129-177
5. Denecker, M., C.Kakas, A., Nuffelen, B.V.: A-system: Declarative problem solving through abduction. In: Proc. IJCAI 2001. (2001) 591-597
6. Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: The CIFF proof procedure for abductive logic programming with constraints. In: Proc. JELIA04. (2004) 31-43
7. Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33(2) (1997) 151-165
8. Sadri, F., Toni, F.: Abduction with negation as failure for active databases and agents. In: Proc. AI*IA 99. (1999) 49-60
9. Endriss, U., Hatzitaskos, M., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: Refinements of the CIFF procedure. In: Proc. ARW05. (2005)
10. Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: Abductive logic programming with CIFF: system description. In: Proc. JELIA04. (2004) 680-684
11. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning, ACM Transactions on Computational Logic (2006) 499-562
12. Niemela, I., Simons, P.: SMODELS - an implementation of the stable model and well-founded semantics for normal logic programs. In: Proc. LPNMR97. (1997) 420-429