Il dottor Mario Alviano e il professor Nicola Leone, entrambi del Dipartimento di Matematica e Informatica di Unical, premiati alla International Conference of Logic Programming
Un altro importante riconoscimento per gli studiosi di Unical arriva dalla International Conference of Logic Programming, la principale conferenza al mondo nel campo della Programmazione Logica che si svolge in questi giorni a Cork in Irlanda e che ha premiato il dottor Mario Alviano e il professor Nicola Leone (entrambi del Dipartimento di Matematica e Informatica) con il Best Paper Award per la ricerca scientifica intitolata ‘Complexity and Compilation of GZ-Aggregates in Answer Set Programming’.
L’articolo redatto da Alviano e Leone è stato scelto in una rosa di oltre cento ricerche scientifiche provenienti da università di tutto il mondo da una commissione internazionale formata dai maggiori esperti del settore. Analizza in maniera approfondita un linguaggio per l’Intelligenza Artificiale basato sulla logica, presentato dalla Texas Tech University nella precedente edizione della conferenza. In particolare la ricerca di Alviano e Leone evidenzia sorprendenti proprietà di questo linguaggio, con importanti risvolti teorici e applicativi.
Inoltre i due ricercatori spiegano come quel linguaggio possa essere realizzato con DLV, il sistema per l’Intelligenza Artificiale ideato dallo stesso Leone e utilizzato in università e Centri di Ricerca in tutto il mondo, distribuito da un innovativo spin-off dell’Università della Calabria, ossia DLVSYSTEM s.r.l..
Un Best Paper Award come questo attesta il raggiungimento di una elevata maturità del gruppo di ricerca vincitore, al quale viene pubblicamente riconosciuta la significatività dei propri lavori di ricerca per l’avanzamento dello stato dell’arte della comunità scientifica. E visto che ICLP è la conferenza internazionale più importante nell’ambito della Programmazione Logica, significa che i due calabresi saranno riconosciuti per il loro lavoro in tutto il mondo. Il gruppo di ricerca guidato dal professor Leone ha pubblicato numerosi articoli su riviste scientifiche di livello internazionale, a cominciare dai quattro scelti dal numero speciale della rivista scientifica TPLP (Theory and Practice of Logic Programming) che seleziona le migliori ricerche sottoposte alla conferenza.
