![](http://www.ottoetrenta.it/wp-content/uploads/2012/07/DLVSYSTEM-LOGO-SQUAREd-transparent-background1-300x221.png)
La candidatura del prof. Leone e` stata proposta da un team composto da 4 autorita` del settore dell’Intelligenza Artificiale: il prof. Thomas Eiter (Vienna University of Technology, Austria), il prof. Alberto Martelli (Universita` di Torino), il prof. Jack Minker (University of Maryland, USA), ed il prof. Miroslaw Truszczynski (University of Kentucky, USA). I proponenti hanno evidenziato gli straordinari risultati di ricerca in Intelligenza Artificiale conseguiti dal prof. Leone, che spaziano dalla teoria degli ipergrafi, al “constraint satisfaction” ed alla logica computazionale, sottolineando la notevole combinazione della ricerca di base con la ricerca applicata ed il trasferimento tecnologico, che ha coniugato la dimostrazione teoremi e proprieta` fondamentali con lo di sviluppo di sistemi complessi ed innovative applicazioni dell’Intelligenza Artificiale, dando vita persino a spin-off ed aziende. Tra i contributi piu` largamente diffusi del prof. Leone, va ricordato il suo sistema di Intelligenza Artificiale DLV , utilizzato in universita` e centri di ricerca di tutto il mondo, e sperimentato persino alla NASA (per le manovre a terra della navetta spaziale) ed al CERN di Ginevra (per l’integrazione di dati provenienti dall’acceleratore nucleare). A sostegno della proposta sono stati riportati anche i numerosi premi internazionali gia` conseguiti dal prof. Leone, tra cui spicca il prestigioso Mendelzon Test-of-Time Award conferitogli a Providence (NY, USA) nel 2009, ed il forte impatto delle sue ricerche, testimoniato da un altissimo numero di citazioni scientifiche (oltre 6.000), con un “H-Index” pari a 41 che gli e` valso l’inclusione nella classifica dei “top italian scientists” stilata dalla Via Academy.