La International conference of logic programming (Iclp), la più importante conferenza al mondo nel campo della Programmazione Logica che si svolge in questi giorni a Cork in Irlanda, ha premiato il Mario Alviano e Nicola Leone del dipartimento di Matematica e Informatica dell’Università della Calabria con il Best Paper Award (letteralmente, “Premio al miglior articolo”) per la ricerca scientifica intitolata Complexity and Compilation of GZ-Aggregates in Answer Set Programming.
Una commissione internazionale, formata dai maggiori esperti del settore, ha stabilito che l’articolo di Alviano e Leone è il miglior contributo dell’anno, fra più di 100 ricerche scientifiche provenienti da università di tutto il mondo. L’articolo analizza approfonditamente un linguaggio per l’Intelligenza Artificiale basato sulla logica presentato dalla Texas Tech University (Usa) nella precedente edizione della conferenza. La ricerca di Alviano e Leone scopre sorprendenti proprietà di questo linguaggio, che hanno importanti risvolti teorici e applicativi. Tra l’altro, nel loro articolo Alviano e Leone spiegano come il linguaggio possa essere realizzato con Dlv, il sistema per l’Intelligenza Artificiale ideato da Leone e utilizzato in università e centri di ricerca in tutto il mondo, oggi distribuito da un innovativo spin-off dell’Università della Calabria – Dlvsystem srl (www.dlvsystem.com). I Best Paper Award sono premi molto prestigiosi e ambiti nel contesto scientifico. Un Best Paper Award infatti 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. La rilevanza di un Best Paper Award dipende soprattutto dall’importanza della conferenza che assegna il premio. Poiché Iclp è la conferenza internazionale più importante nell’ambito della Programmazione Logica, vasta branca dell’Intelligenza Artificiale, l’elogio ai due calabresi è di portata planetaria. La cerimonia di conferimento ufficiale del premio si è svolta il 1° settembre a Cork in Irlanda all’inizio della conferenza Iclp, che ha assegnato proprio ad Alviano e Leone anche l’onore di relazionare all’apertura, nell’ambito della celebrazione del bicentenario della nascita del grande scienziato George Boole, fondatore della logica matematica.
Giacinto De Pasquale