Author Archives: adovier

Si è svolta dal 3 al 6 settembre 2024 la scuola di dottorato sull’AI ACT organizzata nell’ambito del Progetto interdipartimentale sull’Intelligenza Artificiale (PSA 2022-25 UniUD) coordinato dal Dipartimento di Scienze matematiche, informatiche e fisiche (DMIF). La Scuola è stata organizzata … Continue reading →

Another 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 Cumulative Constraint. Constraints (to appear).

Il laboratorio ha ricevuto un cospicuo finanziamento per il Progetto MaPSART, di durata 18 mesi, finanziato a valere sul bando a cascata dello Spoke 2 del Partenariato Esteso “FAIR – Future Artificial Intelligence” (PE00000013) del PNRR, Missione 4, Componente 2, … Continue reading →

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