|
Size: 887
Comment:
|
Size: 1121
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 2: | Line 2: |
| ---- '''The Project''' |
|
| Line 10: | Line 13: |
| The Team | '''The Team''' |
| Line 12: | Line 15: |
| Core Francesco Calimeri, Giovambattista Ianni, Susanna Cozza |
__Core__ |
| Line 15: | Line 17: |
| Former team members | Francesco Calimeri ([calimeri@mat.unical.it]), Giovambattista Ianni ([ianni@mat.unical.it]), Susanna Cozza ([cozza@mat.unical.it]) __Former team members__ |
| Line 17: | Line 22: |
__Prompters and helpers__ [http://www.wfaber.com Wolfgang Faber], [http://www.pfeifer.com/gerald/ Gerald Pfeifer] |
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.
The Team
Core
Francesco Calimeri ([calimeri@mat.unical.it]), Giovambattista Ianni ([ianni@mat.unical.it]), Susanna Cozza ([cozza@mat.unical.it])
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]