Wikipedia

Nicola Leone

informatico e accademico italiano
Versione del 16 lug 2019 alle 17:17 di Superspritz (discussione | contributi)
A questa voce o sezione va aggiunto il template {{Bio}}
Puoi aggiungere e riempire il template secondo le istruzioni e poi rimuovere questo avviso. Se non sei in grado di riempirlo in buona parte, non fare nulla; non inserire template vuoti.

Nicola Leone è un accademico italiano, professore ordinario di Informatica presso l'Università della Calabria. Esperto di intelligenza artificiale, rappresentazione della conoscenza e basi di dati [1][2][3][4][5][6][7][8][9][10], è rettore dell'Università della Calabria.[11]

Carriera e ricerca

È stato professore di Database Systems presso la TU Wien.[12][5]

Ha pubblicato più di 250 articoli scientifici nelle aree dell'intelligenza artificiale, della rappresentazione della conoscenza, e delle base di dati.[2][3][4]

Nell'area dell'intelligenza artificiale e della rappresentazione della conoscenza, è conosciuto principalmente per il suo lavoro nell'ambito dell'answer set programming (ASP)[7][13][14][15] e per lo sviluppo di DLV,[8] un sistema avanzato per la rappresentazione della conoscenza.

Nel campo delle basi di dati ha contribuito all'invenzione della hypertree decomposition,[9][10] un framework per ottenere classi trattabili di query congiuntive, e una generalizzazione della nozione di tree decomposition della teoria dei grafi.

Premi e riconoscimenti

Note

  1. ^ Repubblica, su rep.repubblica.it.
  2. ^ a b Nicola Leone – Google Scholar Citations, su scholar.google.com.
  3. ^ a b dblp: Nicola Leone, su dblp.uni-trier.de.
  4. ^ a b Scopus preview – Scopus – Author details (Leone, Nicola), su scopus.com.
  5. ^ a b ORCID, su orcid.org.
  6. ^ The Complexity of Acyclic Conjunctive Queries, in Journal of the ACM, vol. 48, n. 3, 2001, pp. 431–498, DOI:10.1145/382780.382783.
  7. ^ a b 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.
  8. ^ a b 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.
  9. ^ a b 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.
  10. ^ a b Calabria confirms its contribution to computer science, su researchitaly.it.
  11. ^ Ansa, su ansa.it.
  12. ^ DBAI -- Prof. Nicola Leone, su dbai.tuwien.ac.at.
  13. ^ 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.
  14. ^ 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.
  15. ^ 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.
  16. ^ Fellows | European Association for Artificial Intelligence, su eurai.org.
  17. ^ Fellow Program | European Association for Artificial Intelligence, su eurai.org.
  18. ^ Top Italian Scientists Computer Sciences, su topitalianscientists.org.
  19. ^ Researchers at the University of Calabria awarded the prize for best research on Logic Programming, su researchitaly.it.
  20. ^ University of Calabria wins once again with Artificial Intelligence, su researchitaly.it.
  21. ^ ACM PODS Alberto O. Mendelzon Test-of-Time Award – SIGMOD Website, su sigmod.org.
  22. ^ Enrico Pontelli, ICLP 2018: Conference Report – Association for Logic Programming, su cs.nmsu.edu.
  23. ^ Awards – Ph.D. in Mathematics and Computer Science, su mat.unical.it.
Estratto da "https://it.wikipedia.org/w/index.php?title=Nicola_Leone&oldid=106596275"