Premi Scientifici e Riconoscimenti

• 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 più importante conferenza al mondo nel campo della 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 più importante conferenza al mondo nel campo della 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 comunità 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 più importante conferenza al mondo nel campo della Programmazione Logica – per le ricerche presentate nell’articolo intitolato "Complexity and Compilation of GZ-Aggregates in Answer Set Programming", svolte con Mario Alviano.

• Vincitore dell'ACM-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 piu´ 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 l’Intelligenza Artificiale (ECCAI) agli scienziati che hanno fornito contributi particolarmente signi- ficativi 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 più importante riconoscimento nel settore dell’Intelligenza Artificiale in Europa.

• Vincitore del Premio Città 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 più citati di tutte le discipline.

Presidenza di Comitati di Scientifici (Program/Conference Chair):

• JELIA 2019 - 16th European Conference on Logics in Artificial Intelligence, Rende, Italy, May, 2019 (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.