Author Archives: adovier

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, … Continue reading →

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

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 … Continue reading →

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 … Continue reading →

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 … Continue reading →

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, … Continue reading →

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

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 … Continue reading →

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:  … Continue reading →

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 … Continue reading →