4115
Comment:
|
6566
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
#acl DltGroup:read,write,revert,admin GisellaBennardo:read,write All:read [http://www.mat.unical.it/~ianni/dlpt/dltlogo.jpg] |
#acl DltGroup:read,write,revert,admin All:read {{http://www.mat.unical.it/~ianni/dlpt/dltlogo.jpg}} ---- |
Line 4: | Line 5: |
Line 5: | Line 7: |
[[TableOfContents]] | <<TableOfContents>> <<Anchor(dlt)>> |
Line 7: | Line 11: |
[[Anchor(dlt)]] | == Important Notice == DLT 1.7 will be released soon. For preliminary binaries (contains lot of bug fixes, etc.) please ask GB Ianni (__ianni__at__mat.unical.it). |
Line 9: | Line 16: |
DLT is a frontend for disjunctive datalog, extending the [http://www.dlvsystem.com DLV system] with Template predicates and Frame Logic Syntax. | 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)>> |
Line 11: | Line 24: |
[[Anchor(team)]] | |
Line 14: | Line 26: |
* [http://www.gibbi.com Giovambattista Ianni] | * [[http://www.gibbi.com|Giovambattista Ianni]] |
Line 16: | Line 28: |
* Francesco Calimeri, Giuseppe Ielpa (emeritus) | * [[http://www.mat.unical.it/calimeri|Francesco Calimeri]], Giuseppe Ielpa |
Line 18: | Line 30: |
* Susanna Cozza, Adriana Pietramala , Maria Carmela Santoro | * [[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]] |
Line 20: | Line 32: |
Contact us at dlt@mat.unical.it. Have a look at our [http://sv.mat.unical.it/~ianni/dlpt/gallery.htm gallery!] | 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)>> |
Line 22: | Line 39: |
[[Anchor(downloads)]] == Downloads == At the moment we provide only a Linux (i586) binary and a Windows binary. Other systems' executables will be sooner available. |
== Download == |
Line 26: | Line 41: |
* Download the latest linux (i586) version ([http://sv.mat.unical.it/~ianni/dlpt/dlpt.linux.1.1.zip 1.1]). * Download the latest windows version ([http://sv.mat.unical.it/~ianni/dlpt/DLT_WIN.zip 1.1]). * The DLT Manual - [[sottopagina(dltManual)]] * [http://sv.mat.unical.it/~ianni/dlpt/examples_lpnmr.zip Simple_examples] * [http://sv.mat.unical.it/~ianni/dlpt/examples.zip Other examples] |
Linux (i586 - updated July 17, 2009), Windows (win32 - updated July 17, 2009) and Mac Os X (Leopard - updated July 25, 2008) binaries are available. |
Line 32: | Line 43: |
Note: since DLT invokes DLV, you will need the DLV executable. Please find all versions at the official [http://www.dlvsystem.com webpage]. A limited compatibility with other solvers such as [http://www.tcs.hut.fi/Software/smodels/ Smodels] is also provided. | * 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). |
Line 34: | Line 47: |
Check DLT official web page for news. To receive notifications about new releases and/or other important events regarding DLT, please contact us at dlt@mat.unical.it. | * 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 or one of the DLV spin-off prototypes. DLT works at its best with the [[https://www.mat.unical.it/dlv-complex|DLV-Complex]] binary. The official DLV binary can be found [[http://www.dlvsystem.com|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 <<Anchor(docs)>> |
Line 36: | Line 60: |
[[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. * [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. It allows DLT as a pre-parser. * [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. It allows DLT as a pre-parser. |
== Documentation and examples == |
Line 43: | Line 62: |
'''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)>> |
|
Line 44: | Line 85: |
[[Anchor(publications)]] == Publications == {{{[CIa+05]}}} Francesco Calimeri, Giovambattista Ianni. ''Template Programs for Disjunctive Logic Programming: An Operational Semantics''. AI Communications (to appear). NOTE: the camera-ready version is currently being completed, the actual work will be a bit different. The final version will be added here soon. ([http://www.mat.unical.it/~ianni/dlpt/template2AICOM.pdf .pdf]) |
== 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. |
Line 50: | Line 93: |
{{{[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]) | |
Line 52: | Line 94: |
{{{[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]) | <<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]]) |
Line 54: | Line 99: |
{{{[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]) | {{{[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]]) |
An Answer Set Programming Frontend with Templates
Contents
Important Notice
DLT 1.7 will be released soon. For preliminary binaries (contains lot of bug fixes, etc.) please ask GB Ianni (ianniatmat.unical.it).
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
Project Coordinator Sr. Developers Francesco Calimeri, Giuseppe Ielpa Jr. Developers Susanna Cozza, Adriana Pietramala, Maria Carmela Santoro, Alessandra Martello, Gisella Bennardo, Mario Alviano, Marco Marano Contact us at dlt_AT_mat.unical.it. Have a look at our gallery!
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 latest linux (i586) version (1.6.1). Download the latest Windows 2000/XP/Vista binaries (1.6.1). Download the latest mac os version (1.6). Download the axiomatic modules (for Frame Logic) Older Versions linux (i586) version (1.6) Older Versions win (i586) version (1.6) Older Versions linux (i586) version (1.5.1) Older Versions win (i586) version (1.5.1) 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
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 You can find the DLT Manual here dltManual Examples Some interesting example: Simple examples (.zip file) Other examples (.zip file) Download all examples in a .zip file.
The Official DLV Home Page. An useful Java wrapper for DLV. 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. DLV-Complex extends DLV-EX with function symbols, lists and set terms. DLV-HEX features "second order" external predicates taking relational input an returning relational output, as well as higher order atoms.
[AIMMM+08] Mario Alviano, Giovambattista Ianni, Alessandra Martello, Marco Marano. "Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics". Unpublished. (.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) About DLT
The Team
Download
Documentation and examples
Related Works
Selected Publications