Constraint propagation on GPU: A case study for the AllDifferent constraint

A new result in our investigation of exploiting CUDA parallelism for constraint programming.

Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli Constraint propagation on GPU: A case study for the AllDifferent constraint Journal of Logic and Computation, 2023, 33(8), pp. 1804–1831, exad033.

Posted in Uncategorized | Comments Off on Constraint propagation on GPU: A case study for the AllDifferent constraint

A tutto bit

Intervento al programma radiofonico RAI FVG:

https://www.raiplaysound.it/audio/2023/09/A-tutto-bit-del-19092023-392d3040-0450-428c-afbb-ba6a3368c3d1.html

Posted in Uncategorized | Comments Off on A tutto bit

CILC 2023

Il CLP Lab (in particolare con Agostino Dovier e Andrea Formisano nel ruolo di program chairs) ha organizzato dal 21 al 23 luglio la 38 esima edizione del convegno italiano di logica computazionale. L’evento totalmente in presenza ha avuto un forte riscontro in termini di presenze e di partecipazione attiva. Tutti i dettagli nella home page del convegno: https://www.programmazionelogica.it/associazione/il-convegno/cilc23/

Posted in Uncategorized | Comments Off on CILC 2023

AIxIA 2022

Si è tenuto ad Udine dal 28 novembre al 2 dicembre 2022 il 21-esimo convegno internazionale della associazione italiana sulla intelligenza artificiale. Oltre al convegno principale in cui sono stati presentati 49 lavori, sono stati organizzati 17 workshop satellite in cui sono stati presentati 175 ulteriori contributi scientifici, con una presenza complessiva di circa 350 ricercatori dall’Italia e dall’estero. Il CLPLAB ha contribuito attivamente all’evento nei ruoli di program chair (Agostino Dovier, assieme al collega Andrea Orlandini del CNR di Roma) e di worskhop chair (Andrea Formisano, assieme ad Alberto Finzi, dell’Università di Napoli, federico II).

Potete sentire dei servizi televisivi relativi all’incontro pubblico associato al convegno VIDEO1 e VIDEO2 e una intervista in diretta su RADIO RAI (programma del 29/11/2022).

Per maggiori dettagli e materiale si consulti il sito web.

Posted in Uncategorized | Comments Off on AIxIA 2022

Tesi in trasferta

Si è laureato ieri in Ingegneria dell’Informazione e Organizzazione d’Impresa presso l’Università di Trento, con la tesi intitolata INTEGRAZIONE DI RAGIONAMENTO AUTOMATICO E MANIPOLAZIONE ROBOTICA: Risoluzione del Cubo di Rubik, Simone Bellan, che ha sviluppato la tesi nel laboratorio AIHRC del Lab Village. L’output di un planner in ASP è stato opportunamente interfacciato tramite codice C++ con i comandi ROS del robot Franka Emika per una concreta risoluzione.

In questo VIDEO potete vedere la animazione.

Simone è un cestista professionista che è riuscito nel difficile compito di coniugare lo sport ai massimi livelli con lo studio universitario, iniziando a Trento quando militava nell’Aquila, e proseguendo mentre giocava in varie squadre del difficile campionato di serie A2 (attualmente a Ferrara). La parte centrale della tesi è stata svolta nel nostro lab nel periodo di “riposo” tra un campionato e l’altro! Congratulazioni a Simone (che si riposerà, come tutti noi, quando andrà in pensione)

Posted in Uncategorized | Comments Off on Tesi in trasferta

Doppio risultato del CLPLAB

E’ un piacere annunciare che i membri del CLP LAB hanno conseguito il premio per la miglior tesi di dottorato di logica computazionale e il best paper award per il convegno italiano di logica computazionale CILC 2022.

Per la precisione, Francesco Fabiano (dottore di ricerca del dottorato udinese in Informatica e Scienze matematiche e Fisiche) ha vinto il premio per la sua tesi di PhD dal titolo “Planning while believing to know“, scelta tra 9 tesi di brillanti giovani ricercatori, mentre Fabio Tardivo ha vinto il premio per il miglior lavoro, con il paper “Constraints propagation on GPU: A case study for AllDifferent” con co-autori Agostino Dovier, Andrea Formisano, Laurent Michel e Enrico Pontelli, selezionato tra una trentina di contributi scientifici.

Posted in Uncategorized | Comments Off on Doppio risultato del CLPLAB

Intervento a RADIO 24

Partecipazione al programma Effetto Notte del 23 Giugno 2022 (minuto 28.00)

https://www.radio24.ilsole24ore.com/programmi/effettonotte/puntata/trasmissione-23-giugno-2022-220700-AE6oN1hB

Ricordiamo qui i precedenti interventi: Si può fare 12/07/2020 e 21/11/2020

https://www.radio24.ilsole24ore.com/programmi/paese-migliore/puntata/universita-non-solo-lettere-e-giurisprudenza–232105-ADU3Ogd

https://www.radio24.ilsole24ore.com/programmi/paese-migliore/puntata/si-puo-fare-intelligenza-artificiale-073515-ADGaqc3

Posted in Uncategorized | Comments Off on Intervento a RADIO 24

Presentazione risultati

Ieri, 5 maggio 2020, sono stati presentate le principali attività svolte ed i principali risultati del primo anno del progetto AI4HRC.

Qui il report di ateneo https://qui.uniud.it/notizieEventi/ricerca-e-innovazione/fragilita-negli-anziani-e-invecchiamento-attivo-robotica-collaborativa-ruolo-dei-composti-bioattivi-della-mela in cui si scopre anche cosa ha detto Dovier 🙂 Esiste anche un video: https://youtu.be/gF10afH79Hw?t=7136

Posted in Uncategorized | Comments Off on Presentazione risultati

AI4HRC Worskhop

Si è svolto oggi presso la sala convegni del Lab Village, edificio SMACT3, il primo workshop del progetto di interdisciplinare inderdipartimentale del progetto AI for Human robot Collaboration.

Dopo una breve introduzione, Federico Costantini, del DISG presenta un contributo intitolato:  AI ETHICS: dal “Value Sensitive Design” alla “AI Law” che introduce brillantemente le principali problematiche giuridiche ed etiche relative all’AI. 

Federico Costantini

Segue Andrea Formisano, dello DMIF con il contributo Ragionamento automatico in digital forensics nel quale descrive il linguaggio logico ASP e il suo impiego per la modellazione di scenari di indagine.

Andrea Formisano

Gabriele De Anna, del DISG, presenta un aapprezzato intervento intitolato Sulle posizioni nei dibattiti relativi all’azione umana, nel quale inquadra i concetti di azione, e di effetto, già introdotti da Formisano per i problemi di planning, contestualizzandoli storicamente e filosoficamente e rapportandoli al concetto di intenzionalità.

Gabriele De Anna

Lorenzo Scalera, del DPIA nell’intervento Trajectory planning for safe applications in collaborative robotics, introduce le principali problematiche e soluzioni per evitare le collisioni tra robot e umani. In particolare illustra i risultati delle sperimentazioni effettuate con i Panda Robot acquistati con i fondi del progetto.

Lorenzo Scalera


Davide Soldà, neo laureato magistrale in Informatica, illustra brevemente la sua tesi di laurea nella quale ha realizzato una architettura software chiamata EPICO che permette di modellare ad alto livello problemi di planning epistemico, di trovare le soluzioni (i piani) attraverso la combinazione di due solver e di eseguire questi piani con i Panda Robot.

Davide Soldà

Last but not least, Francesco Fabiano, dottore di ricerca dello DMIF ma già aggregato all’Univ. di Parma per un contratto di ricerca, presenta un sunto del lavoro svolto in collaborazione con IBM e presentato al prestigioso convegno AAAI 2021, riguardante un nuovo sistema che simula le due modlità di ragionamento umano Thinking Fast and Thinking Slow.

Francesco Fabiano

Il workshop svoltosi in presenza, seppur contemporaneamente trasmesso con la piattaforma Teams e seguito da alcuni colleghi, evidenzia un notevole entusiasmo da parte dei partecipanti e si conclude con un appuntamento in tempi brevi focalizzato sugli aspetti filosofici del ragionamento a cui seguirà in un secondo momento un appuntamento più tecnico.

Posted in Uncategorized | Comments Off on AI4HRC Worskhop

Ferdinando Fioretto vince il Mario Gerla Award

Il 9 dicembre 2021 si e’ svolta in modalita’ remota la giornata delle premiazioni della ISSNAF (Fondazione dei ricercatori e studenti di origine italiana nell’America del Nord). Presiede la riunione la dr.ssa Cinzia Zuffada (NASA/JPL) presidentessa della fondazione che coinvolge circa 3000 ricercatori italo-americani. Dopo la introduzione della ambasciatrice italiana in USA, Mariangela Zappia, che ricorda l’importanza dei vari premi erogati e del ruolo dei nostri ricercatori in USA, e della professoressa Maria Cristina Messa, ministro della Università e Ricerca, che si è congratulata con la associazione per tutto il lavoro svolto negli anni ed ha presentato brevemente le nuove prospettive di ricerca in Italia, il prof Alberto Salleo della Stanford University introduce i premiati nelle varie categorie.

Dopo il premio “alla carriera” al prof Silvio Micali, già Turing Award (l’equivalente del premio Nobel per l’Informatica), al dr Ferdinando Fioretto viene assegnato il “Mario Gerla Award for Young Investigators in Computer Science”. Tra le motivazioni del premio l’impatto in vari scenari applicativi dei suoi risultati sulle tecniche di ottimizzazione multiagente, distribuita e della loro integrazione con l’apprendimento profondo. Presente alla premiazione la moglie del compianto prof Gerla, distinguished Professor e Chair of the Department of Computer Science presso la University of California, Los Angeles (UCLA), e per decenni figura di riferimento nella ricerca sulle reti di calcolatori.

Ferdinando, che ha conseguito il dottorato di ricerca in Informatica presso l’Università di Udine nel 2016 (titolo in co-tutela con la New Mexico State University), già vincitore del premio per tesi di dottorato dell’Associazione Italiana di Intelligenza Artificiale è ora Assistant Professor presso la Syracuse University (NY). Durante la presentazione ha avuto modo di ringraziare i suoi supervisori Agostino Dovier ed Enrico Pontelli e l’Università di Udine.

Alla cerimonia sono stati premiati anche giovani ricercatori nell’area della sostenibilità, della ricerca sul cancro, dell’ingegneria navale, e delle tecnologie per la diffusione della cultura.

Posted in Uncategorized | Comments Off on Ferdinando Fioretto vince il Mario Gerla Award