Programmazione Logica (GULP), è stato conferito a un giovane Dottore di Ricerca in Matematica e Informatica dell’Università della Calabria, Annamaria Bria, per la sua tesi dal titolo “Normal Form Nested Programs”, svolta sotto la supervisione dei professori Wolfgang Faber e Nicola Leone del Dipartimento di Matematica e Informatica dell’Unical.
Il prestigioso riconoscimento è stato conferito alla dott.ssa Bria nel corso del XXVIII Convegno Italiano di Logica Computazionale, CILC-2013, che si è svolto all’Universita` di Catania nei giorni scorsi. Per l’occasione, Annamaria Bria è stata inoltre invitata a presentare i principali contenuti della propria dissertazione dottorale in una speciale sessione del convegno.
La tesi della Bria presenta un nuovo e potente linguaggio, basato sulla logica, per la rappresentazione della conoscenza, e fornisce significativi contributi teorici, con la dimostrazione di numerosi teoremi e, al tempo stesso, importanti contributi applicativi.
Infatti, il linguaggio della Bria è stato implementato nel sistema di intelligenza artificiale DLV (www.dlvsystem.com), sviluppato dal gruppo del prof. Leone all’Università della Calabria e utilizzato in centri di ricerca di tutto il mondo.
L’ottima qualità della tesi elaborata dalla dott.ssa Bria era stata già riconosciuta dalla comunità scientifica, come testimoniano le pubblicazioni di alcuni estratti del lavoro in conferenze e riviste scientifiche di elevato livello internazionale, ed è stata confermata dalla commissione per l’assegnazione del premio, in un processo di valutazione che ha coinvolto oltre venti esperti di livello internazionale.
