Nicola Leone
Nicola Leone (Diamante, 28 febbraio 1963) è un informatico italiano, magnifico rettore dell'Università della Calabria dal 01/11/2019 al 31/10/2025.
Carriera e ricerca
È stato professore di Database Systems presso la TU Wien[1][2]. Dal 2000 è professore ordinario presso l'Università della Calabria.
Si occupa di intelligenza artificiale[3] rappresentazione della conoscenza,[4][5][6] e basi di dati[7][8][9]. In tali ambiti ha pubblicato più di 250 articoli scientifici.[10][11][12]
Nell'area dell'intelligenza artificiale e della rappresentazione della conoscenza è conosciuto principalmente per il suo lavoro nell'ambito dell'answer set programming (ASP)[13][14][15][16] e per lo sviluppo di DLV,[17] 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,[18][19] 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 [20][21] e le Applicazioni dell'Intelligenza Artificiale alla Medicina.[21][22]
Premi e riconoscimenti
- Fellow della European Association for Artificial Intelligence (EurAI),[23] ″riconosciuto come un ricercatore Europeo nel campo dell'Intelligenza Artificiale che ha dato un contributo eccezionale nel settore″.[24]
- Membro della Academia Europæa.[25]
- Honorarprofessor presso la TU Wien.[26]
- Fellow della International Core Academy of Sciences and Humanities.[27][28]
- Fellow della Artificial Intelligence Industry Alliance (AIIA).[29][30]
- Fellow della Asia-Pacific Artificial Intelligence Association (AAIA).[29][31]
- Incluso nella lista dei Top Italian Scientists della Via Academy,[32] che comprende gli scienziati italiani più citati in tutte le discipline.
- Ha vinto diversi Best-Paper award nelle conferenze di programmazione logica.[33][34]
- Ha vinto due Test-of-Time Awards, dalla Association for Computing Machinery (ACM) (2009),[35] e dalla Association for Logic Programming (2018),[36] premi attribuiti agli articoli più influenti presentati alle conferenze principali dell'associazione nei 10 anni precedenti.[37]
Note
- ↑ DBAI -- Prof. Nicola Leone, su dbai.tuwien.ac.at.
- ↑ ORCID, su orcid.org.
- ↑ ,(EN) Calabria confirms its contribution to computer science, su ResearchItaly - Calabria confirms its contribution to computer science. URL consultato il 25 marzo 2020 (archiviato dall'url originale il 16 luglio 2019).
- ↑ (EN) GottlobGeorg, LeoneNicola e ScarcelloFrancesco, The complexity of acyclic conjunctive queries, in Journal of the ACM (JACM), 1º maggio 2001, DOI:10.1145/382780.382783. URL consultato il 25 marzo 2020.
- ↑ (EN) Christoph Koch, Nicola Leone e Gerald Pfeifer, Enhancing disjunctive logic programming systems by SAT checkers, in Artificial Intelligence, vol. 151, n. 1, 1º dicembre 2003, pp. 177-212, DOI:10.1016/S0004-3702(03)00078-X. URL consultato il 25 marzo 2020.
- ↑ (EN) LeoneNicola, PfeiferGerald e FaberWolfgang, The DLV system for knowledge representation and reasoning, in ACM Transactions on Computational Logic (TOCL), 1º luglio 2006, DOI:10.1145/1149114.1149117. URL consultato il 25 marzo 2020.
- ↑ Rep, su rep.repubblica.it. URL consultato il 25 marzo 2020.
- ↑ (EN) dblp: Nicola Leone, su dblp.uni-trier.de. URL consultato il 25 marzo 2020.
- ↑ Scopus preview - Scopus - Author details (Leone, Nicola), su scopus.com. URL consultato il 25 marzo 2020.
- ↑ Nicola Leone – Google Scholar Citations, su scholar.google.com.
- ↑ dblp: Nicola Leone, su dblp.uni-trier.de.
- ↑ Scopus preview – Scopus – Author details (Leone, Nicola), su scopus.com.
- ↑ C. Koch, N. Leone e G. Pfeifer, Enhancing disjunctive logic programming systems by SAT checkers, in Artificial Intelligence, vol. 151, 1–2, 2003, pp. 177-212, DOI:10.1016/S0004-3702(03)00078-X.
- ↑ F. Buccafurri, N. Leone e P. Rullo, Enhancing Disjunctive Datalog by Constraints, in IEEE Transactions on Knowledge and Data Engineering, vol. 12, n. 5, 2000, pp. 845-860, DOI:10.1109/69.877512.
- ↑ W. Faber, G. Pfeifer e N. Leone, Semantics and complexity of recursive aggregates in answer set programming, in Artificial Intelligence, vol. 175, n. 1, 2011, pp. 278-298, DOI:10.1016/j.artint.2010.04.002.
- ↑ N. Leone, P. Rullo e F. Scarcello, Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation, in Information and Computation, vol. 135, n. 2, 1997, pp. 69-112, DOI:10.1006/inco.1997.2630.
- ↑ N. Leone, G. Pfeifer, W. Faber, G. Gottlob, S. Perri e F. Scarcello, The DLV system for knowledge representation and reasoning, in ACM Transactions on Computational Logic (TOCL), vol. 7, n. 3, 2006, pp. 499-562, DOI:10.1145/1149114.1149117.
- ↑ G. Gottlob, N. Leone e F. Scarcello, Hypertree Decompositions and Tractable Queries, in Journal of Computer and System Sciences, vol. 64, n. 3, 2002, p. 579, DOI:10.1006/jcss.2001.1809.
- ↑ Calabria confirms its contribution to computer science, su ResearchItaly – Calabria confirms its contribution to computer science. URL consultato il 16 luglio 2019 (archiviato dall'url originale il 16 luglio 2019).
- ↑ 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/S1471068423000170
- 1 2 Q.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
- ↑ 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
- ↑ Fellows | European Association for Artificial Intelligence, su eurai.org.
- ↑ Fellow Program | European Association for Artificial Intelligence, su eurai.org.
- ↑ ae-info.org, https://www.ae-info.org/ae/Member/Leone_Nicola.
- ↑ informatics.tuwien.ac.at, https://informatics.tuwien.ac.at/stories-1760.
- ↑ coreacad.org, https://www.coreacad.org/.
- ↑ coreacad.org, https://www.coreacad.org/Member.aspx?ProId=163.
- 1 2 aiia-ai.org, https://www.aiia-ai.org/.
- ↑ aiia-ai.org, https://www.aiia-ai.org/nd.jsp?id=779.
- ↑ aiia-ai.org, https://www.aiia-ai.org/nd.jsp?id=779&fromMid=3681&groupId=31.
- ↑ Top Italian Scientists Computer Sciences, su topitalianscientists.org.
- ↑ Researchers at the University of Calabria awarded the prize for best research on Logic Programming, su ResearchItaly – Researchers at the University of Calabria awarded the prize for best research on Logic Programming. URL consultato il 16 luglio 2019 (archiviato dall'url originale il 16 luglio 2019).
- ↑ University of Calabria wins once again with Artificial Intelligence, su ResearchItaly – University of Calabria wins once again with Artificial Intelligence. URL consultato il 16 luglio 2019 (archiviato dall'url originale il 16 luglio 2019).
- ↑ ACM PODS Alberto O. Mendelzon Test-of-Time Award – SIGMOD Website, su sigmod.org.
- ↑ Enrico Pontelli, ICLP 2018: Conference Report – Association for Logic Programming, su cs.nmsu.edu. URL consultato il 16 luglio 2019 (archiviato dall'url originale il 15 gennaio 2021).
- ↑ Awards – Ph.D. in Mathematics and Computer Science, su mat.unical.it.
Altri progetti
Wikimedia Commons contiene immagini o altri file su Nicola Leone
Collegamenti esterni
- Sito ufficiale, su mat.unical.it.
| Controllo di autorità | ORCID (EN) 0000-0002-9742-1252 |
|---|