Carriera e ricerca È stato professore di Database Systems presso la TU Wien. Dal 2000 è professore ordinario presso l'Università della Calabria.
Si occupa di intelligenza artificiale, rappresentazione della conoscenza, e basi di dati. In tali ambiti ha pubblicato più di 250 articoli scientifici.
Nell'area dell'intelligenza artificiale e della rappresentazione della conoscenza è conosciuto principalmente per il suo lavoro nell'ambito dell'answer set programming (ASP) e per lo sviluppo di DLV, un sistema avanzato per la rappresentazione della conoscenza ed il ragionamento automatico.
Nel campo delle basi di dati ha contribuito all'invenzione della hypertree decomposition, un framework per ottenere classi trattabili di query congiuntive, e una generalizzazione della nozione di tree decomposition della teoria dei grafi.
Le sue ricerche più recenti riguardano l'Intelligenza Artificiale Neuro-simbolica V. Barbara, M. Guarascio, N. Leone, G. Manco, A. Quarta, F. Ricca, E. Ritacco: Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels. Theory and Practice of Logic Programming, Cambridge University Press, 23(4):748-764 (2023). DOI: https://doi.org/10.1017/S1471068423000170Q.Wang, Y.Dai, A.Aiolfi, M, Manna, A.Ricioppo, X, Liu, V. Pezzi, N. Leone, L. Bonavina: Towards a neuro-symbolic approach for precision anti-reflux surgery. Updates in Surgery, Springer Nature (published online on April 10) 2026. DOI: https://doi.org/10.1007/s13304-026-02645-3 e le Applicazioni dell'Intelligenza Artificiale alla Medicina.C. Indolfi, N. Leone et al.: Expert consensus document on artificial intelligence of the Italian Society of Cardiology. Journal of Cardiovascular Medicine. 26(5): 210-215 (May 2025). DOI: https://doi.org/10.2459/JCM.0000000000001716
Premi e riconoscimenti Fellow della European Association for Artificial Intelligence (EurAI), ″riconosciuto come un ricercatore Europeo nel campo dell'Intelligenza Artificiale che ha dato un contributo eccezionale nel settore″. Membro della Academia Europæa. Honorarprofessor presso la TU Wien. Fellow della International Core Academy of Sciences and Humanities. Fellow della Artificial Intelligence Industry Alliance (AIIA). Fellow della Asia-Pacific Artificial Intelligence Association (AAIA). Incluso nella lista dei Top Italian Scientists della Via Academy, che comprende gli scienziati italiani più citati in tutte le discipline. Ha vinto diversi Best-Paper award nelle conferenze di programmazione logica. Ha vinto due Test-of-Time Awards, dalla Association for Computing Machinery (ACM) (2009), e dalla Association for Logic Programming (2018), premi attribuiti agli articoli più influenti presentati alle conferenze principali dell'associazione nei 10 anni precedenti.
Note
Altri progetti
Collegamenti esterni
Categoria:Professori dell'Università della Calabria Categoria:Membri dell'Academia Europaea Categoria:Rettori dell'Università della Calabria