welcome: please sign in
location: Diff for "dlt"
Differences between revisions 6 and 27 (spanning 21 versions)
⇤ ← Revision 6 as of 2006-02-06 03:18:36 →
Size: 1558
Editor: GiovambattistaIanni
Comment:
← Revision 27 as of 2006-02-28 09:32:32 → ⇥
Size: 4100
Editor: ClaudioPanetta
Comment:
Deletions are marked like this. Additions are marked like this.
Line 2: Line 2:
# NOTE: i link puntano per lo più ai vecchi file. Usare il wiki nel futuro per gli attachment.
= The DLT Home Page =		 [http://www.mat.unical.it/~ianni/dlpt/dltlogo.jpg]
= An Answer Set Programming Frontend with Templates =
Line 5: Line 5:
 * [#dlt About DLT]
 * [#team The Team]
 * [#downloads Downloads]
 * [#related Related Works]
 * [#pubblications Publications]
----
[[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 the [http://www.dlvsystem.com DLV system] with Template predicates.
Line 8: Line 15:
[[Anchor(team)]]
Line 9: Line 17:
 Project Coordinator Project Coordinator
Line 11: Line 19:
 Sr. Developers Sr. Developers
Line 13: Line 21:
 Jr. Developers Jr. Developers
Line 15: Line 23:
Have a look at our [http://sv.mat.unical.it/~ianni/dlpt/gallery.htm gallery!]
Contact us at dlt@mat.unical.it. Have a look at our [http://sv.mat.unical.it/~ianni/dlpt/gallery.htm gallery!]
Line 17: Line 26:
[[Anchor(downloads)]]
Line 18: Line 28:
 At the moment we provide only a Linux (i586) binary and a Windows binary. Other systems' executables will be sooner available. At the moment we provide only a Linux (i586) binary and a Windows binary. Other systems' executables will be sooner available.
Line 22: Line 32:
# Portare quest'ultimo in Wiki format.
 * The DLT [http://sv.mat.unical.it/~ianni/dlpt/DLT_Manual.htm Manual].		  * The DLT [http://sv.mat.unical.it/~ianni/dlpt/DLT_Manual.htm Manual]. - [[creapagina(dltManual)]]
 * [http://sv.mat.unical.it/~ianni/dlpt/examples_lpnmr.zip Simple_examples]
 * [http://sv.mat.unical.it/~ianni/dlpt/examples.zip Other examples]
Line 25: Line 36:
 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. 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 27: Line 38:
 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.  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.
Line 29: Line 40:
[[Anchor(related)]]
'''Related Works'''

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

[http://www.mat.unical.it/~ianni/dlpt/dltlogo.jpg]

An Answer Set Programming Frontend with Templates

  • [#dlt About DLT]
  • [#team The Team]
  • [#downloads Downloads]
  • [#related Related Works]
  • [#pubblications Publications]

Anchor(dlt)

About DLT

DLT is a frontend for disjunctive datalog, extending the [http://www.dlvsystem.com DLV system] with Template predicates.

Anchor(team)

The Team

Project Coordinator

Sr. Developers

  • Francesco Calimeri, Giuseppe Ielpa (emeritus)

Jr. Developers

  • Susanna Cozza, Adriana Pietramala , Maria Carmela Santoro

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

Anchor(downloads)

Downloads

At the moment we provide only a Linux (i586) binary and a Windows binary. Other systems' executables will be sooner available.

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.

  • 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) Related Works

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

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

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