Arcavacata, giovedì 3 settembre 2015

È dell'UniCal 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).

Comunicato completo in allegato

   Allegati



Galleria Fotografica




letto 1497
ultimo aggiornamento: giovedì 03 settembre 2015 - 12:44