Abstract
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. We also compare the CIFF System 4.0 with a number of logic programming tools, namely the A-System, the DLV system and the SMODELS system.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Kakas, A.C., et al.: The KGP model of agency. In: Proc. ECAI-2004, pp. 340–367 (2004)
Sadri, F., Toni, F., Torroni, P.: An abductive logic programming architecture for negotiating agents. In: Flesca, S., et al. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 419–431. Springer, Heidelberg (2002)
Toni, F.: Automated information management via abductive logic agents. Journal of Telematics and Informatics, 89–104 (2001)
Kakas, A.C., Michael, A., Mourlas, C.: ACLP: Abductive constraint logic programming. Journal of Logic Programming 44, 129–177 (2000)
Denecker, M., Kakas, A.C., Van Nuffelen, B.: A-system: Declarative problem solving through abduction. In: Proc. IJCAI 2001, pp. 591–597 (2001)
Endriss, U., et al.: The CIFF proof procedure for abductive logic programming with constraints. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 31–43. Springer, Heidelberg (2004)
Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33(2), 151–165 (1997)
Sadri, F., Toni, F.: Abduction with negation as failure for active databases and agents. In: Proc. AI*IA 99, pp. 49–60 (1999)
Endriss, U., et al.: Refinements of the CIFF procedure. In: Proc. ARW05 (2005)
Endriss, U., et al.: Abductive logic programming with CIFF: system description. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 680–684. Springer, Heidelberg (2004)
Leone, N., et al.: The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic, 499–562 (2006)
Niemela, I., Simons, P.: SMODELS - an implementation of the stable model and well-founded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 420–429. Springer, Heidelberg (1997)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Mancarella, P., Sadri, F., Terreni, G., Toni, F. (2007). Programming Applications in CIFF. In: Baral, C., Brewka, G., Schlipf, J. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2007. Lecture Notes in Computer Science(), vol 4483. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72200-7_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-72200-7_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72199-4
Online ISBN: 978-3-540-72200-7
eBook Packages: Computer ScienceComputer Science (R0)