1

Unical, premiata ad Oxford la ricerca del prof. Leone

Le ricerche svolte del gruppo di Intelligenza Artificiale, diretto dal prof. Nicola Leone del Dipartimento di Matematica e Informatica dell’Unical, sono state insignite del prestigioso Test-of-Time Award nel corso della Federated Logic Conference (FLOC), che si conclude oggi (19 luglio 2018) ad Oxford (Regno Unito).

Il riconoscimento è stato conferito nell’ambito della ICLP (International Conference on Logic Programming), il convegno mondiale di Programmazione Logica, importante branca dell’Intelligenza Artificiale. Il comitato scientifico internazionale ha ritenuto che l’articolo, intitolato “Computable functions in ASP theory and implementation”, abbia avuto il maggiore impatto nell’ultimo decennio nel settore di ricerca, premiando con il prestigioso Test-of-Time Award i suoi autori Francesco Calimeri, Susanna Cozza, Giovambattista Ianni e Nicola Leone del Dipartimento di Matematica e Informatica dell’Università della Calabria.

L’articolo dimostra risultati teorici fondamentali nell’ambito della programmazione logica, che trovano concretezza e applicazione attraverso l’implementazione nel sistema di Intelligenza Artificiale DLV, sviluppato dal gruppo di Leone, e utilizzato in università e centri di ricerca di tutto il mondo, nonché in evolute applicazioni industriali di AI. Il prof. Leone, che ha ritirato il premio ad Oxford, ha illustrato la ricerca e il suo impatto, relazionando nella sessione plenaria della conferenza.

Il Test-of-Time Award è l’ennesima attestazione dell’alto valore scientifico che la comunità internazionale riconosce al gruppo di Intelligenza Artificiale diretto dal prof. Leone dell’Unical, che consegue il quinto premio dell’anno dopo il Best Paper ICLP’17 a Giovanni Amendola, Nicola Leone e Marco Manna (Melbourne, Australia, Agosto 2017), il Marco Somalvico Award a Mario Alviano (Bari, Dicembre 2017), il Best Paper PADL’18 a Francesco Calimeri, Davide Fuscà, Simona Perri e Jessica Zangari (Los Angeles, USA, Gennaio 2018), e il Distinguished Paper IJCAI a Gianluigi Greco (Stoccolma, Luglio 2018).

E nel prossimo biennio, l’Università della Calabria diverrà la capitale europea della Logica in Intelligenza Artificiale, avendo ricevuto l’assegnazione di tre prestigiosi simposi internazionali: la Conferenza Europea di Logica in Intelligenza Artificiale (JELIA, Maggio 2019), la Conferenza Italiana di Intelligenza Artificiale (AI*IA, Dicembre 2019) e la Conferenza Internazionale di Programmazione Logica (ICLP, Settembre 2020). I tre simposi internazionali, che ospiteranno i massimi esperti mondiali del settore, si svolgeranno presso il Dipartimento di Matematica e Informatica dell’Università della Calabria, affidati alla presidenza scientifica del prof. Nicola Leone.