|
Size: 4668
Comment:
|
Size: 5721
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
'''The Project''' |
[[Anchor(TOC)]] [[TableOfContents]] ---- [[Anchor(project)]] = DLV-EX: The Project = |
| Line 9: | Line 12: |
| DLV-EX is based on the [http://www.dlvsystem.com DLV] system. | We remark that DLV-EX is based on the [http://www.dlvsystem.com DLV] system. |
| Line 11: | Line 14: |
| [#TOC Top of Page] | |
| Line 12: | Line 16: |
| [[Anchor(team)]] = The Team = |
|
| Line 13: | Line 19: |
| '''The Team''' | == Core == |
| Line 15: | Line 21: |
| __Core__ | [mailto:calimeri@mat.unical.it Francesco Calimeri], [mailto:ianni@mat.unical.it Giovambattista Ianni], [mailto:cozza@mat.unical.it Susanna Cozza] |
| Line 17: | Line 23: |
| Francesco Calimeri ([calimeri@mat.unical.it]), Giovambattista Ianni ([ianni@mat.unical.it]), Susanna Cozza ([cozza@mat.unical.it]) __Former team members__ |
== Former team members == |
| Line 23: | Line 27: |
| __Prompters and helpers__ | == Prompters and helpers == |
| Line 25: | Line 29: |
| [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 27: | Line 31: |
| [#TOC Top of Page] | |
| Line 28: | Line 33: |
| [[Anchor(download)]] = Download = ==(new version available) == |
|
| Line 29: | Line 37: |
| '''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]. |
| Line 31: | Line 39: |
| 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 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]. |
| Line 33: | Line 41: |
| Please always use the most current version of DLV-EX (cf. version history). | We offer a command-line version in binary form for |
| Line 35: | Line 43: |
| We offer a command-line version in binary form for 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. | * [attachment:dl-ex.20060426.linux.tar.gz i386-linux-elf-static] (Latest version April 26th, 2006). |
| Line 37: | Line 45: |
| 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 documentation. | (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 39: | Line 47: |
| '''Libraries''' | 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]. |
| Line 41: | Line 49: |
| 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. | == Libraries == |
| Line 43: | Line 51: |
| String Library (linux) and related documentation. Integers Library (linux) and related documentation. Reals Library (linux) and related documentation. |
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 47: | Line 53: |
| '''Utilities''' | * [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 57: |
| 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. | == Utilities == |
| Line 51: | Line 59: |
| ''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] |
|
| Line 52: | Line 63: |
| [[Anchor(docs)]] = Documentation & Examples = |
|
| Line 53: | Line 66: |
| '''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. |
| Line 55: | Line 68: |
| We provide an online manual and an online tutorial; they are updated accordingly to the evolution of the system, so check them. | For a full documentation on DLV please check the official [http://www.dlvsystem.com web page]. |
| Line 57: | Line 70: |
| For a full documentation on DLV please check the official web page. | [#TOC Top of Page] ---- [[Anchor(relatedWork)]] = Related Works = |
| Line 59: | Line 75: |
| 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] |
|
| Line 60: | Line 85: |
| [[Anchor(history)]] = History = * April 26th, 2006 Bugfixes and speedups. Support for VI-restricted programs implemented. |
|
| Line 61: | Line 90: |
| '''Related Work''' 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. * DLV is the system into which DLV-EX is implemented. * 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. * James Delgrande, Torsten Schaub and Hans Tompits have created an external frontend for prioritized logic programs. * 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. ---- '''History''' * September 28th, 2005 |
* September 28th, 2005 |
| Line 82: | Line 93: |
| * March 28th, 2005 | * March 28th, 2005 |
| Line 85: | Line 96: |
| * October 17th, 2004 | * October 17th, 2004 |
| Line 88: | Line 99: |
| * Previous versions | * Previous versions |
| Line 91: | Line 102: |
| [#TOC Top of Page] | |
| Line 92: | Line 104: |
'''Selected Publications''' |
[[Anchor(publications)]] = Selected Publications = |
| Line 96: | Line 108: |
[#TOC Top of Page] ---- __''[mailto:dlv-ex@mat.unical.it dlv-ex@mat.unical.it]''__ |
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.
We remark that DLV-EX is based on the [http://www.dlvsystem.com DLV] system.
[#TOC Top of Page]
The Team
Core
[mailto:calimeri@mat.unical.it Francesco Calimeri], [mailto:ianni@mat.unical.it 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 = ==(new version available) ==
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].
We offer a command-line version in binary form for
- [attachment:dl-ex.20060426.linux.tar.gz i386-linux-elf-static] (Latest version 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]
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]
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]
History
- April 26th, 2006
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]
Selected Publications
[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.
[#TOC Top of Page]