welcome: please sign in
location: Diff for "dlvex"
Differences between revisions 29 and 30
Revision 29 as of 2006-03-14 12:06:29
Size: 5692
Comment:
Revision 30 as of 2006-03-14 12:08:25
Size: 5822
Comment:
Deletions are marked like this. Additions are marked like this.
Line 14: Line 14:
'''The Team''' __'''The Team'''__
Line 16: Line 16:
__Core__ __''Core''__
Line 20: Line 20:
__Former team members__ __''Former team members''__
Line 24: Line 24:
__Prompters and helpers__ __''Prompters and helpers''__
Line 31: Line 31:
'''Download''' __'''Download'''__
Line 35: Line 35:
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 41: Line 41:
'''Libraries''' __'''Libraries'''__
Line 49: Line 49:
'''Utilities''' __'''Utilities'''__
Line 56: Line 56:
'''Documentation & Examples''' __'''Documentation & Examples'''__
Line 65: Line 65:
'''Related Work''' __'''Related Work'''__
Line 82: Line 82:
'''History''' __'''History'''__
Line 99: Line 99:
'''Selected Publications''' __'''Selected Publications'''__
Line 105: Line 105:
''[mailto:dlv-ex@mat.unical.it dlv-ex@mat.unical.it]'' __''[mailto:dlv-ex@mat.unical.it dlv-ex@mat.unical.it]''__


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.

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

[#project Top of Page]


Anchor(team) 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]

[#project 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].

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

[#project Top of Page]


Anchor(history) History

  • 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.

[#project Top of Page]


Anchor(publications) 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.

[#project Top of Page]


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

mwiki: dlvex (last edited 2018-01-16 11:46:00 by FrancescoCalimeri)