Sabato, 18 Settembre 2021
stampa
Dimensione testo

Archivio

Home Archivio Programmazione logica Unical prima nel mondo
UNIVERSITÀ

Programmazione logica
Unical prima nel mondo

alviano-leone, iclp, irlanda, programmazione logica, unical, Cosenza, Calabria, Archivio

È 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).

© Riproduzione riservata

* Campi obbligatori

Immagine non superiore a 5Mb (Formati permessi: JPG, JPEG, PNG)
Video non superiore a 10Mb (Formati permessi: MP4, MOV, M4V)

X
ACCEDI

Accedi con il tuo account Facebook

Login con

Login con Facebook