| Nicola Leone | |
|---|---|
| Nicola Leone | |
| Födelsedatum | 28 februari 1963 (59 år) |
| Födelseort | Diamante , Italien |
| Land | Italien |
| Vetenskaplig sfär | Artificiell intelligens , Kunskapsrepresentation |
| Arbetsplats | Rektor för universitetet i Kalabrien |
| Alma mater | |
| Hemsida | unical.it/portale/ateneo... |
Nicola Leone ( italienska: Nicola Leone , född 28 februari 1963 , Diamante ) är en italiensk datavetare och artificiell intelligensforskare . Rektor för University of Calabria sedan 1 november 2019, professor i datavetenskap [1] [2] . Tidigare var han professor vid Wiens tekniska universitet [3] .
Leone har publicerat mer än 250 vetenskapliga artiklar inom området artificiell intelligens , kunskapsrepresentation och databasteori [4] .
Inom området artificiell intelligens och kunskapsrepresentation är Leone mest känd för sitt tidiga arbete med responsuppsättningsprogrammering (ASP) och utvecklingen av DLV , ett banbrytande kunskapsrepresentation och resonemangssystem som var det allra första framgångsrika försöket att fullt ut. stödja disjunktion i dataloggspråket, vilket uppnår förmågan att beräkna problem med hög komplexitet , upp till NP .
Inom databasteorin bidrog han huvudsakligen genom uppfinningen av hyperträdnedbrytning, ett ramverk för att härleda hanterade strukturklasser av konjunktiva frågor och en generalisering av begreppet trädnedbrytning från grafteorin. Detta arbete hade också en betydande inverkan på artificiell intelligens, eftersom problemet med att utvärdera konjunktiva frågor i relationsdatabaser är känt för att motsvara problemet med tillfredsställelse av begränsningar [5] .