|
Size: 5822
Comment:
|
← Revision 98 as of 2018-01-16 11:46:00 ⇥
Size: 7497
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| #acl FrancescoCalimeri:read,write,revert SusannaCozza:read,write,revert All:read | #acl FrancescoCalimeri:read,write,revert,admin SusannaCozza:read,write,revert,admin All:read |
| Line 3: | Line 3: |
| [[Anchor(project)]] __'''DLV-EX: The Project'''__ |
''Important'' |
| Line 6: | Line 5: |
| 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. |
'''The DLV-EX project has migrated 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. |
| Line 9: | Line 7: |
| DLV-EX is based on the [http://www.dlvsystem.com DLV] system. | ##This page is 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.''' |
| Line 11: | Line 9: |
| [#project Top of Page] | If you want, you can still download the last versions of DLV-EX binaries available and some libraries, in the [[#download|download]] section, but please note that the DLV-EX project is no longer maintained, thus no new releases/updates are scheduled in the future. For new releases, other important events and full documentation regarding DLV-COMPLEX please refer to the [[http://www.mat.unical.it/dlv-complex|DLV-Complex]] page.''' |
| Line 13: | Line 11: |
| [[Anchor(team)]] __'''The Team'''__ |
|
| Line 16: | Line 12: |
| __''Core''__ | <<Anchor(TOC)>> <<TableOfContents>> ---- <<Anchor(project)>> = 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. |
| Line 18: | Line 19: |
| [mailto:calimeri@mat.unical.it Francesco Calimeri], [mailto:ianni@mat.unical.it Giovambattista Ianni], [mailto:cozza@mat.unical.it Susanna Cozza] | DLV-EX is based on the [[http://www.dlvsystem.com|DLV]] system. |
| Line 20: | Line 21: |
| __''Former team members''__ | If you designed a nice external predicate, tell [[mailto:dlv-ex@mat.unical.it|us]]. |
| Line 22: | Line 23: |
| [[#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 == |
|
| Line 24: | Line 34: |
| __''Prompters and helpers''__ | == Prompters and helpers == [[mailto:perri@mat.unical.it|Simona Perri]], [[http://www.wfaber.com|Wolfgang Faber]], [[http://www.pfeifer.com/gerald/|Gerald Pfeifer]], [[http://www.mat.unical.it/~leone/|Nicola Leone]] |
| Line 26: | Line 37: |
| [http://www.wfaber.com Wolfgang Faber], [http://www.pfeifer.com/gerald/ Gerald Pfeifer] | [[#TOC|Top of Page]] ---- |
| Line 28: | Line 40: |
| [#project Top of Page] | <<Anchor(download)>> = Download = <<Anchor(libraries)>> == Libraries == Some ready-made (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. * String Library, versions for: [[attachment:string_lib.so.tar.gz|linux]] - [[attachment:string_lib.zip|windows]] and [[attachment:string_lib.htm|related documentation]]. * Integers Library, versions for: [[attachment:math_N_v1.so.tar.gz|linux]] - [[attachment:math_N_v1.zip|windows]] and [[attachment:math_N_v1.htm|related documentation]]. * Reals Library, versions for: [[attachment:math_R_v1.so.tar.gz|linux]] - [[attachment:math_R_v1.zip|windows]] and [[attachment:math_R_v1.htm|related documentation]]. <<Anchor(utilities)>> == 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]]. <<Anchor(latestVersion)>> == Latest Version == '''This is an OLD version of the system, which is no longer maintained.''' * [[attachment:dl-ex.20080729.linux|Linux i386, 32bit]] (Latest version [[#history|July 28th, 2008]]). * [[attachment:dl-ex.20080729.win.exe|windows 32bit]] (Latest version [[#history|July 28th, 2008]]). Please have a look at the [[#history|notes]] below. You may also want to have a look at [[attachment:benchmarks.html|some benchmarks]]. [[#TOC|Top of Page]] |
| Line 30: | Line 62: |
| [[Anchor(download)]] __'''Download'''__ |
|
| Line 33: | Line 63: |
| 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]. | <<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.mat.unical.it/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. '''The DLV-EX project is actually moving to DLV-Complex'''. * [[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. |
| Line 35: | Line 71: |
| 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]. | [[#TOC|Top of Page]] ---- |
| Line 37: | Line 74: |
| 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. 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]. [#project 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]. [#project Top of Page] ---- [[Anchor(relatedWork)]] __'''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 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. * James Delgrande, Torsten Schaub and Hans Tompits have created an [http://www.cs.uni-potsdam.de/~torsten/plp/ external frontend for prioritized logic programs]. * Vladimir Sarsakov, Torsten Schaub, Hans Tompits and Stefan Woltran have created an [http://www.cs.uni-potsdam.de/~torsten/nlp/ external frontend for logic programs with nested expressions]. * [http://mail.udlap.mx/~kike/apol/ A-POL], a partial order programming extension for Answer Set Programming, by Mauricio Osorio Galindo and Enrique R. Corona D. [#project Top of Page] ---- [[Anchor(history)]] __'''History'''__ |
<<Anchor(history)>> = History = * July 29th, 2008 Release a full version for Windows. Bugfixes. This is supposed to be the last release. The project is moving to [[http://www.mat.unical.it/dlv-complex|DLV-Complex]]. * April 26th, 2006 Bugfixes and speedups. Support for VI-restricted programs implemented. |
| Line 86: | Line 83: |
| Line 89: | Line 85: |
| Line 92: | Line 87: |
| Line 96: | Line 90: |
| [#project Top of Page] | [[#TOC|Top of Page]] |
| Line 98: | Line 92: |
| [[Anchor(publications)]] __'''Selected Publications'''__ |
<<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]] |
| Line 101: | Line 96: |
| [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 99: |
| [#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 104: |
| __''[mailto:dlv-ex@mat.unical.it dlv-ex@mat.unical.it]''__ | __''[[mailto:dlv-ex@mat.unical.it|dlv-ex@mat.unical.it]]''__ |
Important
The DLV-EX project has migrated to 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. If you want, you can still download the last versions of DLV-EX binaries available and some libraries, in the download section, but please note that the DLV-EX project is no longer maintained, thus no new releases/updates are scheduled in the future. For new releases, other important events and full documentation regarding DLV-COMPLEX please refer to the DLV-Complex page.
Contents
DLV-EX: The Project
DLV-EX is an Answer Set Programming System extending 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 DLV system.
If you designed a nice external predicate, tell us.
The Team
Core
Francesco Calimeri, Giovambattista Ianni, Susanna Cozza
Former team members
Adriana Pietramala (student), Maria Carmela Santoro (student)
Prompters and helpers
Simona Perri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone
Download
Libraries
Some ready-made (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.
String Library, versions for: linux - windows and related documentation.
Integers Library, versions for: linux - windows and related documentation.
Reals Library, versions for: linux - windows and 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 here, and it is gathered with its related documentation.
Latest Version
This is an OLD version of the system, which is no longer maintained.
Linux i386, 32bit (Latest version July 28th, 2008).
windows 32bit (Latest version July 28th, 2008).
Please have a look at the notes below. You may also want to have a look at some benchmarks.
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 here.
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. The DLV-EX project is actually moving to DLV-Complex.
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.
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.
History
- July 29th, 2008
Release a full version for Windows. Bugfixes. This is supposed to be the last release. The project is moving to DLV-Complex.
- 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.
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. 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. 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. PDF