Curriculum vitae
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 1 / 24
INFORMAZIONI PERSONALI
Nicola Leone
Via della Resistenza, 11P, 87036 Rende (Italia)
leone@unical.it
https://www.mat.unical.it/~leone/
Sesso Maschile | Data di nascita 28/02/1963 | Nazionali Italiana
ESPERIENZA
PROFESSIONALE
ISTRUZIONE E FORMAZIONE
POSIZIONE RICOPERTA
Professore Ordinario di Informatica (INF/01)
presso il Dipartimento di Matematica e Informatica
dell'Università della Calabria
01/10/2000alla data attuale
Professore Ordinario del settore INF/01 Informatica
Università della Calabria, Rende (Italia)
01/10/199530/09/2000
Professore di "Datenbanksysteme - Informatik" (Sistemi di Basi Dati - Informatica)
Vienna University of Technology (TU Wien), Vienna (Austria)
17/10/199430/09/1995
Ricercatore presso il CNR
Consiglio Nazionale delle Ricerche - Istituto di Sistemistica e Informatica (ISI-CNR), Rende (Italia)
01/01/199330/09/1995
Professore a Contratto di Informatica e Borsista di Ricerca
Università della Calabria, Rende (Italia) e Consiglio Nazionale delle Ricerche (CNR)
01/01/198831/12/1992
Ricercatore presso il CRAI
Consorzio Ricerca Applicazioni Informatica (CRAI), Rende (Italia)
30/06/1986-31/12/1987
Corso di alta formazione per specialisti informatici”, finanziato dal
Fondo Sociale Europeo - FSE (con borsa di studio)
Consorzio Ricerca Applicazioni Informatica (CRAI), Rende (Italia)
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 2 / 24
COMPETENZE PERSONALI
1
Laurea conseguita nel 1991, a due esami dalla laurea sospensione degli studi nel 1986 per seguire il corso di formazione FSE al CRAI.
01/11/198130/06/1986
Laurea Magistrale in Matematica
1
Università della Calabria, Rende (Italia)
Lingua madre
Italiano
Altre lingue
COMPRENSIONE
PRODUZIONE SCRITTA
Ascolto
Lettura
Interazione
Produzione orale
inglese
C2
C2
C2
C2
C2
Livelli: A1 e A2: Utente base - B1 e B2: Utente autonomo - C1 e C2: Utente avanzato
Quadro Comune Europeo di Riferimento delle Lingue
Competenze comunicative
Relazioni su invito a Conferenze scientifiche - Invited Speaker - (selezione)
10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and
Knowledge Management (IC3K-2018), Seville, Spain, 18-20 September, 2018. Relazione Invitata
dal titolo: "The AI System DLV: Ontologies, Reasoning, and More".
Workshop on Logic and Practice of Programming (LPoP 2018), Oxford, UK, July 18, 2018.
Relazione Invitata dal titolo: "On the development of Industrial Applications with ASP".
11th Reasoning Web Summer School (RW-15), Berlin, Germany from July 31 - August 4, 2015.
Relazione Invitata dal titolo: "Answer Set Programming: A tour from the basics to advanced
development tools and industrial applications".
7th International Conference on Web Reasoning and Rule Systems (RR-13), Mannheim,
Germany, July 27-29, 2013. Relazione Invitata dal titolo: "Answer Set Programming: Language,
Applications and Development Tools".
14th International Workshop on Non-Monotonic Reasoning (NMR 2012), Rome, Italy, June 8-
10, 2012. Relazione Invitata dal titolo: Toward the industrial application of NMR Systems".
3th International Workshop on Logic and Search (LaSh 2010), Edinburgh, U.K., July 15, 2010.
Relazione Invitata dal titolo: The intelligent grounder of DLV".
24th International Conference on Logic Programming (ICLP 2008), December 9-13 2008,
Udine, Italy. Relazione Invitata dal titolo: The DLV Project: A Tour from Theory and Research to
Applications and Market".
First International Conference on Web Reasoning and Rule Systems (RR'07), Innsbruck
(Austria), 7-8 June 2007. Relazione Invitata dal titolo: OntoDLV: an Advanced DLP-Based System
or Ontology Representation and Reasoning".
9th International Conference on Logic Programming and Nonmonotonic Reasoning -
(LPNMR'07), Tempe, AZ., US, May 14-17,2007. Relazione Invitata dal titolo: Logic Programming
and NonMonotonic Reasoning from Theory to Systems and Applications"
13th International Conference on Logic for Programming, Articial Intelligence, and
Reasoning (LPAR 2006), Phnom Penh, Cambogia, 13-17 Novembre 2006. Relazione Invitata dal
titolo: Disjunctive Logic Programming for Knowledge Representation and Reasoning".
Second International Summer School in Computational Logic (ISCL 2002), Acquafredda di
Maratea (Basilicata, Italy) August 25-30, 2002. Corso dal titolo: Disjunctive Logic Programming: a
Declarative Language for Knowledge Representation and Reasoning.
Settimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati (SEBD'99), Villa Olmo Como,
23-25 Giugno 1999 (tutorialist). Tutorial dal titolo: Complexity and Expressive Power of Database
Languages".
Workshop on Logic Approach to Articial Intelligence, Washington, D.C., 14-16 Giugno 1999.
Curriculum vitae
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 3 / 24
.
Relazione Invitata dal titolo: Declarative Problem-Solving Using the DLV System
Divulgazione della Scienza
Lectio Magistralis inaugurale dell'anno accademico 2016/17 dell'Università della Calabria su
"Intelligenza Artificiale tra Gödel e Turing" alla presenza del Presidente della Repubblica Italiana.
Rende, Italia, 6 Febbraio 2017.
Lectio Magistralis inaugurale dell'anno accademico 2018/19 dell'Università Popolare
Mediterranea, "Intelligenza Artificiale: Opportuni e Insidie". Crotone, Italia, 15 Novembre 2018.
Lectio Magistralis conclusiva del Forum sul Turismo in Calabria, "L'Intelligenza Artificiale al
servizio del Turismo". Castello Ducale di Corigliano-Rossano, Italia, 1 Dicembre 2018.
Lectio Magistralis dell'evento pubblico conclusivo della Conferenza Europea di Logica in
Intelligenza Artificiale, "Intelligenza Artificiale: etica, opportunità, insidie”, Universi della Calabria,
Teatro Auditorium, 11 Maggio 2019.
Competenze organizzative e
gestionali
Incarichi Direttivi
Novembre 2012-Ottobre 2018:
Direttore del Dipartimento di Matematica e Informatica dell'Universi della Calabria (rieletto nel
2015).
Novembre 2008-Ottobre 2012
Ottobre 2009-Dicembre 2018:
Direttore del Dipartimento di Matematica dell'Universi della Calabria.
Direttore dell'Unità di Ricerca CINI (Consorzio Interuniversitario Nazionale per l'Informatica
dell'Università della Calabria (rieletto nel 2012 e nel 2015).
Ottobre 2014-Maggio 2018:
Direttore dell'Unità di Ricerca dell'INDAM (Istituto Nazionale di Alta Matematica F. Severi)
dell'Università della Calabria.
Luglio 2008-Dicembre 2018:
Coordinatore del Dottorato di Ricerca in Matematica e Informatica dell'Università della Calabria
(rinnovato annualmente).
Da Gennaio 2003:
Presidente del Comitato Direttivo della Conferenza Internazionale sulla Programmazione Logica
e Ragionamento non monotono (LPNMR), da Gennaio 2003 (rieletto nel 2007, 2011, 2015).
Da Gennaio 2005:
Membro del Comitato Direttivo della Conferenza Europea sulla Logica in Intelligenza Artificiale
(JELIA), da Gennaio 2005.
Gennaio 2012-Novembre 2013
Delegato del Rettore alla Promozione della Quali della Didattica.
Novembre 2008-Ottobre 2012:
Novembre 2001-Ottobre 2008:
Direttore del Dipartimento di Matematica dell'Universi della Calabria.
Coordinatore del Consiglio di Corso di Studi dell'Universi della Calabria.
Gennaio 2009-Ottobre 2013:
Direttore della Scuola di Dottorato in Ingegneria dei Sistemi, Informatica, Matematica e Ricerca
Operativa dell'Università della Calabria.
Gennaio 2002-Dicembre 2005:
Membro del Comitato Direttivo del WASP - Working Group on Answer Set Programming,
Finanziato dalla Commissione Europea nell'ambito del V programma quadro (2002-2005).
Attività di servizio alla comunità
scientifica
Editor di riviste scientifiche
Area Editor per Knowledge Representation and Nonmonotonic Reasoning della rivista Journal of
the Theory and Practice of Logic Programming, Cambridge University Press.
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 4 / 24
Editor di Intelligenza Artificiale - The International Journal of the AI*IA, IOS Press.
Guest Editor (Curatore) del numero Speciale su Rappresentazione della Conoscenza e
Programmazione Logica del Journal of Articial Intelligence (AIJ), Elsevier, Volume 138, N. 1 e 2,
giugno 2002.
Guest Editor (Curatore) dell'edizione speciale del Theory and Practice of Logic Programming
(TPLP) per la 25a Conferenza Italiana di Logica Computazionale, 2012.
Revisione e supervisione scientifica
Membro di numerosi (oltre 100) comitati di programma di conferenze e workshop nei campi
dell'Intelligenza Artificiale e delle Basi di dati, tra cui IJCAI, KR, AAAI, ECAI, ICLP, LPNMR, PODS,
ICDT. Per diversi di questi meeting, il servizio e stato reso per un periodo prolungato.
Recenti comitati (selezione): ICLP 2019, JELIA 2019, ASPOCP 2019, Datalog2.0 2019, AI*IA
2019, PADL 2019, PODS 2018, ICLP 2018, FOIKS 2018, AI*IA 2017, KR 2016, JELIA 2016,
FOIKS 2016, PAIS 2016, IJCAI 2015, GCAI 2015, AAAI 2015, AAAI 2014, JELIA 2014, KR
2014, PAIS 2014, LPNMR 2013, JELIA 2012, KR 2012, NMR 2012, ICLP 2012, ECAI 2012,
2011, ICLP 2011, LPNMR 2011, INAP 2011, KR 2010, JELIA 2010, IJCAI 2009, ICLP 2009,
LPNMR 2009, ISWC 2009, ESWC 2009.
Attività di revisione per numerosi convegni e riviste, tra cui molte riviste top", del calibro di ACM
Transactions, Artificial Intelligence (AIJ), Journal of Artificial Intelligence Research (Jair) e IEEE
Transactions.
Revisore di progetti scientifici nazionali e di molti internazionali, in vari paesi, compresi i programmi
UE.
Relatore di più di 20 tesi di dottorato e più di 100 tesi di laurea magistrale su argomenti di
Intelligenza Artificiale. (Molti ex studenti di Nicola Leone sono ora professori universitàri e ricercatori
di Intelligenza Artificiale di ottima reputazione. Ad esempio, solo per citarne alcuni, Francesco
Scarcello è professore ordinario presso l'Università della Calabria, Wolfgang Faber è professore
ordinario presso l'Universi di Huddersfield, Christoph Koch è professore ordinario al Politecnico
di Losanna, Axel Polleres, già in forza al DERI, è professore ordinario presso l'Universi di Vienna.
Mario Alviano, Francesco Calimeri, Giovanni Grasso, Marco Manna, Simona Perri e Francesco
Ricca sono professori associati presso l'Università della Calabria.
RICERCA E TRASFERIMENTO
TECNOLOGICO
Ricerca
Principali Aree di Ricerca
Le attivi di ricerca si dispiegano nell'area dell’ Informatica con particolare riferimento
allapplicazione dell’Intelligenza Artificiale in diversi domini, nello specifico:
Intelligenza Articiale basata sulla Logica
Sistemi di basi di dati e di conoscenza
Answer Set Programming/Programmazione Logica Disgiuntiva
Applicazioni dell'Intelligenza Artificiale per Turismo, Beni Culturali, Medicina e Ingegneria
Problemi di Soddisfacimento di Vincoli (CSP)
Rappresentazione della conoscenza e del Ragionamento
Ragionamento non monotono
Algoritmi e complessità computazionale nelle basi di dati e in intelligenza articiale
Sistema di Intelligenza Artificiale DLV
2
Ha ideato il sistema di intelligenza artificiale DLV utilizzato in numerose Universi e Centri di
Ricerca internazionali. La tecnologia di DLV, riconosciuta come allo stato dell’arte nel campo dei
sistemi di Answer Set Programming, è stata sperimentata anche al CERN di Ginevra, nonc in
numerose applicazioni industriali.
Curriculum vitae
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 5 / 24
Trasferimento tecnologico
3
Spin-off accademici
4
Ha partecipato a numerosi progetti di ricerca applicata e trasferimento tecnologico in
collaborazione con industrie nazionali e internazionali (vedi sezione successiva), che hanno
consentito la diffusione e il trasferimento dei risultati di ricerca nel territorio.
5
Ha fondato, con un gruppo di soci internazionali, lo spin-off accademico DLVSystem s.r.l.
(Vincitore del concorso Start-Cup Calabria 2010) che opera nel campo dell'Intelligenza Artificiale.
Finanziamenti
Progetti di Ricerca nazionali e internazionali
PRINCIPAL INVESTIGATOR (Responsabile scientifico dell'intero progetto)
PRIN 2019 (Coordinatore Nazionale). finanziato dal MIUR - Ministero dell'Istruzione, dell'Universi
e della Ricerca, "Declarative Reasoning over Streams". Costo: 716.538 Euro. Finanziamento:
299.952 Euro.
PON 2014/2020 Ministero dello Sviluppo Economico. Progetto "Smarter Solutions in the Big Data
World - S2BDW" (CUP: B28I17000250008). Costo: 2.628.098 Euro. Finanziamento: 1.612.687
Euro.
POR CALABRIA 2014/2020. Progetto "DLV Large Scale: un sistema per applicazioni di Intelligenza
Artificiale in architetture data-intensive e mobile" (CUP: J28C17000220006). Costo: 728.622 Euro;
Finanziamento: 498.000 Euro.
Quinto Programma Quadro UE, Future Emerging Technologies (FET) (Coordinatore Europeo) -
Progetto "INFOMIX: Boosting Information Integration" (IST-2001-33570 INFOMIX) 2001-2005.
Costo: 1.630.140 Euro. Finanziamento: 815.070 Euro
INTERLINK 2004-2006 - Progetto di internazionalizzazione Italia-Austria 2007, finanziato dal MIUR
(Ministero dell'Istruzione, dell'Università e della Ricerca), Progetto "Sistemi Basati Sulla Logica per
la Rappresentazione di Conoscenza: Estensioni e Tecniche di Ottimizzazione" (N. II04CG8AGG).
Costo: 91.000 Euro. Finanziamento: 82.000 Euro
PRIN 2006 (Coordinatore Nazionale), finanziato dal MIUR - Ministero dell'Istruzione, dell'Universi
e della Ricerca, "Potenziamento e Applicazioni della Programmazione Logica Disgiuntiva". Costo:
164.700 Euro. Finanziamento: 84.439 Euro
FWF P11580-MAT. Progetto triennale 1996-1999 finanziato da FWF (Austrian Science Fund), che
ha condotto allo sviluppo del Sistema di Intelligenza Artificiale DLV ancora oggi utilizzato in
numerose universi e centri di ricerca internazionali. Finanziamento (100% del costo): 2.416.000
OS (ante euro, valuta austriaca)
POR CALABRIA 2007-2013: PIA 2010. Progetto Knowrex: Un sistema per lestrazione e la
gestione della conoscenza" (Prot. Regione Cal. 4331). Costo: 621.618 Euro. Finanziamento:
467.714 Euro.
POR CALABRIA 2007-2013: PIA 2010. Progetto iTravel PLUS “intelligent Touristic Advisor PLUS
(Prot. Regione Cal.n.4535). Costo: 524.600 Euro. Finanziamento: 383.500 Euro.
POR CALABRIA 2007-2013 PIA 2008. Progetto “Estensioni e verticalizzazioni del Sistema di
Intelligenza Artificiale DLV (Prog. Num. 1220000330). Costo: 439.233 Euro. Finanziamento:
336.182 Euro.
POR CALABRIA 2007-2013 PIA 2008. Progetto iTravel “intelligent Touristic Advisor” (Prog. Num.
1220000185). Costo: Euro 434.400. Euro. Finanziamento: 327.120 Euro.
PON-01 (Piano Operativo Nazionale) 2011: Progetto di Formazione “Framer" (PON01_02477/F –
CUP: B28F11000540005) con Siemens. Costo e Finanziamento 415.529 Euro.
PON-03 (Piano Operativo Nazionale) 2013: Progetto di Formazione "BA2Know Training"
(PON03PE_00001_1_F - CUP: B79D14016920001) con Consorzio pubblico-privato SI-LAB
Calabria. Costo e Finanziamento: 450.000 Euro.
RESPONSABILE UNITA` DI RICERCA (Selezione):
Agenda digitale D.M. 15/10/2014 Ministero dello Sviluppo Economico (MISE). Progetto "PIU'
CULTURA - Paradigmi Innovativi per l’Utilizzo della Cultura" (Progetto n. F/020016/01-02/X27).
Costo e Finanziamento unita`: 223.700 Euro.
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 6 / 24
PON 2014/2020 Ministero dello Sviluppo Economico (MISE). Progetto “ALCMEONE- Modelli
innovativi di Integrated Care per una piattaforma e-Health. Costo unita`: 131.250 Euro.
Finanziamento: 78.750 Euro.
PON-03 (Piano Operativo Nazionale) 2013. Progetto di Ricerca "Business Analytics to Know -
BA2KNOW” (PON03PE_00001_1 - CUP : B72F14000170003) con Consorzio pubblico-privato SI-
LAB Calabria. Costo unita`: 474.999 Euro. Finanziamento: 354.999 Euro.
POR Calabria 2007-2013, Agenda Strategica Poli di Innovazione. Progetto "THT Talent Hunter
Technology (CUP: J84E07000540005). Costo unità: 183.594 Euro. Finanziamento: 138.326
Euro.
Quinto Programma Quadro UE. Progetto "ICONS: Intelligent Content Management System" (IST-
2001-32429 ICONS).
WASP: Gruppo di lavoro sulla Answer Set Programming (IST-2001-37004 WASP), 2002-2005.
PON-01 (Piano Operativo Nazionale) 2011: Progetto di Ricerca “Frame" (PON01_02477 - CUP:
B21H11000610005) con Siemens e Progetto di Ricerca “TETRIS" (PON 01_00451 - CUP:
B21C11000210005) con ICT-SUD.
POR CALABRIA 2000-2006 Ricerca e Sviluppo Tecnologico nelle imprese Regionali”. Progetto
Ellade. ELectronic Live ADaptive Learning.
Curriculum vitae
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 7 / 24
PREMI E RICONOSCIMENTI
Premi scientifici
Vincitore del Test-of-Time Award per il 2018 (Oxford, UK, Luglio 2018), alla 34-esima
edizione della International Conference on Logic Programming (ICLP) la conferenza
mondiale di Programmazione Logica per le ricerche presentate nell’articolo intitolato
"Computable Functions in ASP - Theory and Implementation", pubblicato con Francesco
Calimeri, Susanna Cozza e Giovambattista Ianni. Questo premio viene assegnato ogni anno
per l’articolo, tra quelli pubblicati negli atti della conferenza ICLP dieci anni prima, che ha
avuto il maggiore impatto sulla ricerca e applicazione della Programmazione Logica nel corso
del decennio.
Vincitore del Best Student Paper Award (Melbourne, Australia, Agosto 2017) alla 33-
esima edizione della International Conference of Logic Programming (ICLP) - la
conferenza mondiale di Programmazione Logica - per le ricerche presentate nell'articolo
intitolato "Finite model reasoning over existential rules", svolte con Giovanni Amendola e
Marco Manna.
Vincitore del premio Gems of PODS (San Francisco, USA, June 26, 2016), per la
ricerca su Hypertree Decompositions, svolta con Georg Gottlob, Gianluigi Greco e
Francesco Scarcello. Il premio viene attribuito da un comitato scientifico internazionale
alle ricerche ritenute fondamentali per l'evoluzione del settore delle basi di dati e che
hanno avuto il maggior impatto sulla comunita` scientifica mondiale. Il comitato di
valutazione ha premiato la ricerca con la seguente motivazione: ``your work on
hypertree decomposition, has been very influential in query evaluation, query
containment and, more recently, in the context of parallel and distributed algorithms for
query evaluation. It is a gem and has been influential to the database community at
large.''
Vincitore del Best Paper Award (Cork, Irlanda, Settembre 2015) alla International
Conference on Logic Programming (ICLP) la conferenza mondiale sulla Programmazione
Logica per le ricerche presentate nellarticolo intitolato "Complexity and Compilation of GZ-
Aggregates in Answer Set Programming", svolte con Mario Alviano.
Vincitore dellACM-PODS Alberto O. Mendelzon Test-of-Time Award per il 2009
(Providence, New York, USA), con Georg Gottlob e Francesco Scarcello. Il PODS (ACM
Symposium on Principles of Database Systems) è la conferenza pi importante al mondo
nel settore delle Basi di Dati e della Database Theory in particolare. Questo premio viene
assegnato ogni anno per l’articolo, tra quelli pubblicati negli atti della conferenza PODS dieci
anni prima, che ha avuto il maggiore impatto in termini di ricerca, metodologia, o applicazione
nel corso del decennio.
Nominato EurAI Fellow ad Agosto 2012 (Montpellier, Francia). Questo riconoscimento
viene conferito con cadenza biennale dal Comitato di Coordinamento Europeo per
lIntelligenza Artificiale (ECCAI) agli scienziati che hanno fornito contributi particolarmente
significativi e prolungati al campo dell’Intelligenza Artificiale in Europa. I contributi valutabili
variano da progressi pionieristici nella teoria dell’Intelligenza Artificiale (AI), a risultati
straordinari nella tecnologia e nelle applicazioni dell’AI. La nomina a "EurAI Fellow"
(precedentemente chiamato “ECCAI Fellow”) viene conferita a non più del 3% dei migliori
scienziati europei, e costituisce il p importante riconoscimento nel settore dell’Intelligenza
Artificiale in Europa.
Onorificenze Civiche
Vincitore del Premio Citta` del Sole per la Ricerca Scientifica per il 2018.
Vincitore del Premio Cedro della Riviera per la Ricerca Scientifica per il 2017.
Vincitore del Premio Pericle D’Oro per la Ricerca Scientifica per il 2016.
Vincitore del Premio Internazionale "La Calabria nel mondo" per il 2013.
Vincitore del premio Galarte Scienza 2011 - patrocinato dal Presidente della Repubblica
Italiana assegnato ai migliori scienziati calabresi per il 2011.
Vincitore di una Onorificenza Civica, nel 2011 a Diamante, per l'eccellenza delle attività di
ricerca scientica.
Incluso nella lista dei migliori scienziati italiani della Via Academy (www.via-academy.org), che
comprende gli scienziati italiani p citati di tutte le discipline.
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 8 / 24
Presidenza di Comitati di Scientifici (Program/General Chair):
AI*IA 2019 - 18th International Conference of the Italian Association for Artificial Intelligence,
Cosenza, Italy, November 20-22, 2019 (General Chair).
JELIA 2019 - 16th European Conference on Logics in Artificial Intelligence, Rende, Italy, May,
2019 (General Chair).
Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia
and Industry, June 3-5, 2019, Philadelphia, PA (USA) (General Chair).
PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages,
Los Angeles, California, United States, January 8-13 2018.
LBFLR 2017 - International Workshop on Logic-Based Formalisms for Legal Reasoning,
Rende, Italy, May 18-19, 2017.
CILC'10 - 25mo Convegno Italiano di Logica Computazionale, Cosenza, Italia, Luglio 2010.
LPNMR'05 - 8th International Conference on Logic Programming and NonMonotonic
Reasoning (LPNMR), Diamante, Italy, September 5-8 2005.
INFOMIX Workshop on Data Integration, Calabria, Italy, September 2005.
APPIA-GULP-PRODE'03 - International Joint Conference on Declarative Programming,
Reggio Calabria, Italy, September 2003.
JELIA'02 - 8th European Conference on Logics in Artificial Intelligence, Rende, Italy,
September 23-26, 2002.
LPNMR'99 - 5th International Conference on Logic Programming and NonMonotonic
Reasoning, El Paso, Texas, USA, December 2-4 1999.
INDICATORI BIBLIOMETRICI
Dati Bibliometrici
Oltre 270 articoli; curatore (editor) di 6 libri/edizioni speciali; 11 capitoli di libro; 81 Articoli su rivista; più
di 170 articoli a conferenze/workshop (p di 140 a conferenze internazionali). Molti degli articoli su
rivista o a conferenza nei forum piu importanti (tra cui Artificial Intelligence, JACM, JAIR, JCSS, ACM
TODS, ACM TOCL, IEEE TKDE, TCS, TPLP, ...) o alle conferenze principali (IJCAI, AAAI, FOCS, KR,
ECAI, LPNMR, ICLP, PODS, ICDT, ...).
Articoli presenti in DBLP: 250
H-Index su Google Scholar: 54
Citazioni su Google Scholar: 10.400
Articoli presenti su Scopus: 205
H-Index su Scopus: 38
Citazioni su Scopus: 5.000
Valutazioni Ministeriali della Ricerca
VQR 2011-2014: 6 prodotti con valutazione "Eccellente", di cui 2 presentati direttamente e
altri 4 presentati dai coautori.
VQR 2004-2010: 11 prodotti con valutazione "Eccellente", di cui 3 presentati direttamente e
altri 8 presentati dai coautori.
VTR 2001-2003: 4 prodotti con valutazione "Eccellente" (CIVR).
Curriculum vitae
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 9 / 24
2
Best Student Paper Award ICLP 2017, Melbourn, Australia, August 2017.
3
Best Paper Award ICLP 2015, Cork, Ireland, August 2015.
PUBBLICAZIONI SCIENTIFICHE
Riviste Scientifiche
1 N. Leone, M. Manna, G. Terracina, P. Veltri. Fast Query Answering over Existential
Rules, ACM Transactions on Computational Logic, ACM Press, Volume 20, Issue 2,
April 2019.
2 Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine
Dodaro, Wolfgang Faber, Davide Fus, Nicola Leone, Marco Manna, Simona
Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari: The ASP System DLV:
Advancements and Applications. KI 32(2-3): 177-179 (2018).
3 G. Amendola, N. Leone, M. Manna, Finite Model Reasoning over Existential Rules.
Theory and Practice of Logic Programming, 2017, Cambridge university press, Vol. 17,
issue 5-6, September 2017. pp. 726-743.
2
4 G. Amendola, T. Eiter, N. Leone, J. Moura. Semi-Equilibrium Models for Paracoherent
Answer Set Programs. Artificial Intelligence, Elsevier, volume 234, pp. 219271, 2016.
5 C. Dodaro, P. Gasteiger, N. Leone, B. Musitsch, F. Ricca and K. Shchekotykhin.
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial
Problems. Theory and Practice of Logic Programming, 2016, Cambridge university
press, Vol. 16, issue 5-6, pp. 653-669.
6 E. Erdem, M. Gelfond, N. Leone. Applications of Answer Set Programming. AI
Magazine, 2016, AAAI Press, volume 37, issue 3, pp. 53-68.
7 B. Kaufmann, N. Leone, S. Perri, T. Schaub. Grounding and Solving in Answer Set
Programming. AI Magazine, 2016, AAAI Press, volume 37, issue 3, pp. 25-32.
8 M. Alviano, N. Leone. Complexity and compilation of gz-aggregates in answer set
programming. Theory and Practice of Logic Programming, 2015, Cambridge university
press, volume 15, issue 4-5, pp. 574-587, 2015.
3
9 M. Alviano, W. Faber, N. Leone, M. Manna. Disjunctive Datalog with Existential
Quantifiers: Semantics, Decidability, and Complexity Issues. Theory and Practice of
Logic Programming, Cambridge University Press, volume 12, issue 4-5, pp. 701718,
2012.
10 M. Alviano, G. Greco, W.Faber, N. Leone, Magic Sets for disjunctive Datalog programs.
Artificial Intelligence, Elsevier, Volumes 187-188, August 2012, Pages 156-192.
11 Ricca F. , Grasso G. , Alviano M. , Manna M. , Lio V. , Iiritano S. , Leone N.. Team-
building with Answer Set Programming in the Gioia-Tauro Seaport. Journal of the
Theory and Practice of Logic Programming, Cambridge University Press, volume 12,
issue 03, pp. 361-381, 2012.
12 Francesco Calimeri, Susanna Cozza, Giovambattista Ianni and Nicola Leone. Finitely
Recursive Programs: Decidability and Bottom-up Computation. A.I. Communication
The European Journal on Artificial Intelligence, IOS Press, Vol. 24 (2011), pp. 311334.
13 M. Alviano, F. Calimeri, W. Faber, N. Leone, S. Perri. Unfounded Sets and Well-
Founded Semantics of Answer Set Programs with Aggregates. Journal of Artificial
Intelligence Research, Elsevier, Vol. 42, November 2011, pp. 487527.
14 M. Manna, M. Ruffolo, E.Oro, M. Alviano, and N. Leone. The HiLeX System for
Semantic Information Extraction. Transactions on Large-Scale Data- And Knowledge
Centered-Systems. Springer-Verlag, Vol. 7100 Springer, Heidelberg (2012), pp. 91125.
15 W.Faber, G. Pfeifer, N. Leone, Semantics and Complexity of Recursive Aggregates in
Answer Set Programming. Artificial Intelligence, Elsevier, Vol. 175, 2011, pp. 278-298.
DOI: http://dx.doi.org/10.1016/j.artint.2010.04.002
16 Manna M., Scarcello F., Leone N., On the Complexity of Regular-Grammars with
Integer Attributes. Journal of Computer and System Sciences, Elsevier, 77 (2011)
393421. DOI: http://dx.doi.org/10.1016/j.jcss.2010.05.006
17 W. Faber, N. Leone, M. Maratea, and F. Ricca. Look-back Techniques for ASP
Programs with Aggregates. Fundamenta Informaticae, IOS Press, Fundamenta
Informaticae 107 (2011), pp. 379 413.
18 S. Greco, N. Leone, L. Palopoli, P. Rullo, D.Saccà. A Long Tour from Theory to Practice.
Intelligenza Artificiale IOS Press, Vol. 5 (2011), pp. 133138.
19 F. Ricca, M. Alviano, A. Dimasi, G. Grasso, S.M. Ielpa, S. Iiritano, M. Manna, N. Leone.
A Logic-Based System for e-Tourism, Fundamenta Informaticae, IOS Press, 105
(2010), pp. 3555.
20 Mario Alviano, Wolfgang Faber, Nicola Leone, Disjunctive ASP with Functions:
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 10 / 24
Decidable Queries and Effective Computation. Journal of the Theory and Practice of
Logic Programming, Cambridge University Press, volume 10, issue 4-6, pp. 497-512,
July 2010.
21 Annamaria Bria, Wolfgang Faber and Nicola Leone. Normal Form Nested Programs.
Fundamenta Informaticae, IOS Press, Vol. 96, N. 3, 2009, pp. 271295.
22 F. Ricca, L. Gallucci, R. Schindlauer, T. Dell’Armi, G. Grasso, N. Leone. OntoDLV: an
ASP-based System for Enterprise Ontologies. Journal of Logic and Computation,
Oxford University Press, Vol. 19, pp. 643 - 670, August 2009.
23 Enrico Giunchiglia, Nicola Leone, Marco Maratea. On the Relation among Answer Set
Solvers. Annals of Mathematics and Artificial Intelligence, Springer, Volume 53,
Numbers 1-4, August, 2008, pp. 169-204.
24 M. Maratea, F. Ricca, W. Faber, N. Leone Look-Back Techniques and Heuristics in DLV:
Implementa- tion, Evaluation and Comparison to QBF Solvers, Journal of Algorithms in
Logic, Informatics and Cognition (Elsevier). Vol. 63, n. 1-3, pp. 70-89. 2008.
25 W. Faber, G. Pfeifer, N. Leone, T. Dell’Armi, G. Ielpa, Design and Implementation of
Aggregate Func- tions in the DLV System, Journal of the Theory and Practice of Logic
Programming, Cambridge University Press, Volume 8, number 5-6 (November 2008),
pp. 545-580.
26 G. Terracina, N. Leone, V. Lio, C. Panetta, Experimenting with Recursive Queries in
Database and Logic Programming Systems, Journal of the Theory and Practice of
Logic Programming, Cambridge University Press, 8(2), pp. 129165. 2008.
27 S. Perri, F. Scarcello, G. Catalano, N. Leone, Enhancing DLV Instantiator by
Backjumping Techniques Annals of Mathematics and Artificial Intelligence, Springer,
Volume: 51, Issue: 2-4, Pages: 195-228, 2007.
28 W. Faber, N. Leone, G. Pfeifer, F. Ricca, On Look-Ahead Heuristics in Disjunctive Logic
Programming, Annals of Mathematics and Artificial Intelligence, Springer, Volume: 51,
Issue: 2-4, Pages: 229-266, 2007.
29 N. Leone, et al. DLV: An Advanced System for Knowledge Representation and
Reasoning. ALP Newsletter Vol. 20, n. 3/4, December 2007.
30 W. Faber, G. Greco, N. Leone, Magic Sets and their Application to Data Integration,
Journal of Computer and System Sciences, Elsevier, Volume 73, Issue 4, Special Issue
on Database Theory, June 2007, pp. 584-609.
31 F. Scarcello, G. Greco, N. Leone, Weighted Hypertree Decompositions and Optimal
Query Plans, Journal of Computer and System Sciences, Elsevier, Volume 73, Issue 3,
Special Issue on Database Theory, May 2007, pp. 475-506.
32 F. Ricca, N. Leone, Disjunctive Logic Programming with types and objects: The DLV+
System Journal of Applied Logic, Elsevier, Volume 5, Issue 3, September 2007, Pages
545-573.
33 F. Ricca, W. Faber, N. Leone, A Backjumping Technique for Disjunctive Logic
Programming, A.I. Communication The European Journal on Artificial Intelligence, Vol.
19, No 2, IOS Press, 2006, pp. 155-172.
34 F. Calimeri, W. Faber, G. Pfeifer, N. Leone, Pruning Operators for Disjunctive Logic
Programming Systems, Fundamenta Informaticae, Vol. 71, No 2-3, IOS Press, 2006,
pp. 183-214.
35 N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, F. Scarcello. The DLV
System for Knowledge Representation and Reasoning ACM Transactions on
Computational Logic, ACM Press, 7(3), July 2006. pp. 499562.
36 S. Perri, F. Scarcello, N. Leone Abductive Logic Programs with Penalization: Semantics,
Complexity and Implementation, Journal of the Theory and Practice of Logic
Programming, Cambridge University Press, Vol. 5 (1 & 2), 2005, pp. 123159.
37 S. Perri, N. Leone, Parametric Connectives in Disjunctive Logic Programming, A.I.
Communication The European Journal on Artificial Intelligence, IOS Press, 17(2): 63-
74 (2004).
38 T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres, A Logic Programming Approach to
Knowledge-State Planning: Semantics and Complexity, ACM Transactions on
Computational Logic, ACM Press, Volume 5, Number 2, April 2004, pp. 206263.
39 N. Leone, F. Scarcello, V.S. Subrahmanian, Optimal Models of Disjunctive Logic
Programs: Semantics, Complexity, and Computation, IEEE Transaction on Knowledge
and Data Engineering, Vol. 16, No 4, April 2004, pp. 487503.
40 C. Koch, N. Leone, G. Pfeifer, Enhancing Disjunctive Logic Programming Systems by
SAT Checkers Artificial Intelligence, Elsevier, 151 (1-2), Dec. 2003, pp. 177-212.
41 T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres, Answer Set Planning under Action
Costs, Journal of Artificial Intelligence Research, Elsevier, Vol. 19, 2003, pp. 2571.
Curriculum vitae
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 11 / 24
42 T. Eiter, W. Faber, N. Leone, G. Pfeifer, Computing Preferred Answer Sets by Meta-
Interpretation in Answer Set Programming, Journal of the Theory and Practice of Logic
Programming, Cambridge University Press, Vol 3(4&5) pp 463-498, 2003.
43 G. Gottlob, N. Leone, F. Scarcello, Robbers, Marshals, and Guards: Game Theoretic
and Logical Characterizations of Hypertree Width Journal of Computer and System
Sciences, Elsevier, Vol. 66, n. 4, 2003, pp. 775-808.
44 T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres, A Logic Programming Approach to
Knowledge-State Planning, II: The DLVK System, Artificial Intelligence, Elsevier,
Volume 144, N. 1 and 2, pp. 157-211, 2003.
45 M. Gelfond, N. Leone, Logic Programming and Knowledge Representation the A-
Prolog perspective. Artificial Intelligence, Elsevier, Volume 138, N. 1 and 2, June, 2002,
pp. 3-38.
46 G. Gottlob, N. Leone, F. Scarcello, Hypertree Decompositions and Tractable Queries,
Journal of Computer and System Sciences, Elsevier, 64(3): 579-627, 2002.
47 G. Gottlob, N. Leone, and F. Scarcello. Computing LOGCFL Certificates, Theoretical
Computer Science, Elsevier, 270(1-2), pp. 761-777, January, 2002.
48 G. Gottlob, N. Leone, and F. Scarcello. The Complexity of Acyclic Conjunctive Queries,
Journal of the ACM, 48(3), May 2001, pp. 431498.
49 F. Buccafurri, T. Eiter, G. Gottlob, N. Leone, On ACTL Formulas Having Deterministic
Counterexamples, Journal of Computer and System Sciences, Elsevier, 62(3), May,
2001, pp. 463515.
50 F. Buccafurri, N. Leone, W. Faber, Disjunctive Logic Programs with Inheritance Journal
of the Theory and Practice of Logic Programming, Cambridge University Press, Vol.
2(3), May 2002, pp. 293321.
51 G. Gottlob, N. Leone, F. Scarcello, A Comparison of Structural CSP Decomposition
Methods, Artificial Intelligence Vol. 124, N. 2, Elsevier, Dicembre 2000, pp. 243282
52 F. Buccafurri, N. Leone, P. Rullo, Enhancing Disjunctive Datalog by Constraints, IEEE
Transactions on Knowledge and Data Engineering, 12(5), Settembre/Ottobre 2000, pp.
845860.
53 F. Buccafurri, T. Eiter, G. Gottlob, N. Leone, Enhancing Model Checking in Verification
by AI Techniques, Artificial Intelligence, Vol. 112, N. 12, Elsevier, 1999, pp. 57104.
54 G. Gottlob, N. Leone, H. Veith, Succinctness as a Source of Expression Complexity,
Annals of Pure and Applied Logics, Elsevier Science Publisher, Vol. 97, N. 1-3, Marzo
1999, pp. 231-260.
55 F. Buccafurri, N. Leone, P. Rullo, Semantics and Expressiveness of Disjunctive Ordered
Logic, Annals of Mathematics and Artificial Intelligence, Special Issue on Logic
Programming and Nonmonotonic Reasoning, editors J. Dix and J. Lobo Baltzer
Publishers, Vol. 25, N. 3, 4, 1999.
56 G. Gottlob, N. Leone, F. Scarcello, On the Complexity of some Inductive Logic
Programming Problems, New Generation Computing, Vol. 17, N. 1, Springer-Verlag,
1999, pp. 5377.
57 T. Eiter, W. Faber, N. Leone, G. Pfeifer, The Diagnosis Front-End of the DLV System,
A.I. Communication The European Journal on Artificial Intelligence, IOS Press, Vol.
12, N. 1-2, 1999, pp. 99111.
58 N. Leone, P. Rullo, F. Scarcello, Disjunctive Stable Models: Unfounded Sets, Fixpoint
Semantics and Computation, Information and Computation Academic Press, Vol. 135,
N. 2, 15 Giugno 1997, pp. 69-112.
59 L. Lakshmanan, N. Leone, R. Ross, V.S. Subrahmanian Probview: A Flexible
Probabilistic Database System, ACM Transactions on Database Systems, Vol. 22, N. 3,
Settembre 1997, pp. 419469.
60 N. Leone, P. Rullo, A. Mecchia, G. Rossi. A Deductive Environment for Dealing with
Objects and Non-Monotonic Reasoning, IEEE Transaction on Knowledge and Data
Engineering Vol. 9, N. 4, Luglio/Agosto 1997, pp. 539558.
61 S. Greco, N. Leone, P. Rullo, COMPLEX: An Object-Oriented Logic Programming
System, IEEE Transaction on Knowledge and Data Engineering, Vol. 4, N. 4,Agosto
1992, pp. 344-359.
62 T. Eiter, G. Gottlob, N. Leone, Semantics and Complexity of Abduction from Default
Theories, Artificial Intelligence, Elsevier, Vol. 90, N. 1-2, Marzo 1997, pp. 177222.
63 T. Eiter, N. Leone, D. Saccà, Expressive Power and Complexity of Partial Models for
Disjunctive Deductive Databases, Theoretical Computer Science Algorithms,
automata, complexity and games, Elsevier, Vol. 206, N. 1-2, Ottobre 1998, pp. 181-
218.
64 T. Eiter, G. Gottlob, N. Leone, Abduction from Logic Programs: Semantics and
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 12 / 24
Complexity, Theoretical Computer Science Logic, Semantics and Theory of
programming, Elsevier, Vol. 189, N. 1-2, 15 Dicembre 1997, pp. 129177.
65 N. Leone, L. Palopoli, M. Romeo, A Language for Updating Logic Programs, Journal of
Logic Programming, Vol. 23 N.1, Aprile 1995, Elsevier Science Publishers, pp. 1-61.
66 F. Buccafurri, N. Leone, P. Rullo, Stable Models and their Computation for Logic
Programming with Inheritance and True Negation, Journal of Logic Programming,
Elsevier Science Publishers, Vol. 27 N. 1, Aprile 1996, pp. 5-43.
67 N. Leone, P. Rullo, Safe Computation of the Well-Founded Semantics of DATALOG
Queries, Information Systems, Vol. 17, N. 1, Pergamon Press, Gennaio 1992, pp. 17-
31.
68 N. Leone, G. Rossi, Well-Founded Semantics and Stratification for Ordered Logic
Programs, New Generation Computing, Vol. 12, N. 1, Springer-Verlag, Novembre 1993,
pp. 91-121.
69 N. Leone, C. Pizzuti, P. Rullo. Efficient Evaluation of a Class of Ordered Logic
Programs, Data and Knowledge Engineering, North-Holland, Vol. 23, N. 2, Agosto
1997, pp. 185 - 213.
70 N. Leone, P. Rullo, Ordered Logic Programming with Sets, Journal of Logic and
Computation, Vol. 3, N. 6, Oxford University Press, Dicembre 1993, pp. 621-642.
71 N. Leone, P. Rullo, An Efficient Strategy for the Bottom-up Evaluation of Datalog
Queries, The Computer Journal, Vol. 35, N. 6, Cambridge University Press, Dicembre
1992, pp. 519-527.
72 T. Eiter, G. Gottlob, N. Leone, On the Indiscernibility of Individuals in Logic
Programming, Journal of Logic and Computation, Oxford University Press, Vol. 7 N. 6,
Dicembre 1997, pp. 805824.
73 N. Leone, L. Palopoli and M. Romeo, Modifying Intensional Logic Knowledge,
Fundamenta Informaticae, Vol. 21 N.3, IOS Press, 1994, pp. 183-203.
74 T. Eiter, N. Leone, D. Sac, On the Partial Semantics for Disjunctive Deductive
Databases, Annals of Mathematics and Artificial Intelligence, Baltzer Publishers, Vol.
19, 1997, pp. 5996.
75 N. Leone, P. Restuccia, M. Romeo, P. Rullo, Expliciting Parallelism in the Semi-Naive
Algorithm for the Bottom-up Evaluation of Datalog Programs, Database Technology,
Vol. 4, N. 4, Pergamon Press, Febbraio 1993, pp. 245-258.
76 F. Buccafurri, N. Leone, F. Scarcello, On the Expressive Power of Ordered Logic, A.I.
Communication The European Journal on Artificial Intelligence, IOS Press, Vol. 9, N.
1, Marzo 1996, pp. 4-13.
77 F. Buccafurri, T. Eiter, G. Gottlob, N. Leone, Combining Abduction and Model Checking
Techniques, Periodica Polytechnica, Vol. 42, N.1, Budapest, Ungheria, Maggio 1998,
pp. 91101.
78 Wolfgang Faber, Nicola Leone, Francesco Ricca, Solving Hard problems for the second
level of the Polynomial Hierarchy: Heuristics and Benchmarks, Intelligenza Artificiale,
Vol. 3, Settembre, 2005.
79 F. Ricca, A. Garro, N. Leone, Un Sistema ad Agenti per il Supporto alla Costruzione di
Percorsi Didattici, AI*IA Notizie, Associazione Italiana per l’Intelligenza Artificiale, Volume
16, N. 1, pp. 5256, Marzo 2003.
80 G. Gottlob, N. Leone, W. Slany, H. Veith, F. Wotawa Research at DBAI in Logic and
Complexity. O¨GAI Journal Special Issue “Logic and Complexity, Luglio 1998.
81 T. Eiter, N. Leone, C. Mateis, G. Pfeifer, F. Scarcello, Project Report: A Non Monotonic
Disjunctive Deductive Database System, O¨GAI Journal, Vol. 16, N. 2, Vienna, Austria,
October, 1997, pp. 611.
82 S. Greco, N. Leone, P. Rullo, Un Linguaggio Logico per Basi di Dati e Conoscenza,
Rivista di Informatica, AICA, Vol. 21, N. 4, Dicembre 1991, pp. 343-355.
83 M. Crovara, N. Leone, D. Sac, Un’Estensione della Programmazione Logica per la
Rappresentazione di Sistemi Dinamici Rivista di Informatica, AICA, Vol. 27, N. 2, 1997,
pp. 67103.
Conferenze Internazionali
84 G. Amendola, N. Leone, M. Manna, P. Veltri. Enhancing Existential Rules by Closed-
World Variables. Proceedings of the 27th International Joint Conference on Artificial
Intelligence -- IJCAI 2018, July 13-19, 2018, Stockholm, Sweden, pp. 1676-1682.
85 G. Amendola, N. Leone, M. Manna. Finite Controllability of Conjunctive Query
Answering with Existential Rules: Two Steps Forward. Proceedings of the 27th
Curriculum vitae
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 13 / 24
4
Premio "Gems of Pods 2016", San Francisco, US, June 2016.
International Joint Conference on Artificial Intelligence -- IJCAI 2018, July 13-19, 2018,
Stockholm, Sweden, pp. 5189-5193.
86 M. Gebser, N. Leone, M. Maratea, S. Perri, F. Ricca, T. Schaub. Evaluation Techniques
and Systems for Answer Set Programming: a Survey. Proceedings of the 27th
International Joint Conference on Artificial Intelligence -- IJCAI 2018, July 13-19, 2018,
Stockholm, Sweden, pp. 5450-5456.
87 C. Allocca, F. Calimeri, G. Laboccetta, N. Leone, M. Manna, S. Perri, F. Ricca, P. Veltri
and J. Zangari. The AI System DLV: Ontologies, Reasoning, and More. 10th
International Joint Conference on Knowledge Discovery, Knowledge Engineering and
Knowledge Management}, Seville, Spain, 18-20 September, 2018, pp. 5--16.
88 G. Amendola, C. Dodaro, W. Faber, N. Leone, F. Ricca. On the Computation of
Paracoherent Answer Sets. Proceedings of the Thirty-First AAAI Conference on
Artificial Intelligence (AAAI-17), February 49, San Francisco, San Francisco, California,
USA. pp. 1034-1040.
89 W.T. Adrian, N. Leone, M. Manna, C. Marte. Document Layout Analysis for Semantic
Information Extraction. Proceedings of AI*IA 2017 Advances in Artificial Intelligence -
XVIth International Conference of the Italian Association for Arti_cial Intelligence,
Lecture Notes in Computer Science, Springer-Verlag,volume 10640. Bari, Italy,
November 14-17, 2017. pp. 269-281.
90 W.T. Adrian, M. Manna, N. Leone, G. Amendola, M. Adrian. Entity set expansion from
the Web via ASP. Proceedings of the 33rd International Conference on Logic
Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia, pp.
1:1-1:5.
91 G. Amendola, N. Leone, M. Manna, P. Veltri. Reasoning on anonymity in Datalog+/-,.
Proceedings of the 33rd International Conference on Logic Programming, ICLP 2017,
August 28 to September 1, 2017, Melbourne, Australia, pp. 3:1-3:5.
92 Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fus, Nicola Leone,
Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari: The ASP System
DLV2. LPNMR 2017: 215-221.
93 G. Gottlob, G. Greco, N. Leone, F. Scarcello. Hypertree Decompositions: Question and
Answers. Proceedings of the 35th ACM Symposium on Principles of Database Systems
- PODS 2016. ACM-Press, San Francisco, USA, June 26-July 1, 2016, pp.5774.
4
94 M. Alviano, N. Leone. On the Properties of GZ-Aggregates in Answer Set Programming.
Proceedings of the 25th International Joint Conference on Artificial Intelligence IJCAI-
16, AAAI-Press, New York City, NY, USA, July 9-16, 2016.
95 G. Amendola, G. Greco, N. Leone, P. Veltri. Modeling and Reasoning about NTU
Games via Answer Set Programming. Proceedings of the 25th International Joint
Conference on Artificial Intell igence IJCAI-16, AAAI-Press, New York City, NY, USA,
July 9-16, 2016.
96 G. Amendola, C. Dodaro, N. Leone, F. Ricca. On the Application of Answer Set
Programming to the Conference Paper Assignment Problem. AI*IA 2016: Advances in
Artificial Intelligence - XVth International Conference of the Italian Association for
Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings, pp.
164178.
97 C. Dodaro, B. Musitsch, P. Gasteiger, N. Leone, F. Ricca and K. Shchekotykhin. Driving
CDCL Search, Proceedings of the Workshop on Trends and Applications of Answer Set
Programming, September 26, 2016 in Klagenfurt, Austria.
98 M. Alviano, C. Dodaro, N. Leone, F. Ricca. Advances in WASP. Proceedings of the 13th
International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR 2015, Lexington; United States;, 27-30 September 2015, Springer-Verlag,
LNCS vol. 9345, p.40-54, 2015.
99 C. Dodaro, N. Leone, B. Nardi, F. Ricca. Allotment Problem in Travel Industry: A
Solution Based on ASP. Proceedings of the 9-th International Conference on Web
Reasoning and Rule Systems RR 2015. Berlin, Germany, August 4-5, 2015,
Springer-Verlag, LNCS vol. 9209, p. 77-92, 2015.
100 W. T. Adrian, N. Leone, M. Manna. Semantic Views of Homogeneous Unstructured
Data. Proceedings of the 9-th International Conference on Web Reasoning and Rule
Systems RR 2015. Berlin, Germany, August 4-5, 2015, Springer-Verlag, LNCS vol.
9209, p. 19-29, 2015.
101 N. Leone, F. Ricca. Answer Set Programming: A Tour from the Basics to Advanced
Development Tools and Industrial Applications. Reasoning Web. Web Logic Rules -
11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015,
LNCS, volume 9203, pp. 308326, 2015.
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 14 / 24
102 W. T. Adrian, N. Leone, A. Ligeza, M. Manna, M. Slazynski. Constraint Optimization
Production Planning Problem. A Note on Theory, Selected Approaches and Com-
putational Experiments. Proceedings of the 14th International Conference on Artificial
Intelligence and Soft Computing - ICAISC 2015, Zakopane, Poland, June 14-28,
2015. LNCS, Springer Verlag, volume 9120, pp. 541553. 2015.
103 G. Amendola, T. Eiter, N. Leone. Modular Paracoherent Answer Sets. Proceedings of
the 14th European Conference on Logics in Artificial Intelligence JELIA 2014,
Funchal, Madeira, Portugal, September 24-26, 2014. Springer-Verlag, Lecture Notes in
Computer Science (LNCS) 8761, pp. 457471.
104 M. Alviano, C. Dodaro, W. Faber, N. Leone, F. Ricca. WASP: A Native ASP Solver
Based on Constraint Learning. Proceedings of the 12th International Conference on
Logic Programming and Nonmonotonic Reasoning LPNMR’13, Corunna, Spain,
September 15-19, 2013. Springer Verlag, Lecture Notes in Computer Science (LNCS),
volume 8148, pp. 54-66.
105 G. Terracina, A. Martello, N. Leone. Logic-Based Techniques for Data Cleaning: An
Application to the Italian National Healthcare System. Proceedings of the 12th
International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR’13, Corunna, Spain, September 15-19, 2013. Springer Verlag, Lecture Notes in
Computer Science (LNCS), volume 8148, pp. 524529.
106 G. Grasso, N. Leone, F. Ricca. Answer Set Programming: Language, Applications and
Development Tools. Proceedings of the 7-th International Conference on Web
Reasoning and Rule Systems RR 2013. Mannheim, Germany, July 27-29, 2013.
Springer-Verlag, LNCS vol. 7994, p. 19-34, 2013.
107 F. Ricca, R. Barilaro, N. Leone, G. Terracina, Distributed Ontology Based Data Access
via Logic Programming Proceedings of RR 2012, Vienna, Austria, 2012.
108 O. Febbraro, N. Leone, K. Reale, F. Ricca. ASPIDE the Integrated Development
Environment for Answer Set Programming: Progress Report Proceedings of NMR
2012, pp 14. Rome, Italy, 2012.
109 M. Alviano, N. Leone, M. Manna, G. Terracina, P. Veltri. Magic-Sets for Datalog with
Existential Quantifiers Proceedings of Datalog 2.0, Vienna, Austria, 2012.
110 O. Febbraro, G. Grasso, N. Leone, F. Ricca, Datalog Development Tools Proceedings of
Datalog 2.0, Vienna, Austria, 2012.
111 N. Leone, M. Manna, G. Terracina, P. Veltri. Efficiently Computable DatalogE Programs
Proceedings of the 13th International Conference on Principles of Knowledge
Representation and Reasoning KR2012, AAAI Press, Rome, Italy, June 10-14, 2012.
112 O. Febbraro, G. Grasso, N. Leone, F. Ricca. JASP: a framework for integrating Answer
Set Programming with Java Proceedings of the 13th International Conference on
Principles of Knowledge Representation and Reasoning KR2012, AAAI Press, Rome,
Italy, June 10-14, 2012.
113 F. Calimeri, G. Ianni, F. Ricca, M. Alviano, A. Bria, G. Catalano, S. Cozza, W. Faber, O.
Febbraro, N. Leone, M. Manna, A. Martello, C. Panetta, S. Perri, K. Reale, M. C.
Santoro, M. Sirianni, G. Terracina, P. Veltri. The Third Answer Set Programming
Competition: Preliminary Report of the System Competition Track, Proceedings of the
11th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR’11, Lecture Notes in Computer Science (LNCS), Vol. 6645, Springer-Verlag,
Vancouver, Canada, May 1619, 2011, pp. 388-403.
114 M. Alviano, G. Greco, N. Leone. Dynamic Magic Sets for Programs with Monotone
Recursive Aggre- gates. Proceedings of the 11th International Conference on Logic
Programming and Nonmonotonic Reasoning LPNMR’11, Lecture Notes in Computer
Science (LNCS), Vol. 6645, Springer-Verlag, Vancouver, Canada, May 1619, 2011,
pp. 148-160.
115 Francesco Calimeri, Susanna Cozza, Giovambattista Ianni and Nicola Leone.
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI
2010), July 11-15, Atlanta, Georgia, US, pp. 1666-1670.
116 Mario Alviano, Wolfgang Faber, Nicola Leone, Disjunctive ASP with Functions:
Decidable Queries and Effective Computation Proceedings of the 26th International
Conference on Logic Programming ICLP’10, Edinburgh, July 16-19, 2010.
117 Giovanni Grasso, Salvatore Iiritano, Vincenzino Lio, Nicola Leone, Francesco Ricca. An
ASP-based System for Team-building in the Gioia-Tauro Seaport. Proceedings of the
12th International Symposium on Practical Aspects of Declarative Languages
PADL’10, Lecture Notes in Computer Science (LNCS), Springer-Verlag, Vol. 5937,
Madrid, Spain, January 18-19, 2010, pp. 4042.
118 Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina. Efficient
Application of Answer Set Programming for Advanced Data Integration Proceedings of
the 12th International Symposium on Practical Aspects of Declarative Languages
Curriculum vitae
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 15 / 24
5
Premio "Test-of-Time Award" ICLP 2018, Oxford, UK, July 2018.
PADL’10, Lecture Notes in Computer Science (LNCS), Springer-Verlag, Vol. 5937,
Madrid, Spain, January 18-19, 2010, pp. 1024.
119 Mario Alviano, Wolfgang Faber, Nicola Leone. Well-Founded Semantics for Logic
Programs with Aggregates: Implementation and Experimentation. Proceedings of the
17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems
with Combinatorial Explosion. Bologna (Italy), 10-11 June 2010.
120 Francesco Calimeri, Susanna Cozza, Giovambattista Ianni and Nicola Leone. Magic
Sets for the Bottom-up Evaluation of Finitely Recursive Programs. Proceedings of the
10th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR’09, Lecture Notes in Computer Science (LNCS), Vol. 5753, Springer-Verlag,
Potsdam, Germany, 1418 September 2009, pp. 7186.
121 Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone and Francesco Ricca. An ASP-
Based System for e-Tourism. Proceedings of the 10th International Conference on
Logic Programming and Nonmonotonic Reasoning LPNMR’09, Lecture Notes in
Computer Science (LNCS), Vol. 5753, Springer-Verlag, Potsdam, Germany, 1418
September 2009, pp. 368381.
122 Giovanni Grasso, Salvatore Iiritano, Nicola Leone and Francesco Ricca. Some DLV
Applications for Knowledge Management. Proceedings of the 10th International
Conference on Logic Programming and Nonmonotonic Reasoning LPNMR’09,
Lecture Notes in Computer Science (LNCS), Vol. 5753, Springer-Verlag, Potsdam,
Germany, 1418 September 2009, pp. 591597.
123 Annamaria Bria, Wolfgang Faber and Nicola Leone. nfn2dlp and nfnsolve: Normal
Form Nested Programs Compiler and Solver. Proceedings of the 10th International
Conference on Logic Programming and Nonmonotonic Reasoning LPNMR’09,
Lecture Notes in Computer Science (LNCS), Vol. 5753, Springer-Verlag, Potsdam,
Germany, 1418 September 2009, 477482.
124 Nicola Leone, Francesco Ricca and Giorgio Terracina. An ASP-Based Data Integration
System. Proceedings of the 10th International Conference on Logic Programming and
Nonmonotonic Reasoning LPNMR’09, Lecture Notes in Computer Science (LNCS),
Vol. 5753, Springer-Verlag, Potsdam, Germany, 1418 September 2009, pp. 528534.
125 Francesco Calimeri, Susanna Cozza, Giovambattista Ianni and Nicola Leone. An ASP
System with Functions, Lists, and Sets. Proceedings of the 10th International
Conference on Logic Programming and Nonmonotonic Reasoning LPNMR’09,
Lecture Notes in Computer Science (LNCS), Vol. 5753, Springer-Verlag, Potsdam,
Germany, 1418 September 2009, pp. 483489.
126 Nicola Leone. Exploiting ASP in Real-World Applications: Main Strengths and
Challenges. Proceedings of the 10th International Conference on Logic Programming
and Nonmonotonic Reasoning LPNMR09, Lecture Notes in Computer Science
(LNCS), Vol. 5753, Springer-Verlag, Potsdam, Germany, 1418 September 2009, pp.
628630.
127 N. Leone, W. Faber. The DLV Project: A Tour from Theory and Research to Applications
and Market. Proceedings of the 24th International Conference on Logic Programming
ICLP’08, Lecture Notes in Computer Science, Springer- Verlag, Vol. 5366, December
913, 2008, Udine, Italy, pp. 5368.
128 F. Calimeri, S. Cozza, G. Ianni, N. Leone. Computable Functions in ASP: Theory and
Implementa- tion. Proceedings of the 24th International Conference on Logic
Programming ICLP’08, Lecture Notes in Computer Science, Springer-Verlag, Vol.
5366, December 913, 2008, Udine, Italy. pp. 407424.
5
129 Gisella Bennardo, Giovanni Grasso, Nicola Leone, and Francesco Ricca. Upgrading
Databases to Ontologies. Proceedings of the 3rd International Workshop on
Applications of Logic Programming to the (Semantic) Web and Web Services
(ALPSWS2008), Udine, Italy, December 13 2008.
130 G. Catalano, N. Leone, S. Perri. On demand Indexing for the DLV Instantiator.
Proceedings of the Workshop on Answer Set Programming and Other Computing
Paradigms (ASPOCP 2008), Udine, Italy, December 13, 2008.
131 G. Terracina, E. De Francesco, C. Panetta, N. Leone. Experiencing ASP with
Databases, Functions and Recursive Data Structures. Proceedings of the 15th RCRA
workshop on Experimental Evaluation of Algorithms for Solving Problems with
Combinatorial Explosion. Udine, Italy, December 13 2008.
132 Wolfgang Faber, Nicola Leone, Marco Maratea and Francesco Ricca. Backjumping and
Look-back Heu- ristics for Disjunctive Logic Programming with Aggregates.
Proceedings of the 2nd International Workshop on Logic and Search (LaSh 2008),
Leuven, Belgium, November 6-7th 2008.
133 Annamaria Bria, Wolfgang Faber, Nicola Leone. Normal Form Nested Programs
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 16 / 24
Proceedings of the 11th European Conference on Logics in Artificial Intelligence JELIA
2008, Lecture Notes in Artificial Intelligence (LNAI) 5293, Springer-Verlag, Dresden,
Germany, September 28 October 1, 2008, pp. 7688.
134 G. Terracina, E. De Francesco, C. Panetta, N. Leone. Enhancing a DLP System for
Advanced Database Applications. Proceedings of The International Conference on Web
Reasoning and Rule Systems (RR08). 31 October - 1 November 2008, Karlsruhe
(Germany).
135 W. Faber, G. Greco, N. Leone, Magic Sets for Data Integration, Proceedings of the
Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08), Chicago, July, 2008.
136 T. Dell’Armi, L. Gallucci, N. Leone, F. Ricca, R. Schindlauer. OntoDLV: an ASP-based
System for Enterprise Ontologies. Proceedings of the 4th International Workshop on
Answer Set Programming, Porto, Portugal, September 813, 2007.
137 W. Faber, N. Leone, M. Maratea, F. Ricca. Looking Back in DLV: Experiments and
Comparison to QBF Solvers. Proceedings of the 4th International Workshop on Answer
Set Programming, Porto, Portugal, September 813, 2007.
138 W. Faber, N. Leone. On the Complexity of Answer Set Programming with Aggregates.
Proceedings of the 9th International Conference on Logic Programming and
Nonmonotonic Reasoning LPNMR’07, Lecture Notes in Artificial Intelligence (LNAI),
Vol. 3662, Springer-Verlag, Tempe, AZ, USA, May 14-16, 2007, pp. 97109.
139 W. Faber, N. Leone, M. Maratea, F. Ricca. Experimenting with Look-Back Heuristics on
Hard ASP Programs. Proceedings of the 9th International Conference on Logic
Programming and Nonmonotonic Reasoning LPNMR’07, Lecture Notes in Artificial
Intelligence (LNAI), Vol. 3662, Springer-Verlag, Tempe, AZ, USA, May 14-16, 2007, pp.
110122.
140 N. Leone. Logic Programming and Nonmonotonic Reasoning: from Theory to Systems
and Applications. Proceedings of the 9th International Conference on Logic
Programming and Nonmonotonic Reasoning LPNMR’07, Invited Talk, Lecture Notes
in Artificial Intelligence (LNAI), Vol. 3662, Springer-Verlag, Tempe, AZ, USA, May 14-16,
2007.
141 M. Ruffolo, M. Manna, L. Gallucci, N. Leone, D. Sacc. A Logic-Based Tool for Semantic
Information Extraction, Proceedings of the 10th European Conference on Logics in
Artificial Intelligence JELIA06, Liverpool (U.K.), 13-15 September 2006. Lecture Notes
in Computer Science (LNCS), Springer-Verlag, Vol. 4160, pp. 506510.
142 G. Terracina, N. Leone, V. Lio, C. Panetta, Adding Efficient Data Management to Logic
Programming Systems, Proceedings of the 16th International Symposium on
Foundations of Intelligent Systems, Bari, Italy, September 27-29, 2006. Lecture Notes in
Computer Science, 4203, pp. 524-533.
143 Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Sacc, and Amedeo Zavatto.
Semantic Infor- mation Elicitation from Unstructured Medical Records. Proceedings of
the European Semantic Web Confe- rence (ESWC06) Workshop Mastering the Gap:
From Information Extraction to Semantic Representation. Budva, Montenegro, June 11-
14, 2006.
144 Tina Dell’Armi, Andrea Gualtieri, Nicola Leone. Process Representation and Reasoning
using a Logic Formalism with Object-Oriented Features. Proceedings of the Workshop
on Business Process Intelligence (BPI’06). Vienna, Austria, 5-7 September 2006,
Lecture Notes in Computer Science (LNCS), Springer- Verlag, Vol. 4103, pp. 153-163.
145 Nicola Leone, Georg Gottlob, Riccardo Rosati, Thomas Eiter, Wolfgang Faber, Michael
Fink, Luigi Granata Gianluigi Greco, Giovambattista Ianni, Edyta Ka-lka, Domenico
Lembo, Maurizio Lenzerini, Vin- cenzino Lio, Bartosz Nowicki, Marco Ruzzi, Witold
Staniszkis, Giorgio Terracina Data Integration: a Challenging ASP Application
Proceedings of the 8th International Conference on Logic Programming and Non-
Monotonic Reasoning LPNMR05, Lecture Notes in Artificial Intelligence (LNAI), Vol.
3662, Springer-Verlag, Diamante, Italy, September 58, 2005.
146 F. Ricca, N. Leone, V. De Bonis, T. DellArmi, S. Galizia and G. Grasso, A DLP System
with Object-Oriented Features, Proceedings of the 8th International Conference on
Logic Programming and Nonmonotonic Reasoning LPNMR 2005, Lecture Notes in
Artificial Intelligence (LNAI), Vol. 3662, Springer-Verlag, Diamante, Italy, September 58,
2005.
147 N. Leone, G. Gottlob, R. Rosati, E. Kalka, G. Greco, T. Eiter, D. Lembo, B. Nowicki, G.
Ianni, W. Faber, M. Lenzerini, W. Staniszkis, V. Lio, M. Fink, M. Ruzzi, G. Terracina. The
INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data,
Proceedings of the 24th ACM SIGMOD International Conference on Management of
Data (SIGMOD’05), ACM-Press, Baltimore, Maryland, USA, June 1416, 2005.
148 F. Calimeri, W. Faber, N. Leone, S. Perri. Declarative and Computational Properties of
Logic Programs with Aggregates. Proceedings of the 19th International Joint
Conference on Artificial Intelligence IJCAI ’05, Morgan Kaufmann Publishers,
Curriculum vitae
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 17 / 24
Edinburgh, Scotland, UK, July 31 - August 5, 2005.
149 W. Faber, N. Leone, F. Ricca. Heuristics for Hard ASP Programs. Proceedings of the
19th International Joint Conference on Artificial Intelligence IJCAI ’05, Morgan
Kaufmann Publishers, Edinburgh, Scotland, UK, July 31 - August 5, 2005, pp. 406-411.
150 W. Faber, N. Leone, F. Ricca, A Backjumping Technique for Disjunctive Logic
Programming, ASP05 Answer Set Programming, Advances in Theory and
Implementation, Bath UK, Luglio 2005.
151 Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Sacc, and Amedeo Zavatto,
Exploiting ASP for Semantic Information Extraction, ASP05 Answer Set Programming,
Advances in Theory and Implementation, Bath UK, Luglio 2005.
152 W. Faber, G. Greco, N. Leone,Magic Sets and their Application to Data Integration,
Proceedings of the 10th International Conference on Database Theory ICDT’05,
Lecture Notes in Computer Science, Springer-Verlag, Vol. 3363, Edinburgh, Scotland,
January 5-7, 2005, pp. 306320.
153 W. Faber, N. Leone, G. Pfeifer, Recursive Aggregates in Disjunctive Logic Programs:
Semantics and Complexity, Proceedings of the 9th European Conference on Logics in
Artificial Intelligence JELIA’04, Lecture Notes in Computer Science (LNCS), Springer-
Verlag, Vol. 3229, Lisbon, Portugal, September 27-30, 2004, pp. 200212.
154 F. Calimeri, M. Citrigno, C. Cumbo, W. Faber, N. Leone, S. Perri, G. Pfeifer, New DLV
Features for Data Integration, Proceedings of the 9th European Conference on
Logics in Artificial Intelligence JELIA04, Lecture No- tes in Computer Science
(LNCS), Springer-Verlag, Vol. 3229, Lisbon, Portugal, September 27-30, 2004, pp. 698
701.
155 F. Scarcello, G. Greco, N. Leone, Weighted Hypertree Decompositions and Optimal
Query Plans, Proceedings of the 23rd ACM International Symposium on Principles of
Database Systems (PODS’04), ACM- Press, Paris, June 13-18, 2004, pp. 210221.
156 C. Cumbo, W. Faber, G. Greco, N. Leone, Enhancing the Magic-Set Method for
Disjunctive Datalog Programs, Proceedings of the 20th International Conference on
Logic Programming ICLP’04, Lecture Notes in Computer Science, Springer-
Verlag, Vol. 3132 September 6-10, 2004 Saint-Malo, France, pp. 371385.
157 N. Leone, S. Perri, F. Scarcello, BackJumping Techniques for Rules Instantiation in the
DLV System, Proceedings of the 10th International Workshop on Non-Monotonic
Reasoning NMR04, Westin Whistler Resort and Spa, Whistler BC, Canada, June 6-8,
2004, 258266.
158 T. Dell’Armi, W. Faber, G. Ielpa, N. Leone, S. Perri, G. Pfeifer, System Description: DLV
with Aggregates Proceedings of the 7th International Conference on Logic
Programming and Non-Monotonic Reasoning LPNMR-7, Lecture Notes in Artificial
Intelligence (LNAI) 2923, Springer-Verlag, Florida, USA, January 68, 2004, pp. 326-
330.
159 N. Leone, V. Lio, G. Terracina DLVD B: Bridging the gap between ASP systems and
DBMSs Proceedings of the 7th International Conference on Logic Programming and
Non-Monotonic Reasoning LPNMR-7, Lecture Notes in Artificial Intelligence (LNAI)
2923, Springer-Verlag, Florida, USA, January 68, 2004, pp. 341-345.
160 T. Dell’Armi, G. Ielpa, W. Faber, N. Leone, G. Pfeifer, Aggregate Functions in Disjunctive
Logic Programming: Semantics, Complexity, and Implementation in DLV Proceedings
of the 18th International Joint Conference on Artificial Intelligence IJCAI ’03,
Morgan Kaufmann Publishers, Acapulco, Mexico, August 915, 2003.
161 A. Garro, N. Leone, F. Ricca, Logic Based Agents for E-Learning, Proceedings of the
IJCAI03 Workshop on Knowledge Representation and Automated Reasoning for
E- Learning Systems, Acapulco, Mexico, August 10, 2003, pp 36-45.
162 N. Leone, S. Perri, Parametric Connectives in Disjunctive Logic Programming,
Proceedings of the 2nd International Workshop on Answer Set Programming ASP
2003, Messina, Italy, September 26-28, 2003, pp. 124-135.
163 T. Dell’Armi, G. Ielpa, W. Faber, N. Leone, G. Pfeifer, Aggregate Functions in DLV,
Proceedings of the 2nd International Workshop on Answer Set Programming ASP
2003, Messina, Italy, September 26-28, 2003, pp. 274-288.
164 T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres, Answer Set Planning under Action
Costs, Proceedings of the 8th European Conference on Logics in Artificial Intelligence
JELIA02 , Lecture Notes in Artificial Intelligence (LNAI) 2424, Springer-Verlag, Cosenza,
Italy, Cosenza, Italy, September 23-26, 2002, pp. 186-197.
165 T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres, The DLVK Planning System:
Progress Report, Proceedings of the 8th European Conference on Logics in Artificial
Intelligence JELIA’02 , Lecture Notes in Artificial Intelligence (LNAI) 2424, Springer-
Verlag, Cosenza, Italy, September 23-26, 2002, pp. 541-544.
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 18 / 24
166 N. Leone, W. Faber, G. Pfeifer, F. Calimeri, T. Eiter, T. Dell’Armi, T. Eiter, G. Gottlob, G.
Ianni, G. Ielpa, C. Koch, S. Perri, A. Polleres, The DLV System, Proceedings of the 8th
European Conference on Logics in Artificial Intelligence JELIA02 , Lecture Notes in
Artificial Intelligence (LNAI) 2424, Springer-Verlag, Cosenza, Italy, Cosenza, Italy,
September 23-26, 2002, pp. 537-540.
167 F. Calimeri, W. Faber, N. Leone, G. Pfeifer, Pruning Operators for Answer Set
Programming Systems, Proc. 9th Intl. Workshop on Non-Monotonic Reasoning
NMR’2002, Toulouse, France, April 1921, 2002, pp. 200209.
168 E. Franconi, A. Laureti Palma, N. Leone, S. Perri, F.Scarcello Census Data Repair: A
Challenging Application of Disjunctive Logic Programming. Proceedings Logic for
Programming, Artificial Intelligence, and Reasoning, 8th International Conference
LPAR 2001, Lecture Notes in Computer Science, Springer-Verlag, Havana, Cuba,
December 3-7, 2001, pp. 561578.
169 W. Faber, N. Leone, G. Pfeifer, Optimizing the Computation of Heuristics for Answer Set
Programming Systems, Proceedings of the 6th International Conference on Logic
Programming and Non-Monotonic Reasoning LPNMR’01, Lecture Notes in Artificial
Intelligence (LNAI) 2173, Springer-Verlag, Vienna, Austria, 1719 September 2001, pp.
288301.
170 N. Leone, S. Perri, F. Scarcello, Improving ASP Instantiators by Join-Ordering Methods,
Proceedings of the 6th International Conference on Logic Programming and Non-
Monotonic Reasoning LPNMR’01, Lecture Notes in Artificial Intelligence (LNAI) 2173,
Springer-Verlag, Vienna, Austria, 1719 September 2001.
171 T. Dell’Armi, G. Ielpa, W. Faber, N. Leone, S. Perri, G. Pfeifer, System Description: DLV,
Proceedings of the 6th International Conference on Logic Programming and Non-
Monotonic Reasoning LPNMR’01, Lecture Notes in Artificial Intelligence (LNAI) 2173,
Springer-Verlag, Vienna, Austria, 1719 September 2001, pp. 409412.
172 T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres, System Description: The DLV K
Planning System, Proceedings of the 6th International Conference on Logic
Programming and Non-Monotonic Reasoning LPNMR’01, Lecture Notes in Artificial
Intelligence (LNAI) 2173, Springer-Verlag, Vienna, Austria, 1719 September 2001, pp.
413416.
173 G. Gottlob, N. Leone, and F. Scarcello. Hypertree Decompositions: A Survey,
Proceedings of the 26th International Symposium on Mathematical Foundations of
Computer Science (MFCS’01), Lecture Notes in Computer Science (LNCS) 2136,
Springer-Verlag, Marianske Lazne, Czech Republic, August 2001, pp. 3757.
174 W. Faber, N. Leone, G. Pfeifer, Experimenting with Heuristics for Answer Set
Programming Proceedings of the 17th International Joint Conference on Artificial
Intelligence IJCAI 01, Morgan Kaufmann Publishers, Seattle, WA, USA, Agosto
2001, pp. 635640.
175 T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres, The DLV K Planning System,
Proceedings of IJCAI01 Workshop on Planning under Uncertainty and Incomplete
Information, Agosto 2001, pp. 7681.
176 N. Leone, R. Rosati, F. Scarcello, Enhancing Answer Set Planning, Proceedings of
IJCAI01 Workshop on Planning under Uncertainty and Incomplete Information,
Seattle, USA, Agosto 2001.
177 G. Gottlob, N. Leone, F. Scarcello, Robbers, Marshals, and Guards: Game Theoretic
and Logical Characterizations of Hypertree Width, Proceedings of the 20th ACM
International Symposium on Principles of Database Systems (PODS’01), ACM- Press,
Santa Barbara, May, 2001, pp. 195206. Invitato per pubblicazione su Journal of
Computer and System Sciences.
178 W. Faber, N. Leone, G. Pfeifer, A Comparison of Heuristics for Answer Set
Programming, Proceedings of Fifth Dutch-German Workshop on Nonmonotonic
Reasoning Techniques and their Applications DGNMR 2001, Potsdam, Germany, 46
Aprile 2001, pp. 6475.
179 F. Buccafurri, T. Eiter, G. Gottlob, and N. Leone Combining Abduction and Model
Checking Techniques for Repairing Concurrent Programs, Proceedings of Model-based
Validation of Intelligence Symposium, AAAI 2001 Spring Symposium Series, Stanford
University, California, USA, 2628 Marzo 2001.
180 T. Eiter, W. Faber, N. Leone, G. Pfeifer, Computing Preferred and Weakly Preferred
Answer Sets by Meta-Interpretations in Answer Set Programming, Proceedings of
Answer Set Programming Symposium, AAAI 2001 Spring Symposium Series, Stanford
Uni- versity, California, USA, AAAI Press, 2628 Marzo 2001, pp 4552.
181 G. Gottlob, N. Leone, and F. Scarcello. Advanced Parallel Algorithms for Processing
Acyclic Con- junctive Queries, Rules, and Constraints, Proceedings of 2000 Conference
on Software Engineering and Knowledge Engineering (SEKE00), KSI Ed., Chicago,
USA, July 6-8, 2000, pp. 167176.
Curriculum vitae
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 19 / 24
6
Premio Mendelzon Test-of-Time Award 2009 ACM-PODS, Providence, NY, US, June 2009.
182 T. Eiter, W. Faber, C. Koch, N. Leone, G. Pfeifer, DLV: A system for declarative problem
solving, Proc. 8th Intl. Workshop on Non-Monotonic Reasoning NMR2000, April 9-11,
Breckenridge, Colorado.
183 T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres, Planning Under Incomplete
Knowledge, First International Conference on Computational Logic CL2000,
KR&NMR Stream, Lecture Notes in Artificial Intelligence, Springer-Verlag 1861, pp.
807821, Imperial College, London, UK, 24-28 Luglio, 2000.
184 Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres, Using the
DLV System for Planning and Diagnostic Reasoning, Francois Bry and Ulrich Geske
and Dietmar Seipel editors, Proceedings of the 14th Workshop on Logic Programming
WLP’99, pp. 125134, Wuerzburg, Germany, 26-28 Gennaio 2000.
185 Wolfgang Faber, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Using Database
Optimization Techniques for Nonmonotonic Reasoning, Proceedings Seventh
International Workshop on Deductive Databases and Logic Programming DDLP’99, pp.
135139, Tokyo, Giappone, 35 Settembre 1999.
186 F. Buccafurri, N. Leone, W. Faber, Disjunctive Logic Programs with Inheritance Danny
De Schreye editor, Proceedings of the International Conference on Logic Programming
ICLP’99, The MIT Press, pp. 7993, La Cruces, New Mexico, 29 Novembre 4
Dicembre, 1999.
187 W. Faber, N. Leone, G. Pfeifer, Pushing Goal Derivation in DLP Computations, Michael
Gelfond, Nicola Leone and Gerald Pfeifer editors, Proceedings of the 5th Logic
Programming and Non-Monotonic Reasoning Conference LPNMR ’99, Lecture Notes
in Artificial Intelligence (LNAI) 1730, Springer-Verlag, pp. 107116, El Paso, Texas, 24
Dicembre 1999.
188 G. Gottlob, N. Leone, F. Scarcello, Hypertree Decompositions and Tractable Queries,
Proceedings of the 18th ACM Symposium on Principles of Database Systems
PODS99, ACM-Press, Phi- ladelphia, 31 Maggio - 2 Giugno 1999, pp. 2132. Invitato
per pubblicazione su Journal of Computer and System Sciences.
6
189 G. Gottlob, N. Leone, F. Scarcello, A Comparison of Structural CSP Decomposition
Methods, Proceedings of the 16th International Joint Conference on Artificial Intelligence
IJCAI 99,Vol.1, pp.394- 399, Morgan Kaufmann Publishers, Stoccolma, Agosto 1999.
190 C. Koch, N. Leone, Stable Model Checking Made Easy, Proceedings of the 16th
International Joint Conference on Artificial Intelligence IJCAI ’99, Morgan
Kaufmann Publishers, pp. 7075, Stoccolma, Agosto 1999.
191 G. Gottlob, N. Leone, and F. Scarcello. Computing LOGCFL Certificates, Proceedings
of 26-th International Colloquium on Automata, Languages, and Programming
ICALP’99, LCNS 1644, pp.361-371, Springer Praga, Repubblica Ceca, 11-15 Luglio
1999.
192 G. Gottlob, N. Leone, F. Scarcello, On Tractable Queries and Constraints, Proceedings
of the 10-th International Conference on Database and Expert Systems Applications -
DEXA99, LNCS 1677, pp. 1-15, Springer-Verlag, Firenze, Agosto 1999.
193 G. Gottlob, N. Leone, F. Scarcello, The Complexity of Acyclic Conjunctive Queries,
Proceedings of the 39-th IEEE Symposium on Foundations of Computer Science
(FOCS’98), Palo Alto, California, November 811, 1998, pp. 706715.
194 F. Buccafurri, N. Leone, P. Rullo, Disjunctive Ordered Logic: Semantics and
Expressibility, Proceedings of the International Conference on Principles of Knowledge
Representation and Reasoning - KR’98, Morgan Kaufman, Trento, Italia, Giugno 1998.
195 T. Eiter, N. Leone, C. Mateis, G. Pfeifer, F. Scarcello, The Knowledge Representation
System DLV: Progress Report, Comparisons, and Benchmarks, Proceedings of the
International Conference on Principles of Knowledge Representation and Reasoning -
KR’98, Morgan Kaufman, Trento, Italia, Giugno 1998.
196 T. Eiter, N. Leone, C. Mateis, G. Pfeifer, F. Scarcello, Progress Report on the
Disjunctive Deductive Database System DLV, Proceedings of International Conference
on Flexible Query Answering Systems (FQAS 98), Troels Andreasen and Henning
Christiansen and Henrik Legind Larsen editors, Roskilde University, Denmark, May, 13
15, 1998, pp. 145160.
197 F. Buccafurri, N. Leone, P. Rullo, Strong and Weak Constraints in Disjunctive Datalog,
Proceedings of the 4rd Logic Programming and Non-Monotonic Reasoning Conference
LPNMR 97, LNAI 1265, Springer-Verlag, Dagstuhl, Germania, Luglio 1997, pp. 217.
198 T. Eiter, N. Leone, C. Mateis, G. Pfeifer, F. Scarcello, A Deductive System for Non-
Monotonic Reasoning, Proceedings of the 4rd Logic Programming and Non-Monotonic
Reasoning Conference LPNMR ’97, LNAI 1265, Springer-Verlag, Dagstuhl,
Germania, Luglio 1997, pp. 363374.
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 20 / 24
199 G. Gottlob, N. Leone, H. Veith, Second Order Logic and the Weak Exponential
Hierarchies, Proceedings of the 20th International Symposium on Mathematical
Foundations of Computer Science - MFCS’95 LNCS 969, Springer-Verlag, Praga,
Agosto/Settembre 1995, pp. 6681.
200 N. Leone, P. Rullo, F. Scarcello, Declarative and Fixpoint Characterizations of
Disjunctive Stable Models, Proceedings of International Logic Programming
SymposiumILPS95, MIT Press, Portland, Oregon, 4–7 Dicembre 1995, pp. 399
413.
201 T. Eiter, G. Gottlob, N. Leone, Semantics and Complexity of Abduction from Default
Theories, Proceedings of the 14th International Joint Conference on Artificial
Intelligence IJCAI95, Montreal, 20-25 Agosto 1995, pp.870876.
202 N. Leone, P. Rullo, BQM: A System Integrating Logic, Objects and Non-Monotonic
Reasoning, Proceedings of the 7th IEEE International Conference on Tools with Artificial
IntelligenceICTAI 95, Washington, 5-8 Novembre, 1995.
203 T. Eiter, G. Gottlob, N. Leone, Complexity Results for Abductive Logic Programming,
Proceedings of the 3rd Logic Programming and Non-Monotonic Reasoning Conference
LPNMR ’95, Lecture Notes in Artificial Intelligence 928, Lexington, KY, USA 26-28
Giugno 1995, pp. 114.
204 F. Buccafurri, N. Leone, L. Palopoli, P. Rullo, Disjunctive Ordered Logic, Proceedings of
the 6-th International Conference on Database and Expert Systems Applications -
DEXA95, LNCS 978, Springer, London, U.K., 4-8 Settembre, 1995, pp. 303312.
205 N. Leone, P. Rullo, F. Scarcello, On the Computation of Disjunctive Stable Models,
Proceedings of 7-th International Conference on Database and Expert Systems
ApplicationsDEXA’96, LNCS 1134, Springer, Zurigo, Svizzera, 913 Settembre, 1996,
pp. 654-666.
206 T. Eiter, N. Leone, D. Saccà, Partial Semantics for Disjunctive Deductive Databases,
Proceedings of 7-th International Conference on Database and Expert Systems
ApplicationsDEXA’96, LNCS 1134, Springer, Zurigo, Svizzera, 913 Settembre, 1996,
pp. 564573.
207 N. Leone, P. Rullo, F. Scarcello, Stable Model Checking for Disjunctive Logic Programs,
Proceedings of International Workshop on Logic in DatabasesLID’96, LNCS 1154,
Springer, San Miniato, Pisa, Italia, 12 Luglio 1996, pp. 245264.
208 T. Eiter, N. Leone, D. Sac, The Expressive Power of Partial Models for Disjunctive
Deductive Databases, Proceedings of International Workshop on Logic in Databases
LID’96, LNCS 1154, Springer, San Miniato, Pisa, Italia, 1–2 Luglio 1996, pp. 245264.
209 T. Eiter, N. Leone, D. Sac, Unfounded Sets and Partial Stable Models for Disjunctive
Deductive Databases, Proceedings of the 1996 Joint Conference on Declarative
Programming APPIA-GULP-PRODE96, San Sebastian, Spagna, 15–18 Luglio 1996,
pp. 271282.
210 F. Buccafurri, N. Leone, P. Rullo, Computing Disjunctive Ordered Logic, Proceedings of
the 1996 Joint Conference on Declarative Programming APPIA-GULP-PRODE’96,
San Sebastian, Spagna, 1518 Luglio 1996, pp. 283294.
211 G. Gottlob, N. Leone, F. Scarcello, On the Complexity of some Inductive Logic
Programming Problems, Proceedings of the 7th International Workshop on Inductive
Logic Programming ILP’97, N. Lavrac and S. Dzeroski (eds.), LNAI 1297, Springer,
Praga, Settembre 1997, pp. 1732.
212 N. Leone, L. Palopoli, M. Romeo, Updating Logic Programs, Proceedings ISMIS’93,
LNAI 689, Springer, Trondhelm Norvegia, 15-18 Giugno, 1993, 235244.
213 M. Ahlsen, A. D’Atri, P. Johannesson, E. Laenens, N. Leone, P. Rullo, P. Rossi, F. Staes,
L. Tarantino, L. Van Beirendonck, F. Van Cadsand, W. Van Sant, J. Van Slembroeck, B.
Verdonk, D. Vermeir (ed.) The KIWIS Knowledge Base Management System,
Proceedings of the 3th International Conference on Advanced information Systems
Engineering CAiSE’91, Lecture Notes in Computer Science, Springer-Verlag, Vol.498,
Maggio 1991, pp. 79-97.
214 N. Leone, A. Mecchia, G. Rossi, P. Rullo, The Basic Query Machine of the KIWIS
System, Proceedings of the 4th International Conference on Advanced information
Systems Engineering CAiSE’92, Lecture Notes in Computer Science, Springer-Verlag,
Vol. 593, Manchester, U.K., Maggio 1992, pp. 632-650.
215 S. Greco, N. Leone, W. Staniskzis, A Virtual Memory Support for Deductive Database
Queries, Proceedings of the Working Conference on Data and Knowledge Base
Integration, Keele, Inghilterra, 4-5 Ottobre 1989, pp. 133-153.
216 N. Leone, A. Mecchia, M. Romeo, G. Rossi, P. Rullo, From Datalog to Ordered Logic
Programs, Proceedings of the 13th Intern. Seminar on Data Base Management
Systems, Mamaia, Romania, Settembre 1990, pp. 70-85.
217 N. Leone, G. Rossi, P. Rullo Bottom-up Evaluation of Stratified Ordered Logic Programs,
Curriculum vitae
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 21 / 24
Proceedings of the ILPS’91 Workshop on Deductive Databases, San Diego, California,
31 Ottobre 1991, pp. 43-52.
218 E. Laenens, N. Leone, P. Rullo, D. Vermeir, Efficient Query Evaluation in a Language
Combining Object-Oriented and Logic Programming, Research and Practical Issues in
Databases: Proceedings of the 3rd Australian Database Conference, World Scientific
Publ. Co. Pty. Ltd., Melbourne, Australia, Febbraio 1992, pp.96-110.
219 N. Leone, P. Rullo, Stable Model Semantics and its Computation for Ordered Logic
Programs, Proceedings ECAI 92 - 10th European Conference on Artificial Intelligence,
John Wiley & Sons Ltd, Vienna, Austria, 3-7 Agosto 1992, pp. 92-96.
220 T. Eiter, N. Leone, On Modularity Properties of Partial Semantics for Disjunctive Logic
Programs, Proc. 11th Logic Programming Workshop, Technical University of Vienna,
2729 Settembre 1995.
221 S. Citrigno, T. Eiter, Koch, W. Faber, G. Gottlob, N. Leone, C. Mateis, G. Pfeifer, F.
Scarcello, The DLV System: Model Generator and Application Frontends, Proc. 12th
Logic Programming Workshop, F. Bry, B. Freitag, and D. Seipel eds, Monaco,
Germania, 1719 Settembre 1997, pp. 128135.
222 F. Buccafurri, N. Leone, P. Rullo, A Non-Deterministic Semantics for Ordered Logic
Programs, Proceedings GULP-PRODE ’94, Settembre 1994.
223 F. Scarcello, N. Leone, L. Palopoli, Curbing Theories: Fixpoint Semantics and
Complexity Issues, Proceedings of the 1995 Joint Conference on Declarative
Programming (GULP-PRODE’95), Vietri, Italy, 1995, pp.545-554.
224 G. Gottlob, N. Leone, H. Veith, A General Method to Determine the Expression
Complexity of Database Query Languages, GI Workshop “Grundlagen von
Datenbanken”, Konstanzer Schriften in Mathematik und Informatik, Nr. 63, Mai 1998,
ISSN 1430-3558.
225 F. Buccafurri, N. Leone, P. Rullo, Adding Weak Constraints to Disjunctive Datalog,
Proceedings of the 1997 Joint Conference on Declarative Programming APPIA-GULP-
PRODE’97, Grado, Giugno 1997.
226 T. Eiter, N. Leone, C. Mateis, G. Pfeifer, F. Scarcello, The Architecture of a Disjunctive
Deductive Database System, Proceedings of the 1997 Joint Conference on Declarative
Programming APPIA-GULP-PRODE’97, Grado, Giugno 1997, pp. 141151.
227 S. Greco, N. Leone, F. Scarcello, Disjunctive Datalog with Nested Rules, Proceedings
of the ILPS’97 International Workshop on Logic Programming and Knowledge
Representation LPKR’97, LNAI 1471, Port Jefferson, N.Y., 12–17 Ottobre 1997, pp.
5264.
228 Wolfgang Faber, Nicola Leone, and Gerald Pfeifer, Representing School Timetabling in
a Disjunctive Logic Programming Language, Proceedings of the 13th Workshop on
Logic Programming (WLP ’98), Vienna, Ottobre, 1998.
229 Robert Bihlmeyer, Wolfgang Faber, Christoph Koch, Nicola Leone, Cristinel Mateis, and
Gerald Pfeifer, DLV An Overview, Proceedings of the 13th Workshop on Logic
Programming WLP 98, Vienna, Ottobre, 1998.
Conferenze Nazionali
230 N. Leone, S. Perri, F. Ricca, P. Veltri, J. Zangari. First Steps towards Reasoning on Big
Data with DLV. Proceedings of the 26th Italian Symposium on Advanced Database
Systems (SEBD-2018). CEUR Workshop Proceedings 2161, Castellaneta Marina
(Taranto), Italy, June 24-27, 2018.
231 Giovanni Amendola, Nicola Leone and Marco Manna. Querying finite or arbitrary
models? No matter! Existential rules may rely on both once again. Proceedings of the
25th Italian Symposium on Advanced Database Systems (SEBD-2017) . Squillace Lido
(Catanzaro), Italy, June, 25-29th, 2017.
232 Onofrio Febbraro, Nicola Leone, Kristian Reale and Francesco Ricca. Extending
ASPIDE with User- defined Plugins. Proceedings of the 27-th Italian Conference on
Computational Logics CILC’12, Rome, Italy, June 6–8, 2012.
233 C. Dodaro, M. Alviano, W. Faber, N. Leone, F. Ricca, M. Sirianni. The Birth of a WASP:
Preliminary Report on a New ASP Solver. Proceedings of the 26-th Italian Conference
on Computational Logics CILC’11, Pescara, Italy, August 31 - September 2, 2011.
234 G. Candreva, G. De Franco, D. De Santo, C. Donato, A. Dimasi, G. Grasso, S. M. Ielpa,
S. Iiritano, N. Leone, and F. Ricca. IDUM a Logic-Based System for e-Tourism
Proceedings of the Italian Conference on Computational Logics CILC’09, Ferrara,
Italy, June 2009.
235 Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, and Nicola Leone. Bottom-
up evaluation of finitely recursive queries. Proceedings of the Italian Conference on
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 22 / 24
Computational Logics CILC’09, Ferrara, Italy, June 2009.
236 Wolfgang Faber Annamaria Bria and Nicola Leone. nfn2dlp: A compiler for normal form
nested programs. Proceedings of the Italian Conference on Computational Logics
CILC’09, Ferrara, Italy, June 2009.
237 Gisella Bennardo, Giovanni Grasso, Salvatore Maria Ielpa, Nicola Leone, Francesco
Ricca. Lifting Databases to Ontologies. Proceedings of the Italian Conference on
Computational Logics CILC’08. Perugia, Italy, 9–12 Luglio 2008.
238 Mario Alviano, Wolfgang Faber, Nicola Leone. Compiling Minimum and Maximum
Aggregates into Standard ASP. Proceedings of the Italian Conference on Computational
Logics CILC’08. Perugia, Italy, 9–12 Luglio 2008.
239 Annamaria Bria, Wolfgang Faber, Nicola Leone. Normal Form Nested Programs
Proceedings of the Italian Conference on Computational Logics CILC08. Perugia,
Italy, 912 Luglio 2008.
240 Mario Alviano, Wolfgang Faber, Nicola Leone. Using Unfounded Sets for Computing
Answer Sets of Programs with Recursive Aggregates. Proceedings of the Italian
Conference on Computational Logics CILC’07. Messina, 21-22 Giugno 2007.
241 Wolfgang Faber, Nicola Leone, Marco Maratea and Francesco Ricca. Implementation
and Evaluation of Look-Back Techniques and Heuristics. Proceedings of the Italian
Conference on Computational Logics CILC’07. Messina, 21-22 Giugno 2007.
242 L. Gallucci, G. Grasso, N. Leone, F. Ricca. Interoperability Mechanisms for Ontology
Management Systems. Proceedings of the Italian Conference on Computational Logics
CILC07. Messina, 21-22 Giugno 2007.
243 Gelsomina Catalano, Nicola Leone, Simona Perri. Indexing Techniques for the DLV
Instantiator. Proceedings of the Italian Conference on Computational Logics CILC’07.
Messina, 21-22 Giugno 2007.
244 Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà. Towards a Semantic
Information Extraction Approach from Unstructured Documents. Proceedings of the
Fourteenth Italian Symposium on Advanced Database Systems (SEBD-2006).
Portonovo (Ancona), Italy, 1821 Giugno 2006, pp. 167174.
245 N. Leone, F. Ricca. OntoDLV: An Object-Oriented Disjunctive Logic Programming
System. Procee- dings of the Italian Conference on Computational Logics CILC’06.
26-27 Giugno 2006.
246 Wolfgang Faber, Gianluigi Greco, Nicola Leone. Magic Sets and their Application to
Data Integration. Proceedings of the Thirteenth Italian Symposium on Advanced
Database Systems (SEBD-2005). Bressanone, Italy, 20-22 June, 2005, pp. 4754.
247 Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi
Greco, Edyta Ka-lka, Giovambattista Ianni, Domenico Lembo, Vincenzino Lio, Bartosz
Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina The
INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems
(SEBD-2005). Bressanone, Italy, 20-22 June, 2005, pp. 55-66.
248 M. Citrigno, W. Faber, G. Greco, N. Leone, Efficient Evaluation of Disjunctive Datalog
Queries with Aggregate Functions, Proceedings of the Italian Conference on
Computational Logics CILC’04, Parma, 16-17 giugno 2004, pp. 148162.
249 G. Greco, N. Leone, F. Scarcello, On Weighted Hypertree Decompositions,
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems
SEBD 2004, S. Margherita di Pula (Cagliari), Italy, 21-23 June, 2004.
250 N. Leone, A. Mazzitelli, F. Scarcello Cost-Based Query Decompositions”. in Atti del
Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Bati, SEBD-2002,
Portoferraio (Isola d’Elba), 19-21 Giugno 2002.
251 N. Leone, S. Perri, F. Scarcello, Abduction with Penalization in Logic Programming,
Proceedings of the Seventh Congress of the Italian Association for Artificial Intelligence
AI*IA 01, Bari, Italy, September, pp. 123134, 2001.
252 F. Calimeri, W. Faber, N. Leone, S. Perri, G. Pfeifer, DLV Declarative Problem Solving
using Answer Set Programming, Proceedings of the Seventh Congress of the Italian
Association for Artificial Intelligence AI*IA 01, Bari, Italy, September, 2001.
253 N. Leone, S. Perri, F. Scarcello “Join Ordering Techniques for Knowledge Base
Systems”. in Atti del nono convegno nazionale su Sistemi Evoluti per basi di dati,SEBD-
2001, Venezia, Giugno 2001.
254 G. Gottlob, N. Leone, and F. Scarcello. Robbers, Marshals, and Guards: Game-
Theoretic and Logical Characterizations of Hypertree Width, in Atti del nono convegno
nazionale su Sistemi Evoluti per basi di dati,SEBD-2001, Venezia, Giugno 2001.
255 Nicola Leone, Simona Perri, Pasquale Rullo, Utilizzo di tecniche di AI per la
Programmazione Logica Disgiuntiva, Proceedings of the Sixth Congress of the Italian
Curriculum vitae
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 23 / 24
Association for Artificial Intelligence AI*IA 99, Bologna, Italy, 15-17 Settembre, 1999.
256 W. Faber, N. Leone, G. Pfeifer, dlv: a DLP System for AI, Proceedings of the Sixth
Congress of the Italian Association for Artificial Intelligence AI*IA 99, Bologna, Italy, 15-
17 Settembre, 1999.
257 N. Leone, Optimizing Fully-Bound Queries, Atti del Quinto Convegno sulla
Programmazione Logica GULP ’90, Padova, 6-8 Giugno 1990, pp. 245-254.
258 N. Leone, L. Palopoli, P. Restuccia, M. Romeo, Epsilon Adaptation on the EDS
Machine: some Implementation Issues, Atti del Sesto Convegno sulla Programmazione
Logica GULP 91, Pisa, 12-14 Giugno 1991, pp. 79-91.
259 N. Leone, G. Rossi, A Well-Founded Semantics for Ordered Logic Programming Atti del
Sesto Convegno sulla Programmazione Logica GULP 91, Pisa, 12-14 Giugno 1991,
pp. 321-330.
260 N. Leone, F. Messina, T. Mostardi, C. Siciliano Sincronizzazione e Ripristino di
Transazioni Distribuite in un Sistema Multidatabase, Atti del Convegno Nazionale su
Sistemi Evoluti per Basi di Dati SEBD ’93, Gizzeria Lido, 14-15 Giugno 1993.
261 F. Angiulli, N. Leone, F. Messina, M. Romeo Collegamento di Basi di Dati Orientate agli
Oggetti a Basi di Dati Relazionali Remote, Atti del II Convegno Nazionale su Sistemi
Evoluti per Basi di Dati - SEBD ’94, Rimini, 6-8 Giugno 1994, pp. 397-406.
262 N. Leone, P. Restuccia, M. Romeo, Valutazione Bottom-up di Programmi Datalog su
una Architettura Parallela, Atti Congresso Annuale AICA 1990, Bari, 19 Settembre 1990,
pp. 227-241.
263 N. Leone, P. Rullo, Adding Set Terms to Ordered Logic Programs, Atti dell Ottavo
Convegno sulla Programmazione Logica GULP ’93, Gizzeria Lido, 15-18 Giugno 1993.
264 N. Leone, F. Scarcello, Valutazione Efficiente della Semantica Non Deterministica dei
Programmi Logici Disgiuntivi, Atti del Convegno Nazionale su Sistemi Evoluti per Basi di
Dati SEBD 97, Verona, 2527 Giugno 1997.
Capitoli di Libri
265 G. Greco, N. Leone, F. Scarcello, G. Terracina. Structural Decomposition Methods: Key
Notions and Database Applications. in A Comprehensive Guide Through the Italian
Database Research Over the Last 25 Years , Studies in Big Data book series (SBD,
volume 31), Springer-Verlag, 31 May 2017.
266 W. Faber, N. Leone, S. Perri. The Intelligent Grounder of DLV. Springer-Verlag, Lecture
Notes in Computer Science (LNCS) 7265, 2012.
267 G. Grasso, N. Leone, M. Manna and F. Ricca ASP at Work: Spin-off and Applications of
the DLV System, in Logic Programming, Knowledge Represen- tation, and
Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of
His 65th Birthday. Lecture Notes in Computer Science 6565 Springer 2011, pp. 432-
451. ISBN 978-3-642-20831-7
268 M. Alviano, F. Calimeri, W. Faber, G. Ianni, N. Leone. Function Symbols in ASP:
Overview and Perspectives, in Nonmonotonic Reasoning - Essays Celebrating its 30th
Anniversary College Publications, London, 2011, pp.124.
269 F. Calimeri, N. Leone, F. Ricca, Answer Set Programming, in 25 Years of Logic
Programming in Italy, a cura di A. Dovier ed E. Pontelli. Springer-Verlag, Lecture Notes
in Computer Science, Vol. 6125, Cap. 8, 2010, pp. 159182.
270 W. Faber, N. Leone, F. Ricca, Answer Set Programming, in Encyclopedia of Computer
Science and Engineering, John Wiley & Sons, Inc., volume 1, pages 149162,
Hoboken, NJ, USA, Jan 2009.
271 T. Eiter, N. Leone, and D. Pearce. Assumption Sets for Extended Logic Programs. In J.
Gerbrandy, M. Marx, M. de Rijke, and Y. Venema, editors, JFAK. Essays Dedicated to
Johan van Benthem on the Occasion of his 50th Birthday. Amsterdam University Press,
1999. ISBN 90 5629 104 1.
272 T. Eiter, W. Faber, N. Leone, G. Pfeifer, Declarative Problem-Solving Using the DLV
System, in Logic-Based Artificial Intelligence, J. Minker editor, Kluwer Academic
Publishers, 2000, pp. 79103.
273 N. Leone, S. Perri, P. Rullo, Local Search Techniques for Disjunctive Logic Programs in
E. Lamma, P. Mello (eds) Lecture Notes in Artificial Intelligence 1792, Springer, Gennaio
2000, pp. 107118.
274 T. Eiter, N. Leone, and D. Pearce. Assumption Sets for Extended Logic Programs. In J.
Gerbrandy, M. Marx, M. de Rijke, and Y. Venema, editors, JFAK. Essays Dedicated to
Johan van Benthem on the Occasion of his 50th Birthday. Amsterdam University Press,
1999. ISBN 90 5629 104 1.
14/09/18 © Unione europea, 2002-2017 | http://europass.cedefop.europa.eu Pagina 24 / 24
275 N. Leone, L. Palopoli, D. Saccà, On the Complexity of Search Queries, In
Fundamentals of Information Systems, edito da T. Polle, T. Ripke e K.D. Schewe,
Kluwer Academic Publishers, cap. 8, pp. 113-127, 1999.
276 N. Leone, M. Romeo, P. Rullo, D. Sac, Effective Implementation of Negation in
Database Logic Query Languages, in LOGIDATA+: Deductive Database with Complex
Objects, Lecture Notes in Computer Science 701, Springer-Verlag, 1993, pp. 159-175.
Libri (editore)
277 F. Calimeri, K.W. Hamlen, N. Leone. Proceedings of the 20th International Symposium
on Practical Aspects of Declarative Languages - PADL 2018 , Los Angeles, CA, USA,
January 8-9, 2018, Lecture Notes in Computer Science 10702, Springer Verlag, 2018,
ISBN 978-3-319-73304-3.
278 M. Gelfond, N. Leone, G. Pfeifer (editors) Proceedings of the 5th International
Conference on Logic Programming and Nonmonotonic Reasoning LPNMR’99,
Lecture Notes in Artificial Intelligence (LNAI) 1730, Springer-Verlag, 1999.
279 S.Flesca, S. Greco, G. Ianni, N. Leone (editors), Proceedings of the 8th European
Conference on Logics in Artificial Intelligence JELIA’02 , Lecture Notes in Artificial
Intelligence (LNAI) 2424, Springer-Verlag, 2002.
280 Chitta Baral, Gianluigi Greco, Nicola Leone, and Giorgio Terracina (editors).
Proceedings of the 8th International Conference on Logic Programming and
Nonmonotonic Reasoning LPNMR’05, Lecture Notes in Computer Science (LNCS)
3662, Springer Verlag, September 2005.
Riviste (editore)
281 N. Leone Journal of the Theory and Practice of Logic Programming, Cambridge
University Press, Area Editor per Knowledge Representation and Nonmonotonic
Reasoning.
282 N. Leone Intelligenza Artificiale The International Journal of the AI*IA, IOS Press,
member of the editorial board.
283 W. Faber, N. Leone (guest editors), Journal of the Theory and Practice of Logic
Programming, Special Issue on the 25th Italian Logic Programming Conference,
volume 13, issue 2, 2013.
284 M. Gelfond, N. Leone (guest editors), Artificial Intelligence, Special Issue on Knowledge
Representation and Logic Programming, Elsevier, Volume 138, N. 1 and 2, June, 2002.
DATI PERSONALI
Autorizzo il trattamento dei miei dati personali ai sensi del Decreto Legislativo 30 giugno 2003,
n. 196 "Codice in materia di protezione dei dati personali”.