welcome: please sign in
location: Diff for "dlt"
Differences between revisions 50 and 85 (spanning 35 versions)
Revision 50 as of 2007-06-25 17:07:19
Size: 4738
Comment:
Revision 85 as of 2011-09-21 10:38:45
Size: 6791
Comment:
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 7: Line 7:
[[TableOfContents]] <<TableOfContents>>
Line 9: Line 9:
<<Anchor(dlt)>>
----
Line 10: Line 12:
[[Anchor(dlt)]]
----
Line 13: Line 13:
DLT is a frontend for disjunctive datalog, extending Answer Set Programming 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.
Line 15: Line 15:
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]
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]]
Line 19: Line 19:
[[Anchor(team)]] <<Anchor(team)>>
Line 23: Line 23:
 * [http://www.gibbi.com Giovambattista Ianni]  * [[http://www.gibbi.com|Giovambattista Ianni]]
Line 25: Line 25:
 * [http://www.mat.unical.it/calimeri Francesco Calimeri], Giuseppe Ielpa (emeritus)     * [[http://www.mat.unical.it/calimeri|Francesco Calimeri]], Giuseppe Ielpa
Line 27: Line 27:
 * [mailto:cozza@mat.unical.it Susanna Cozza], [mailto:a.pietramala@mat.unical.it Adriana Pietramala], [mailto:santoro@mat.unical.it Maria Carmela Santoro], [mailto:a.martello@mat.unical.it Alessandra Martello], [mailto:gisella_bennardo@yahoo.it Gisella Bennardo], [mailto:mario.alviano@gmail.com Mario Alviano]  * [[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 29: Line 29:
Contact us [mailto:dlt@mat.unical.it here]. Contact us at dlt_AT_mat.unical.it.
Line 31: Line 31:
Have a look at our [http://sv.mat.unical.it/~ianni/dlpt/gallery.htm gallery!] Have a look at our [[http://sv.mat.unical.it/~ianni/dlpt/gallery.htm|gallery!]]
Line 34: Line 34:
[[Anchor(download)]] <<Anchor(download)>>
Line 38: Line 38:
Linux (i586) and Windows (32) binaries are available (updated June 10th, 2007). <<newicon>> Version 1.7 (Sep 21th, 2011):
Line 40: Line 40:
 * Download the [attachment:dlt.linux.1.5.1.tar.gz latest linux (i586) version] (1.5.1).
 * Download the [attachment:dlt.win.1.5.1.zip latest windows version] (1.5.1).
 * Download the [[http://www.mat.unical.it/ianni/dlt-linux-64.tar.gz|latest Linux x86_64 version]]
 * Download the [[http://www.mat.unical.it/ianni/dlt-linux-32.tar.gz|latest Linux x86_32 version]]
 * Download the [[http://www.mat.unical.it/ianni/dlt-win.tar.gz|latest Windows 2000/XP/Vista/7 binaries]] (requires cygwin1.dll taken from [[http://www.cygwin.com|here]])
 * Download the [[http://www.mat.unical.it/ianni/dlt-macos64.tar.gz|latest Mac OS version]]
Line 43: Line 45:
  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]). Version 1.6:
Line 46: Line 47:
In order to receive notifications about new releases and/or other important events regarding DLT, please contact us [mailto:dlpt@mat.unical.it here].  * 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 48: Line 51:
 * Download the [[attachment:axiomatic_modules.zip|axiomatic modules]] (for Frame Logic)
Line 49: Line 53:
[[Anchor(docs)]]  * 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 53: Line 66:
'''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).

Line 55: Line 74:
 * You can fond the DLT Manual here [[sottopagina(dltManual)]]  * You can find the DLT Manual here <<sottopagina(dltManual)>>
Line 59: Line 78:
The following examples could be interesting: Some interesting example:
Line 61: Line 80:
 * [attachment:examples_lpnmr.zip Simple examples] (.zip file)
 * [attachment:examples.zip Other examples] (.zip file)
 * [[attachment:examples_lpnmr_1.zip|Simple examples]] (.zip file)
 * [[attachment:examples_1.zip|Other examples]] (.zip file)
Line 64: Line 83:
Download all examples in a [attachment:all_examples.zip .zip file]. Download all examples in a [[attachment:all_examples_1.zip|.zip file]].
Line 68: Line 87:
[[Anchor(related)]] <<Anchor(related)>>
Line 71: Line 90:
 * 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.
 * 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 77: Line 98:
[[Anchor(publications)]] <<Anchor(publications)>>
Line 80: Line 101:
{{{[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]) {{{[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. ([[attachment:alvii-etal-2008.pdf|.pdf]])
Line 82: Line 103:
{{{[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 84: Line 104:
{{{[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]) {{{[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]])
Line 86: Line 106:
{{{[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]) {{{[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]])

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.


  • The Official DLV Home Page.

  • An useful Java wrapper for DLV.

  • Some solvers that allow DLT as a preprocessor:
    • 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.


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)