|
Size: 4421
Comment:
|
Size: 4553
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| ---- | |
| Line 4: | Line 5: |
| Line 5: | Line 7: |
| [[TableOfContents]] | [[TableOfContents]] [[Anchor(dlt)]] |
| Line 7: | Line 12: |
| [[Anchor(dlt)]] | |
| Line 14: | Line 18: |
[[Anchor(team)]] |
|
| Line 15: | Line 21: |
| [[Anchor(team)]] | |
| Line 22: | Line 27: |
| * Susanna Cozza, Adriana Pietramala , Maria Carmela Santoro | * [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:mario.alviano@gmail.com] |
| Line 24: | Line 29: |
| Contact us at dlt@mat.unical.it. Have a look at our [http://sv.mat.unical.it/~ianni/dlpt/gallery.htm gallery!] | 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)]] |
| Line 26: | Line 36: |
| [[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 30: | 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]). |
Linux (i586) and Windows (32) binaries are available. * Download the latest linux (i586) version (1.5.1). * Download the 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 here [mailto:dlpt@mat.unical.it dlpt@mat.unical.it]. [[Anchor(docs)]] ---- == Documentation and examples == |
| Line 36: | Line 57: |
| 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. | |
| Line 38: | Line 58: |
| 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. | [[Anchor(related)]] |
| Line 40: | Line 60: |
| [[Anchor(related)]] '''Related Works''' |
== Related Works == |
| Line 47: | Line 66: |
[[Anchor(publications)]] |
|
| Line 48: | Line 69: |
| [[Anchor(publications)]] == Publications == |
== Selected Publications == |
[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 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]
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@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:mario.alviano@gmail.com]
Contact us [mailto:dlt@mat.unical.it here].
Have a look at our [http://sv.mat.unical.it/~ianni/dlpt/gallery.htm gallery!]
Download
Linux (i586) and Windows (32) binaries are available.
- Download the latest linux (i586) version (1.5.1).
- Download the 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 here [mailto:dlpt@mat.unical.it dlpt@mat.unical.it].
Documentation and examples
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]
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.
Selected 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])
[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])