Anchor(TOC) TableOfContents


Anchor(project)

DLV-Complex: The Project

DLV-Complex is an Answer Set Programming System extending [http://www.dlvsystem.com DLV] by means of functions. It is a very powerful ASP system supporting (recursive) functions, sets, and lists, along with libraries for their manipulations.

DLV-Complex is based on the [http://www.dlvsystem.com DLV] system and on the [http://www.mat.unical.it/ianni/wiki/dlvex DLV-EX] framework.

[#TOC Top of Page]


Anchor(team)

The Team

[http://www.mat.unical.it/calimeri Francesco Calimeri], [mailto:cozza[AT]mat.unical.it Susanna Cozza], [http://www.gibbi.com Giovambattista Ianni], [http://www.mat.unical.it/~leone Nicola Leone]

[#TOC Top of Page]


Anchor(download)

Download

DLV-Complex 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]).

Anchor(latestVersion)

Latest Version

Binaries will be available here soon. Check this page out often for new releases.

[#TOC Top of Page]


Anchor(docs)

Documentation & Examples

We will provide soon provide an online manual and a online tutorial; they will be 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].

Check the official [http://www.mat.unical.it/ianni/wiki/dlvex web page] of DLV-EX out for docs and info.

[#TOC Top of Page]


Anchor(history)

History

Available soon.

...did not carry a real version identification.

[#TOC Top of Page]


Anchor(publications)

Selected Publications

Some selected publications will be listed here.

[#TOC Top of Page]


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