Ricerca & Pubblicazioni
Dalla teoria, alla pratica.
DLVSystem nasce dalla ricerca: il sistema DLV è tra le implementazioni di Answer Set Programming più note e citate al mondo. Ecco alcune delle pubblicazioni che ne costituiscono le fondamenta.
Le fondamenta
Radici accademiche, riconoscimento internazionale.
Il nucleo scientifico di DLVSystem affonda le radici nel lavoro di ricercatori dell'Università della Calabria e della TU Wien — tra cui Nicola Leone, Thomas Eiter e Georg Gottlob — sul ragionamento dichiarativo e la programmazione logica disgiuntiva. Una tradizione che continua a produrre risultati di frontiera, oggi trasferiti nell'industria.
Pubblicazioni selezionate
Alcuni lavori fondamentali.
ASP-Core-2 Input Language Format ↗
F. Calimeri, W. Faber, M. Gebser, G. Ianni, R. Kaminski, T. Krennwallner, N. Leone, M. Maratea, F. Ricca, T. Schaub
Theory and Practice of Logic Programming 20(2), pp. 294–309
The ASP System DLV: Advancements and Applications ↗
W. T. Adrian, M. Alviano, F. Calimeri, et al.
KI - Künstliche Intelligenz 32, pp. 177–179
The ASP System DLV2 ↗
M. Alviano, F. Calimeri, C. Dodaro, D. Fuscà, N. Leone, S. Perri, F. Ricca, P. Veltri, J. Zangari
LPNMR 2017, LNCS 10377, pp. 215–221
The DLV System for Knowledge Representation and Reasoning ↗
N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, F. Scarcello
ACM Transactions on Computational Logic 7(3), pp. 499–562
Il paper di riferimento del sistema DLV.
Disjunctive Datalog ↗
T. Eiter, G. Gottlob, H. Mannila
ACM Transactions on Database Systems 22(3), pp. 364–418
Uno dei fondamenti teorici del disjunctive logic programming.
L'elenco completo delle pubblicazioni del sistema DLV è disponibile sul portale DLV dell'Università della Calabria →