welcome: please sign in

Upload page content

You can upload content for the page named below. If you change the page name, you can also upload content for another page. If the page name is empty, we derive the page name from the file name.

File to load page content from
Page name
Comment

Revision 40 as of 2007-06-09 13:17:15

location: dlt

[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 and Frame Logic Syntax.

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/ Smodels]


Anchor(team)

The Team

Project Coordinator

Sr. Developers

Jr. Developers

Contact us [mailto:dlt@mat.unical.it here].

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


Anchor(downloads)

Downloads

= Binaries=

Linux (i586) and Windows (32) binaries are available.

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 here [mailto:dlpt@mat.unical.it dlpt@mat.unical.it].

--- Anchor(docs)

Documentation and examples


Anchor(related) Related Works


Anchor(publications)

Selected Publications

[CIa+05] Francesco Calimeri, Giovambattista Ianni. Template Programs for Disjunctive Logic Programming: An Operational Semantics. AI Communications (to appear).

[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])