Nicola Leone
From Wikipedia, the free encyclopedia
- Academia Europaea
- EurAI Fellow
- ACM Test-of-Time Award (2009)
- ALP Test-of-Time Award (2018)
Nicola Leone | |
|---|---|
 | |
| Born | 28 February 1963 |
| Alma mater | University of Calabria |
| Awards |
|
| Scientific career | |
| Fields | Artificial intelligence, knowledge representation and reasoning, and database theory |
| Institutions | University of Calabria TU Wien |
| Website | mat |
Nicola Leone is an Italian computer scientist who works in the areas of artificial intelligence, knowledge representation and reasoning, and database theory.[1] Leone is an professor of computer science at the University of Calabria. He previously served as rector[2] of the university and was earlier a professor of database systems at TU Wien.
Leone has published more than 250 scientific articles in the areas of artificial intelligence, knowledge representation and reasoning, and database theory.[3]
In the area of artificial intelligence and knowledge representation and reasoning, he is best known for his influential early work on answer set programming (ASP) and for the development of DLV, a pioneering system for knowledge representation and reasoning, which was the very first successful attempt to fully support disjunction in the datalog language, achieving the possibility to compute problems of high complexity, up to NP.
To the field of database theory he mainly contributed through the invention of hypertree decomposition, a framework for obtaining tractable structural classes of conjunctive queries, and a generalisation of the notion of tree decomposition from graph theory. This work has also had substantial impact in artificial intelligence, since it is known that the problem of evaluating conjunctive queries on relational databases is equivalent to the constraint satisfaction problem[4]
