Differences between revisions 23 and 82 (spanning 59 versions)

DLV-EX: The Project

DLV-EX is an Answer Set Programming System extending [http://www.dlvsystem.com DLV] by External Predicates, which features a framework aimed at enabling ASP to deal with external sources of computation. This feature is realized by the introduction of “parametric” external predicates, whose extension is not specified by means of a logic program but implicitly computed through external code. It is explicitly addressed the issue of invention of new information coming from external predicates, in form of new, and possibly infinite, constant symbols.

DLV-EX is based on the [http://www.dlvsystem.com DLV] system.

If you designed a nice external predicate, tell [mailto:dlv-ex@mat.unical.it us].

attachment:new.gif Important advice: attachment:new.gif

The DLV-EX project is now moving to [http://www.mat.unical.it/dlv-complex DLV-Complex]. DLV-Complex is a very powerful ASP system, which, besides external predicates, explicitly supports (recursive) functions, sets, and lists, along with libraries for their manipulations. This page is still the main reference for the external-predicate framework and utilities: you will find all necessary tools for developing your own predicates in the [#download download] section. Nevertheless, we strongly recommend to refer to the [http://www.mat.unical.it/dlv-complex DLV-Complex] page for binaries, news and updates.

If you want, you can still download the last versions of DLV-EX binaries available, in the [#download download] section.

[#TOC Top of Page]

Anchor(team)

The Team

Core

[http://www.mat.unical.it/calimeri Francesco Calimeri], [http://www.gibbi.com Giovambattista Ianni], [mailto:cozza@mat.unical.it Susanna Cozza]

Former team members

Adriana Pietramala (student), Maria Carmela Santoro (student)

Prompters and helpers

[http://www.wfaber.com Wolfgang Faber], [http://www.pfeifer.com/gerald/ Gerald Pfeifer], [http://www.mat.unical.it/~leone/ Nicola Leone]

[#TOC Top of Page]

Anchor(download)

Download

DLV-EX is actively developed. To receive notifications about new releases and other important events regarding DLV-EX, just have a look at this page, or drop us a note [mailto:dlv-ex@mat.unical.it here].

Please always use the most current version of DLV-EX (cf. [#history version history]). You may also want to have a look at [attachment:benchmarks.html some benchmarks].

Anchor(latestVersion)

Latest Version

We offer a command-line version in binary form for

[attachment:dl-ex.20060426.linux.tar.gz i386-linux-elf-static] (Latest version [#history April 26th, 2006]).

(please have a look at the notes below). We plan to release binaries for other platforms as soon as an official release will be ready.

Notes: Please note that the .tar.gz archive consists of the executable plus a folder, namely "LIB", containing headers and scripts needed in order to create new External Builtins libraries. For further information, have a look at the [#docs documentation].

Libraries

Some (compiled) dynamic libraries can be downloaded here. They have to be considered as "betas", since they are currently developed and tested. Feedbacks are useful and welcome, so please download them freely. For further information on how to exploit libraries have a look at the [#docs documentation]. Please note that updates will be available later on, so come back to this page.

[attachment:string_lib.so.tar.gz String Library (linux)] and [attachment:string_lib.htm related documentation].
[attachment:math_N.so.tar.gz Integers Library (linux)] and [attachment:math_N.htm related documentation].
[attachment:math_R.so.tar.gz Reals Library (linux)] and [attachment:math_R.htm related documentation].

Utilities

DEBT - We have developed an integrated command-line environment aimed at helping in testing external built-ins predicates. This may be very useful for users who define their own built-ins. DEBT can be downloaded [attachment:debt.tar.gz here], and it is gathered with its related [attachment:BuiltinTestToolUSERMANUAL.pdf documentation].

[#TOC Top of Page]

Anchor(docs)

Documentation & Examples

We provide an [attachment:usermanual.html online manual] and an [attachment:tutorial.html online tutorial]; they are updated accordingly to the evolution of the system, so check them periodically.

For a full documentation on DLV please check the official [http://www.dlvsystem.com web page].

[#TOC Top of Page]

Anchor(relatedWork)

Related Works

It is worth noting that our work shares many aspects with the work carried out by Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits. They introduce HEX programs, which are nonmonotonic logic programs admitting higher-order atoms as well as external atoms, and extend the answer-set semantics accordingly. A web page with a prototype and some references is available [http://con.fusion.at/dlvhex/ here].

[http://www.dlvsystem.com DLV] is the system into which DLV-EX is implemented.
[http://dlt.gibbi.com/ DLT] is an extension to the DLV system providing reusable template predicate definitions. It is maintained by members of the DLV team from Università della Calabria.
[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.

[#TOC Top of Page]

Anchor(history)

History

April 26th, 2006 attachment:new.gif

Bugfixes and speedups. Support for VI-restricted programs implemented.

September 28th, 2005

"Beta" version, much improved. Carries many bugfixes and improvements.

March 28th, 2005

First stable version, even if still a "beta".

October 17th, 2004

First working version, experimental.

Previous versions

...did not carry a real version identification.

[#TOC Top of Page]

Anchor(publications)

Selected Publications

[1] F. Calimeri, S. Cozza, G. Ianni, "External Sources of Knowledge and Value Invention in Logic Programming", Annals of Mathematics and Artificial Intelligence, 2007, to appear. [attachment:cali-etal-AMAI-2007.pdf PDF]

[2] F. Calimeri, S. Cozza, G. Ianni, "Decidable fragments of Logic Programming with Value Invention", Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA'06) in Logics in Artificial Intelligence, Lecture Notes in Computer Science (LNCS), v. 4160, pp. 95-110, September 2006, Liverpool, UK, Springer Verlag, GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN 3-540-39625-X. [attachment:jelia06.pdf PDF]

[3] F. Calimeri, G. Ianni, "External sources of computation for Answer Set Solvers", Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05), Diamante, Italy, 5-8 September 2005, Springer Verlag. [attachment:lpnmr05.pdf PDF]

[#TOC Top of Page]

[mailto:dlv-ex@mat.unical.it dlv-ex@mat.unical.it]

-  ⇤ ← Revision 23 as of 2006-03-14 11:47:24 → 
  Size: 5099
  Editor: FrancescoCalimeri
  Comment:
+   ← Revision 82 as of 2009-06-19 10:11:59 → ⇥
  Size: 7348
  Editor: FrancescoCalimeri
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 3:
+[[Anchor(TOC)]]
[[TableOfContents]]
----
-Line 4:
+Line 7:
-'''DLV-EX: The Project'''
+= DLV-EX: The Project =
-Line 11:
+Line 14:
-[#project Top of Page]
+If you designed a nice external predicate, tell [mailto:dlv-ex@mat.unical.it us].


attachment:new.gif ''Important advice:'' attachment:new.gif

'''The DLV-EX project is now moving to [http://www.mat.unical.it/dlv-complex DLV-Complex]. DLV-Complex is a very powerful ASP system, which, besides external predicates, explicitly supports (recursive) functions, sets, and lists, along with libraries for their manipulations. This page is still the main reference for the external-predicate framework and utilities: you will find all necessary tools for developing your own predicates in the [#download download] section. Nevertheless, we strongly recommend to refer to the [http://www.mat.unical.it/dlv-complex DLV-Complex] page for binaries, news and updates.'''

If you want, you can still download the last versions of DLV-EX binaries available, in the [#download download] section.

[#TOC Top of Page]
-Line 14:
+Line 26:
-'''The Team'''
+= The Team =
-Line 16:
+Line 28:
-__Core__
+== Core ==
-Line 18:
+Line 30:
-[mailto:calimeri@mat.unical.it Francesco Calimeri], [mailto:ianni@mat.unical.it Giovambattista Ianni], [mailto:cozza@mat.unical.it Susanna Cozza]
+[http://www.mat.unical.it/calimeri Francesco Calimeri], [http://www.gibbi.com Giovambattista Ianni], [mailto:cozza@mat.unical.it Susanna Cozza]
-Line 20:
+Line 32:
-__Former team members__
+== Former team members ==
-Line 24:
+Line 36:
-__Prompters and helpers__
+== Prompters and helpers ==
-Line 26:
+Line 38:
-[http://www.wfaber.com Wolfgang Faber], [http://www.pfeifer.com/gerald/ Gerald Pfeifer]
+[http://www.wfaber.com Wolfgang Faber], [http://www.pfeifer.com/gerald/ Gerald Pfeifer], [http://www.mat.unical.it/~leone/ Nicola Leone]
-Line 28:
+Line 40:
-[#project Top of Page]
+[#TOC Top of Page]
-Line 31:
+Line 43:
-'''Download'''
+= Download =
-Line 35:
+Line 47:
-Please always use the most current version of DLV-EX (cf. [#history version history]).
+Please always use the most current version of DLV-EX (cf. [#history version history]). You may also want to have a look at [attachment:benchmarks.html some benchmarks].
-Line 37:
+Line 49:
-We offer a command-line version in binary form for [attachment:dl-ex.linux.tar.gz i586-linux-elf-static] (please have a look at the notes below). We plan to release binaries for other platforms as soon as an official release will be ready.
+[[Anchor(latestVersion)]]
== Latest Version ==

We offer a command-line version in binary form for    * [attachment:dl-ex.20060426.linux.tar.gz i386-linux-elf-static] (Latest version [#history April 26th, 2006]).

(please have a look at the notes below). We plan to release binaries for other platforms as soon as an official release will be ready.
-Line 41:
+Line 60:
-'''Libraries'''
+== Libraries ==
-Line 43:
+Line 62:
-Some (compiled) dynamic libraries can be downloaded here. They have to be considered as "betas", since they are currently developed and tested. Feedbacks are useful and welcome, so please download them freely. For further information on how to exploit libraries have a look at the documentation. Please note that updates will be available later on, so come back to this page.
+Some (compiled) dynamic libraries can be downloaded here. They have to be considered as "betas", since they are currently developed and tested. Feedbacks are useful and welcome, so please download them freely. For further information on how to exploit libraries have a look at the [#docs documentation]. Please note that updates will be available later on, so come back to this page.
-Line 45:
+Line 64:
-String Library (linux)  and related documentation.   
Integers Library (linux)  and related documentation.   
Reals Library (linux)  and related documentation.
+ * [attachment:string_lib.so.tar.gz String Library (linux)] and [attachment:string_lib.htm related documentation].
 * [attachment:math_N.so.tar.gz Integers Library (linux)] and [attachment:math_N.htm related documentation].
 * [attachment:math_R.so.tar.gz Reals Library (linux)] and [attachment:math_R.htm related documentation].
-Line 49:
+Line 68:
-'''Utilities'''
+== Utilities ==
-Line 51:
+Line 70:
-DEBT - We have developed an integrated command-line environment aimed at helping in testing external built-ins predicates. This may be very useful for users who define their own built-ins. DEBT can be downloaded here, and it is gathered with its related documentation.
+''DEBT'' - We have developed an integrated command-line environment aimed at helping in testing external built-ins predicates. This may be very useful for users who define their own built-ins. DEBT can be downloaded [attachment:debt.tar.gz here], and it is gathered with its related [attachment:BuiltinTestToolUSERMANUAL.pdf documentation].
-Line 53:
+Line 72:
-[#project Top of Page]
+[#TOC Top of Page]
-Line 56:
+Line 75:
-'''Documentation & Examples'''
+= Documentation & Examples =
-Line 58:
+Line 77:
-We provide an  online manual and an online tutorial; they are updated accordingly to the evolution of the system, so check them.
+We provide an [attachment:usermanual.html online manual] and an [attachment:tutorial.html online tutorial]; they are updated accordingly to the evolution of the system, so check them periodically.
-Line 60:
+Line 79:
-For a full documentation on DLV please check the official web page.
+For a full documentation on DLV please check the official [http://www.dlvsystem.com web page].
-Line 62:
+Line 81:
-[#project Top of Page]
+[#TOC Top of Page]
-Line 65:
+Line 84:
-'''Related Work'''
+= Related Works =
-Line 67:
+Line 86:
-It is worth noting that our work shares many aspects with the work carried out by Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits. They introduce HEX programs, which are nonmonotonic logic programs admitting higher-order atoms as well as external atoms, and extend the answer-set semantics accordingly. A web page with a very preliminar prototype and some references is available here.
+It is worth noting that our work shares many aspects with the work carried out by Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits. They introduce HEX programs, which are nonmonotonic logic programs admitting higher-order atoms as well as external atoms, and extend the answer-set semantics accordingly. A web page with a prototype and some references is available [http://con.fusion.at/dlvhex/ here].
-Line 69:
+Line 88:
- * DLV is the system into which DLV-EX is implemented.
+ * [http://www.dlvsystem.com DLV] is the system into which DLV-EX is implemented.
-Line 71:
+Line 90:
- * DLT is an extension to the DLV system providing reusable template predicate definitions. It is maintained by members of the DLV team from Università della Calabria.
+ * [http://dlt.gibbi.com/ DLT] is an extension to the DLV system providing reusable template predicate definitions. It is maintained by members of the DLV team from Università della Calabria.
-Line 73:
+Line 92:
- * James Delgrande, Torsten Schaub and Hans Tompits have created an external frontend for prioritized logic programs.
+ * [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.
-Line 75:
+Line 94:
- * Vladimir Sarsakov, Torsten Schaub, Hans Tompits and Stefan Woltran have created an external frontend for logic programs with nested expressions.

 * A-POL, a partial order programming extension for Answer Set Programming, by Mauricio Osorio Galindo and Enrique R. Corona D.

[#project Top of Page]
+[#TOC Top of Page]
-Line 82:
+Line 97:
-'''History'''
+= History =
 * April 26th, 2006  attachment:new.gif
Bugfixes and speedups. Support for VI-restricted programs implemented.
-Line 96:
+Line 113:
-[#project Top of Page]
+[#TOC Top of Page]
-Line 99:
+Line 116:
-'''Selected Publications'''
+= Selected Publications =
[1] F. Calimeri, S. Cozza, G. Ianni, "External Sources of Knowledge and Value Invention in Logic Programming", Annals of Mathematics and Artificial Intelligence, 2007, to appear. [attachment:cali-etal-AMAI-2007.pdf PDF]
-Line 101:
+Line 119:
-[1] F. Calimeri, G. Ianni, "External sources of computation for Answer Set Solvers", Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-05), Diamante, Italy, 5-8 September 2005, Springer Verlag.
+[2] F. Calimeri, S. Cozza, G. Ianni, "Decidable fragments of Logic Programming with Value Invention", Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA'06) in Logics in Artificial Intelligence, Lecture Notes in Computer Science (LNCS), v. 4160, pp. 95-110, September 2006, Liverpool, UK, Springer Verlag, GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN 3-540-39625-X.
[attachment:jelia06.pdf PDF]
-Line 103:
+Line 122:
-[#project Top of Page]
+[3] F. Calimeri, G. Ianni, "External sources of computation for Answer Set Solvers", Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05), Diamante, Italy, 5-8 September 2005, Springer Verlag. 
[attachment:lpnmr05.pdf PDF]

[#TOC Top of Page]
-Line 105:
+Line 127:
+__''[mailto:dlv-ex@mat.unical.it dlv-ex@mat.unical.it]''__

Quick Links

Search Wiki

Page Tools

DLV-EX: The Project

The Team

Core

Former team members

Prompters and helpers

Download

Latest Version

Libraries

Utilities

Documentation & Examples

Related Works

History

Selected Publications