DLV
DLV è un sistema di database deduttivo, basato sulla programmazione logica disgiuntiva, che offre front-end a diversi formalismi di ragionamento avanzati. È stato ideato da un gruppo di ricerca italo-austriaco (dell’Università della Calabria e dell’Università della Tecnologia di Vienna). Il principale punto di forza del sistema è la sua ampia applicabilità, dalle applicazioni di database deduttivi “orientati al database”, ai difficili problemi di ricerca e ottimizzazione combinatoria. DLV è un sistema di intelligenza artificiale “per uso generale”.
DLV è gratuito per uso accademico e non commerciale, nonché per l’uso da parte di organizzazioni senza scopo di lucro.
DLV può essere scaricato cliccando sul bottone di download (in lingua inglese):
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3): 499-562 (2006)