Nicola Leone es un informático italiano que trabaja en las áreas de inteligencia artificial , representación y razonamiento del conocimiento y teoría de bases de datos . [1] Leone es actualmente rector de la Universidad de Calabria y profesor de Ciencias de la Computación . [2] [3] Anteriormente, fue profesor de Sistemas de Bases de Datos en la TU Wien . [4]
Leone ha publicado más de 250 artículos científicos en las áreas de inteligencia artificial , representación y razonamiento del conocimiento y teoría de bases de datos . [5]
En el área de inteligencia artificial y representación y razonamiento del conocimiento , es más conocido por su influyente trabajo inicial sobre programación de conjuntos de respuestas (ASP) y por el desarrollo de DLV , un sistema pionero para la representación y razonamiento del conocimiento , que fue el primer intento exitoso de soportar completamente la disyunción en el lenguaje de registro de datos , logrando la posibilidad de calcular problemas de alta complejidad , hasta NP .
En el campo de la teoría de bases de datos, contribuyó principalmente con la invención de la descomposición en hiperárboles , un marco para obtener clases estructurales manejables de consultas conjuntivas , y una generalización de la noción de descomposición en árboles a partir de la teoría de grafos . Este trabajo también ha tenido un impacto sustancial en la inteligencia artificial, ya que se sabe que el problema de evaluar consultas conjuntivas en bases de datos relacionales es equivalente al problema de satisfacción de restricciones [6].