La nomina di Agostino Dovier a redattore capo di Theory and Practice of Logic Programming segna un passaggio rilevante per l’intero ecosistema della ricerca sull’intelligenza artificiale simbolica. La decisione, assunta all’unanimità dal consiglio dell’associazione internazionale di programmazione logica, affida la guida editoriale di una delle riviste scientifiche più autorevoli al mondo a un accademico italiano con un profilo consolidato sul piano teorico e applicativo. Fondata nel 2001 come prosecuzione del Journal of Logic Programming nato nel 1984, la rivista rappresenta da oltre vent’anni un punto di riferimento per lo studio del ragionamento automatico, dei linguaggi logici e dei modelli formali per il supporto alle decisioni, ambiti sempre più centrali anche nella progettazione di sistemi logistici avanzati e spiegabili.

Ricerca, didattica e applicazioni: un profilo costruito nel tempo

Docente di Informatica presso il Dipartimento di Scienze matematiche, informatiche e fisiche dell’Università di Udine, Dovier insegna fondamenti dell’informatica nei corsi triennali e ragionamento automatico nei percorsi magistrali. Ricopre inoltre il ruolo di delegato di Ateneo alla didattica e all’intelligenza artificiale, incarico che riflette una visione integrata tra formazione, ricerca e trasferimento di competenze. I suoi interessi scientifici si concentrano sugli aspetti teorici e applicativi della programmazione logica e sull’utilizzo di queste tecniche per rendere interpretabili i risultati dei modelli sub-simbolici, come machine learning e deep learning. Un tema cruciale anche per la supply chain, dove l’affidabilità delle decisioni automatizzate richiede modelli trasparenti, verificabili e coerenti con vincoli operativi reali.

Numeri, produzione scientifica e ruolo dell’Università di Udine

Il percorso accademico di Dovier è sostenuto da dati che parlano da soli. È stato relatore o supervisore di circa 200 studenti tra lauree triennali, magistrali e dottorati di ricerca. È autore o coautore di oltre 170 pubblicazioni scientifiche internazionali e di tre libri, tra cui il manuale di riferimento per il corso di Fondamenti dell’informatica pubblicato da Bollati-Boringhieri. Parallelamente, l’Università di Udine si è consolidata come polo nazionale della programmazione logica e della logica computazionale: nel 2008 ha ospitato il convegno internazionale dell’associazione di settore, nel 2023 quello italiano. Dovier ha inoltre ricoperto la presidenza dell’associazione italiana dal 2012 al 2018, mentre Andrea Formisano ne è stato vicepresidente dal 2019 al 2024. Una continuità istituzionale che contribuisce a rendere Udine un nodo stabile nella rete internazionale della ricerca su AI simbolica e sistemi decisionali complessi.

Ricevi la newsletter gratuita per rimanere aggiornato sulle ultime novità del mondo della logistica