Università. IA, premiato ad Oxford il team del professor Leone
Al convegno mondiale di Programmazione Logica, che si conclude oggi si distingue il gruppo di lavoro di Intelligenza Artificiale coordinato dal professor Nicola Leone del Dipartimento di Matematica e Informatica dell'Università di Arcavacata.
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. 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 professor 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 da Leone dell'Unical, che consegue il quinto premio dell'anno dopo il Best Paper Iclp'17 a Giovanni Amendola, Nicola Leone e Marco Manna conferito a Melbourne nel 2017, il Marco Somalvico Award a Mario Alviano a Bari, nel dicembre 2017, il Best Paper Padl'18 a Francesco Calimeri, Davide Fuscà, Simona Perri e Jessica Zangari a Los Angeles, Gennaio 2018, e il Distinguished Paper Ijcai a Gianluigi Greco a Stoccolma, a 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à.
