Nicola Leone
Vai alla navigazione
Vai alla ricerca
Nicola Leone (Diamante, 28 febbraio 1963) è un informatico italiano, magnifico rettore dell'Università della Calabria dal 1º novembre 2019.
Carriera e ricerca[modifica | modifica wikitesto]
È 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.
Premi e riconoscimenti[modifica | modifica wikitesto]
- Fellow della European Association for Artificial Intelligence (EurAI),[20] ″riconosciuto come un ricercatore Europeo nel campo dell'Intelligenza Artificiale che ha dato un contributo eccezionale nel settore″.[21]
- Membro della Academia Europæa.[22]
- È stato nominato honorarprofessor presso la TU Wien.[23]
- Incluso nella lista dei Top Italian Scientists della Via Academy,[24] che comprende gli scienziati italiani più citati in tutte le discipline.
- Ha vinto diversi Best-Paper award nelle conferenze di programmazione logica.[25][26]
- Ha vinto due Test-of-Time Awards, dalla Association for Computing Machinery (ACM) (2009),[27] e dalla Association for Logic Programming (2018),[28] premi attribuiti agli articoli più influenti presentati alle conferenze principali dell'associazione nei 10 anni precedenti.[29]
Note[modifica | modifica wikitesto]
- ^ 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).
- ^ 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.
- ^ 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.
- ^ Awards – Ph.D. in Mathematics and Computer Science, su mat.unical.it.
Collegamenti esterni[modifica | modifica wikitesto]
- Sito ufficiale, su mat.unical.it.
| Controllo di autorità | ORCID (EN) 0000-0002-9742-1252 |
|---|
