#acl FrancescoCalimeri:read,write,revert SusannaCozza:read,write,revert All:read

'''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, Giovambattista Ianni, Susanna Cozza    

__Former team members__

Adriana Pietramala (student), Maria Carmela Santoro (student)