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

An Answer Set Programming Frontend with Templates

TableOfContents

Anchor(dlt)

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 [http://www.dlvsystem.com DLV], [http://www.mat.unical.it/kali/dlv-ex DLV-EX], [http://www.kr.tuwien.ac.at/staff/roman/dlvhex/ DLV-HEX], and, partially, [http://www.tcs.hut.fi/Software/smodels/ Lparse+Smodels]

Anchor(team)

The Team

Project Coordinator

• [http://www.gibbi.com Giovambattista Ianni]

Sr. Developers

• [http://www.mat.unical.it/calimeri Francesco Calimeri], Giuseppe Ielpa (emeritus)

Jr. Developers

• [mailto:cozza_AT_mat.unical.it Susanna Cozza], [mailto:a.pietramala_AT_mat.unical.it Adriana Pietramala], [mailto:santoro_AT_mat.unical.it Maria Carmela Santoro], [mailto:a.martello_AT_mat.unical.it Alessandra Martello], [mailto:gisella_bennardo_AT_yahoo.it Gisella Bennardo], [mailto:mario.alviano_AT_gmail.com Mario Alviano], [mailto:marano_AT_mat.unical.it Marco Marano]

Contact us at dlt_AT_mat.unical.it.

Have a look at our [http://sv.mat.unical.it/~ianni/dlpt/gallery.htm gallery!]

Anchor(download)

Download

Linux (i586 - updated July 17, 2009), Windows (win32 - updated July 17, 2009) and Mac Os X (Leopard - updated July 25, 2008) binaries are available.

• Download the [attachment:dlt_1.6.1_linux.gz latest linux (i586) version] (1.6.1).
• Download the [attachment:dlt_1.6.1_WIN32.zip latest Windows 2000/XP/Vista binaries] (1.6.1).
• Download the [attachment:dlt_1.6_OSX_static.zip latest mac os version] (1.6).
• Download the [attachment:axiomatic_modules.zip axiomatic modules] (for Frame Logic)
• Older Versions [attachment:dlt_1.6_linux.gz linux (i586) version] (1.6)
• Older Versions [attachment:dlt_1.6_WIN32.zip win (i586) version] (1.6)
• Older Versions [attachment:dlt.linux.1.5.1.tar.gz linux (i586) version] (1.5.1)
• Older Versions [attachment:dlt.win.1.5.1.zip win (i586) version] (1.5.1)

Note: since DLT invokes DLV, you will need the DLV executable. Please find all versions at the official [http://www.dlvsystem.com DLV webpage]. A limited compatibility with other solvers is also provided (see for instance [http://www.tcs.hut.fi/Software/smodels/ Smodels]).

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

Anchor(docs)

Documentation and examples

Online interface

Try out the online interface at [http://asptut.gibbi.com ASP Tutorial Web Interface] (Examples written in DLT are those with .dlt extension. This web interface currently runs DLT 1.5.1).

Manual

• You can find the DLT Manual here sottopagina(dltManual)

Examples

Some interesting example:

• [attachment:examples_lpnmr_1.zip Simple examples] (.zip file)
• [attachment:examples_1.zip Other examples] (.zip file)

Download all examples in a [attachment:all_examples_1.zip .zip file].

Anchor(related)

Related Works

• The Official [http://www.dlvsystem.com DLV] Home Page.

• An useful [http://www.mat.unical.it/wrapper Java wrapper] for DLV.

• Some solvers that allow DLT as a preprocessor:

  • [http://www.mat.unical.it/kali/dlv-ex DLV-EX] is an Answer Set Programming System with External Predicates, featuring a framework aimed at enabling ASP to deal with external sources of computation. It has been implemented and is currently maintained by members of the DLV team from Università della Calabria (some of them are involved also into the DLT project). Sooner DLV-EX features will be part of the DLV System.

  • [http://www.mat.unical.it/dlv-complex DLV-Complex] extends DLV-EX with function symbols, lists and set terms.

  • [http://www.kr.tuwien.ac.at/staff/roman/dlvhex/ DLV-HEX] features "second order" external predicates taking relational input an returning relational output, as well as higher order atoms.

Anchor(publications)

Selected Publications

[AIMMM+08] Mario Alviano, Giovambattista Ianni, Alessandra Martello, Marco Marano. "Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics". Unpublished. ([attachment:alvii-etal-2008.pdf .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. ([attachment:alvii-etal-2007-CILC.pdf .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. ([attachment:CalimeriIanni-aicom2006.pdf .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. ([http://sv.mat.unical.it/~ianni/dlpt/systemDescription.pdf .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. ([http://sv.mat.unical.it/~ianni/dlpt/nmr2004.pdf .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. ([http://sv.mat.unical.it/~ianni/dlpt/dlt.pdf pdf])