welcome: please sign in

You can't save spelling words.

Clear message
location: dlt

http://www.mat.unical.it/~ianni/dlpt/dltlogo.jpg


An Answer Set Programming Frontend with Templates



About DLT

DLT is a frontend for disjunctive datalog, extending Answer Set Programming with Template predicates, Higher order atoms and Frame Logic Syntax with nested frames.

DLT works as a pre-parser and can produce output compliant with the syntax of DLV, DLV-EX, DLV-HEX, and, partially, Lparse+Smodels


The Team

Project Coordinator

Sr. Developers

Jr. Developers

Contact us at dlt_AT_mat.unical.it.

Have a look at our gallery!


Download

new_2.gif Version 1.7 (Sep 21th, 2011):

Version 1.6:

Note: since DLT invokes DLV, you will need the DLV executable or one of the DLV spin-off prototypes. DLT works at its best with the DLV-Complex binary. The official DLV binary can be found here. A limited compatibility with lparse/gringo input format is also provided.

In order to receive notifications about new releases and/or other important events regarding DLT, please contact us at dlt_AT_mat.unical.it


Documentation and examples

Online interface

Try out the online interface at ASP Tutorial Web Interface (Examples written in DLT are those with .dlt extension. This web interface currently runs DLT 1.5.1).

Manual

Examples

Some interesting example:

Download all examples in a .zip file.



Selected Publications

[AIMMM+08] Mario Alviano, Giovambattista Ianni, Alessandra Martello, Marco Marano. "Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics". Proceedings of ASWC 2008. (.pdf)

[ACIM+07] Mario Alviano, Francesco Calimeri, Giovambattista Ianni, Alessandra Martello. "Frame Logic under Answer Set Semantics". In G. Fiumara, M. Marchi, and A. Provetti, editors, Proceedings of CILC 2007 (22nd Convegno Italiano di Logica Computazionale), S. Agata di Messina, Italy, June 2007. (.pdf)

[CIa+06] Francesco Calimeri, Giovambattista Ianni. "Template Programs for Disjunctive Logic Programming: An Operational Semantics". AI Communications, Vol. 19, N. 3, pp. 193-206, IOS Press, Nieuwe Hemweg 6B, 1013 BG Amsterdam, 2006. (.pdf)

[IIC+04b] Giovambattista Ianni, Giuseppe Ielpa, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro. A System with Template Answer Set Programs. In Proceedings of the 9th European Conference, JELIA 2004, LNCS 3229 Springer Verlag, Lisbon, Portugal, September 27-30, 2004. (.pdf)

[IIC+04] Giovambattista Ianni, Giuseppe Ielpa, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro. Enhancing Answer Set Programming with Templates. In Proceedings of the 10th International Workshop on Non-Monotonic Reasoning NMR2004. Whistler, BC, Canada, June 6 - 8, 2004. (.pdf)

[IIP+03] Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro. Answer Set Programming with Templates. In Proceedings of the 2nd Intl. ASP'03 Workshop. Messina, Italy, September 26 - 28, 2003 - CEUR Workshop Proceedings. (pdf)

mwiki: dlt (last edited 2011-09-21 10:38:45 by GiovambattistaIanni)