Из Википедии, свободной энциклопедии
Перейти к навигации Перейти к поиску
Никола Леоне
Никола Леоне.jpg
Рожденный28 февраля 1963 г.
Диаманте, Италия
НациональностьИтальянский
Альма-матерУниверситет Калабрии
Награды
Научная карьера
ПоляИскусственный интеллект , представление и рассуждение знаний , а также теория баз данных
УчрежденияУниверситет Калабрии,
TU Wien
Веб-сайтmat .unical .it / leone / wiki / HomePage

Никола Леоне - итальянский ученый-компьютерщик, работающий в области искусственного интеллекта , представления и рассуждения знаний , а также теории баз данных . [1] Леон в настоящее время является ректор из Университета Калабрии и профессор компьютерных наук . [2] [3] Ранее он был профессором систем баз данных в Венском техническом университете . [4]

Исследовательская работа [ править ]

Леоне опубликовал более 250 научных статей в области искусственного интеллекта , представления знаний и рассуждений , а также теории баз данных . [5]

В области искусственного интеллекта и представления знаний и рассуждений он наиболее известен своей ранней влиятельной работой по программированию наборов ответов (ASP) и разработкой DLV , новаторской системы представления знаний и рассуждений , которая была самой первой успешной. попытка полностью поддерживать дизъюнкцию в языке журнала данных , достигая возможности вычислять задачи высокой сложности , вплоть до NP .

В области теории баз данных он в основном внес свой вклад благодаря изобретению декомпозиции гипердерева , основы для получения управляемых структурных классов конъюнктивных запросов и обобщения понятия декомпозиции дерева из теории графов . Эта работа также оказала существенное влияние на искусственный интеллект, поскольку известно, что проблема оценки конъюнктивных запросов в реляционных базах данных эквивалентна проблеме удовлетворения ограничений [6]

Награды и награды [ править ]

  • Член Европейского координационного комитета по искусственному интеллекту (EurAI). [7]
  • Член Европейской академии . [8]
  • Почетный профессор Венского технического университета . [9]
  • Он выиграл множество наград за лучшую работу на конференциях по логическому программированию [10] [11] и был награжден двумя наградами Test-of-Time от Ассоциации вычислительной техники (ACM) (2009) [12] и от Ассоциации. для логического программирования (2018). [13]

Ссылки [ править ]

  1. ^ " " Siamo i campioni dell'informatica ". Benvenuti al Mit. Anzi, a Cosenza" . la Repubblica .
  2. ^ "Никола Леоне новое ретро Unical" . Agenzia Nazionale Stampa Associata .
  3. ^ "Ренд, Nicola Леоне è иль Nuovo rettore dell'Unical" . il Quotidiano del Sud .
  4. ^ "DBAI - Проф. Никола Леоне" . TU Wien .
  5. ^ "Università della Calabria, самый большой университетский городок Италии alla prova del post Covid" . la Repubblica (на итальянском языке). 3 августа 2020.
  6. ^ Колайтис, PG; Варди, MY (2000). «Сдерживание конъюнктивного запроса и удовлетворение ограничений». Журнал компьютерных и системных наук . 61 (2): 302–332. DOI : 10,1006 / jcss.2000.1713 .
  7. ^ "Товарищи" . Европейская ассоциация искусственного интеллекта .
  8. ^ "Academia Europaea" . Academia Europaea .
  9. ^ "Карло Геззи и Никола Леоне получили академическую награду" . TU Wien .
  10. ^ «Исследователи из Университета Калабрии награждены призом за лучшее исследование в области логического программирования» . ResearchItaly .
  11. ^ «Университет Калабрии снова побеждает с искусственным интеллектом» . ResearchItaly .
  12. ^ "ACM PODS Премия Альберто О. Мендельзона Test-of-Time" . SIGMOD .
  13. ^ Понтелли, Энрико. «ICLP 2018: Отчет о конференции - Ассоциация логического программирования» . Государственный университет Нью-Мексико .

Внешние ссылки [ править ]

  • Публикации Никола Леоне, проиндексированные Google Scholar