È calabrese la miglior ricerca internazionale sulla Programmazione Logica. La International Conference of Logic Programming (ICLP), la piu` importante conferenza al mondo nel campo della Programmazione Logica che si svolge in questi giorni a Cork in Irlanda, ha premiato il Dr. Mario Alviano e il Prof. Nicola Leone del Dipartimento di Matematica e Informatica 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 infatti stabilito che l'articolo di Alviano e Leone è il miglior contributo dell'anno, fra piu` di 100 ricerche scientifiche provenienti da universita` 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 proprieta` 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 Universita` e Centri di Ricerca in tutto il mondo, oggi distribuito da un innovativo spin-off dell'Universita` della Calabria - DLVSYSTEM s.r.l. (www.dlvsystem.com).