Леоне, Никола
Нико́ла Лео́не (итал. Nicola Leone, род. 28 февраля 1963, Диаманте) — итальянский ученый-информатик, исследователь искусственного интеллекта. Ректор Университета Калабрии с 1 ноября 2019 года, профессор информатики[1][2]. Ранее был профессором в Венском техническом университете[3].
| Никола Леоне | |
|---|---|
 Nicola Leone | |
| Дата рождения | 28 февраля 1963 (59 лет) |
| Место рождения | Диаманте, Италия |
| Страна | Италия |
| Научная сфера | Искусственный интеллект, Представление знаний |
| Место работы | Ректор Университета Калабрии |
| Альма-матер | |
| Сайт | unical.it/portale/ateneo… |
Научная работа
Леоне опубликовал более 250 научных статей в области искусственного интеллекта, представления знаний, а также теории баз данных[4].
В области искусственного интеллекта и представления знаний Леоне наиболее известен своей ранней работой по программированию наборов ответов (ASP) и разработкой DLV, новаторской системы представления знаний и рассуждений, которая была самой первой успешной попыткой полностью поддерживать дизъюнкцию в языке журнала данных, достигая возможности вычислять задачи высокой сложности, вплоть до NP.
В области теории баз данных он внес свой вклад в основном благодаря изобретению декомпозиции гипердерева, основы для получения управляемых структурных классов конъюнктивных запросов и обобщения понятия декомпозиции дерева из теории графов . Эта работа также оказала существенное влияние на искусственный интеллект, поскольку известно, что проблема оценки конъюнктивных запросов в реляционных базах данных эквивалентна проблеме удовлетворения ограничений[5].
Членство и награды
- Член Европейского координационного комитета по искусственному интеллекту (EurAI)[6]
- Член Европейской академии (Academia Europaea)[7]
- Почетный профессор Венского технического университета[8]
- Леоне получил множество наград на конференциях по логическому программированию, также был награжден двумя Test-of-Time Awards от Ассоциации вычислительной техники (ACM) (2009)[9] и от Ассоциации по логическому программированию (ALP) (2018)[10]
Примечания
- Nicola Leone nuovo rettore Unical. Agenzia Nazionale Stampa Associata.
- Rende, Nicola Leone è il nuovo rettore dell'Unical. il Quotidiano del Sud.
- DBAI -- Prof. Nicola Leone. TU Wien.
- Università della Calabria, il più grande campus d’Italia alla prova del post Covid (итал.), la Repubblica (3 August 2020).
- Kolaitis, P.G.; Vardi, M.Y. (2000). “Conjunctive-Query Containment and Constraint Satisfaction”. Journal of Computer and System Sciences. 61 (2): 302—332. DOI:10.1006/jcss.2000.1713.
- Fellows. European Association for Artificial Intelligence.
- Academia Europaea. Academia Europaea.
- Carlo Ghezzi and Nicola Leone received Academic Commendation. TU Wien.
- ACM PODS Alberto O. Mendelzon Test-of-Time Award. SIGMOD.
- Pontelli, Enrico ICLP 2018: Conference Report – Association for Logic Programming. New Mexico State University.