welcome: please sign in
location: Diff for "dlt"
Differences between revisions 6 and 49 (spanning 43 versions)
⇤ ← Revision 6 as of 2006-02-06 03:18:36 →
Size: 1558
Editor: GiovambattistaIanni
Comment:
← Revision 49 as of 2007-06-25 16:47:50 → ⇥
Size: 4758
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
#acl DltGroup:read,write,revert,admin All:read
# NOTE: i link puntano per lo più ai vecchi file. Usare il wiki nel futuro per gli attachment.
= The DLT Home Page =		 #acl DltGroup:read,write,revert,admin GisellaBennardo:read,write All:read
[http://www.mat.unical.it/~ianni/dlpt/dltlogo.jpg]
----
= An Answer Set Programming Frontend with Templates =

----
[[TableOfContents]]


[[Anchor(dlt)]]
Line 6: Line 13:
 DLT is a frontend for disjunctive datalog, extending the [http://www.dlvsystem.com DLV system] with Template predicates. 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)]]
Line 9: Line 22:
 Project Coordinator Project Coordinator
Line 11: Line 24:
 Sr. Developers
 * Francesco Calimeri, Giuseppe Ielpa (emeritus)
 Jr. Developers
 * Susanna Cozza, Adriana Pietramala , Maria Carmela Santoro 		Sr. Developers
 * [http://www.mat.unical.it/calimeri Francesco Calimeri], Giuseppe Ielpa (emeritus)
Jr. Developers
 * [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]

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


[[Anchor(download)]]
Line 17: Line 36:
== Downloads ==
 At the moment we provide only a Linux (i586) binary and a Windows binary. Other systems' executables will be sooner available. 		== Download ==
Line 20: Line 38:
 * 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]).
# Portare quest'ultimo in Wiki format.
 * The DLT [http://sv.mat.unical.it/~ianni/dlpt/DLT_Manual.htm Manual].		 Linux (i586) and Windows (32) binaries are available (updated June 10th, 2007).
Line 25: Line 40:
 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.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).
Line 27: Line 43:
 Check DLT official web page for news. To receive notifications about new releases and/or other important events regarding DLT, please contact us at dlpt@mat.unical.it.   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 [mailto:dlpt@mat.unical.it here].


[[Anchor(docs)]]
Line 29: Line 51:
== Documentation and examples ==

'''Manual'''

 * You can fond the DLT Manual here [[sottopagina(dltManual)]]

'''Examples'''

The following examples could be interesting:

 * [attachment:examples_lpnmr.zip Simple examples] (.zip file)
 * [attachment:examples.zip Other examples] (.zip file)

Download all examples in a [attachment:all_examples.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.
 * [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.


[[Anchor(publications)]]
----
== Selected Publications ==

{{{[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.
([http://www.mat.unical.it/~ianni/dlpt/template2AICOM.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

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(download)

Download

Linux (i586) and Windows (32) binaries are available (updated June 10th, 2007).

  • 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).

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

Anchor(docs)

Documentation and examples

Manual

Examples

The following examples could be interesting:

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

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

Anchor(related)

  • 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.

Anchor(publications)

Selected Publications

[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. ([http://www.mat.unical.it/~ianni/dlpt/template2AICOM.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])

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