|
Size: 16
Comment:
|
Size: 2197
Comment: First version. Check it out.
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| Prova modifica | #acl FrancescoCalimeri:read,write,revert SusannaCozza:read,write,revert All:read ---- [[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 by 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 = == Core == [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 = * June 2008 Available soon. * Previous versions ...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]''__ |
DLV-Complex: The Project
DLV-Complex is an Answer Set Programming System extending [http://www.dlvsystem.com DLV] by means of by 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]
The Team
Core
[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]
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]).
Latest Version
Binaries will be available here soon. Check this page out often for new releases.
[#TOC Top of Page]
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]
History
- June 2008
Available soon.
- Previous versions
...did not carry a real version identification.
[#TOC Top of Page]
Selected Publications
Some selected publications will be listed here.
[#TOC Top of Page]