Abstract
Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly introduce new predefined constructs or to deal with compound data structures and module. We show here an implementation on top of the DLV system of DLP T language, which features increased declarativity, code readability, compactness and reusability.
This work was partially supported by the European Commission under projects IST-2002-33570 INFOMIX, and IST-2001-37004 WASP.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cadoli, M., Ianni, G., Palopoli, L., Schaerf, A., Vasile, D.: NP-SPEC: An executable specification language for solving all the problems in NP. Computer Languages, Elsevier Science, Amsterdam (Netherlands) 26(2-4), 165–195 (2000)
Chen, W., Kifer, M., Warren, D.S.: Hilog: A foundation for higher-order logic programming. Journal of Logic Programming 15, 187–230 (1993)
Dell’Armi, T., Faber, W., Ielpa, G., Leone, N., Pfeifer, G.: Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. In: Proceedings IJCAI-2003, Acapulco, Mexico (August 2003)
The DLPT web site, http://dlpt.gibbi.com
Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative Problem-Solving Using the DLV System. In: Logic-Based Artificial Intelligence, pp. 79–103. Kluwer Academic Publishers, Dordrecht (2000)
Eiter, T., Gottlob, G., Leone, N.: Abduction from Logic Programs: Semantics and Complexity. Theoretical Computer Science 189(1-2), 129–177 (1997)
Eiter, T., Gottlob, G., Veith, H.: Modular Logic Programming and Generalized Quantifiers. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 290–309. Springer, Heidelberg (1997)
Faber, W., Leone, N., Mateis, C., Pfeifer, G.: Using Database Optimization Techniques for Nonmonotonic Reasoning. In: Proceedings of DDLP 1999 (1999)
Faber, W., Leone, N., Pfeifer, G.: Experimenting with Heuristics for Answer Set Programming. In: Proceedings of IJCAI 2001, Seattle, WA, USA, pp. 635–640 (2001)
Faber, W., Pfeifer, G.: DLV homepage, since 1996, http://www.dlvsystem.com/
Greco, S., Saccà , D.: NP optimization problems in datalog. In: International Symposium on Logic Programming, Port Jefferson, NY, USA, pp. 181–195 (1997)
Ianni, G., Calimeri, F., Ielpa, G., Pietramala, A., Santoro, M.C.: Enhancing answer set programming with templates. In: Proceedings of NMR 2004 (2004)
The ICONS web site, http://www.icons.rodan.pl/
The Infomix web site, http://www.mat.unical.it/infomix
Kuper, G.M.: Logic programming with sets. Journal of Computer and System Sciences 41(1), 44–64 (1990)
Ross, K.A., Sagiv, Y.: Monotonic aggregation in deductive databases. Journal of Computer and System Sciences 54(1), 79–97 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Calimeri, F., Ianni, G., Ielpa, G., Pietramala, A., Santoro, M.C. (2004). A System with Template Answer Set Programs. In: Alferes, J.J., Leite, J. (eds) Logics in Artificial Intelligence. JELIA 2004. Lecture Notes in Computer Science(), vol 3229. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30227-8_59
Download citation
DOI: https://doi.org/10.1007/978-3-540-30227-8_59
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23242-1
Online ISBN: 978-3-540-30227-8
eBook Packages: Springer Book Archive