Author Archives: adovier

F. Campeotto, A. Dovier, and E. Pontelli. A Declarative Concurrent System for Protein Structure Prediction on GPU. Journal of Experimental & Theoretical Artificial Intelligence (JETAI). On line since february 2015 DOI: 10.1080/0952813X.2014.993503 Abstract This paper provides a novel perspective in … Continue reading →

Cliccando sulla foto (item 18) c’è una lezione on-line sul ruolo dei giochi in AI (realizzata per il progetto flash forward 2 organizzato dalle Università di Udine e Trieste).

Agostino Dovier @ECAI2014. Pictures by Enrico Pontelli  

The paper A GPU Implementation of Large Neighborhood Search  for Solving Constraint Optimization Problems by F. Campeotto, A. Dovier, F. Fioretto, and E. Pontelli will be presented (as full paper) at ECAI 2014 ABSTRACT Constraint programming has gained prominence as … Continue reading →

Ferdinando Fioretto ed Enrico Pontelli non hanno bisogno del biglietto 🙂

Members of our favourite lab will be involved in the exciting SMART GRIDS project just funded by NSF. Congratulations to Enrico. For details read: http://newscenter.nmsu.edu/10029/

The paper: Exploring the Use of GPUs in Constraint Solving, by F. Campeotto, A. Dal Palù, A. Dovier, F. Fioretto, and E. Pontelli is accepted in PADL 2014 conference http://www.ist.unomaha.edu/padl2014/ (Springer), San Diego, CA, January 22-23, 2014. Abstract This paper presents … Continue reading →

CLPLAB is involved in two new projects with local companies: Sistema HW/SW di raccolta dati real-time in ambito automotive per  soluzioni di mobilità sostenibile (partner industriale: Qualibit srl) Sistema di pianificazione adattiva per soluzioni di mobilità sostenibile (partner industriale TELLUS) … Continue reading →

The paper: Protein Structure Prediction on GPU:  a Declarative Approach in a Multi-agent Framework, by F. Campeotto, A. Dovier, and E. Pontelli is accepted in ICPP conference (IEEE) http://icpp2013.ens-lyon.fr/ Lyon (FR), October 2013. Abstract This paper provides a novel perspective … Continue reading →

Autonomous agents coordination: Action languages meet CLP(FD) and Linda By AGOSTINO DOVIER ANDREA FORMISANO ENRICO PONTELLI Abstract The paper presents a knowledge representation formalism, in the form of a high-level Action Description Language (ADL) for multi-agent systems, where autonomous agents … Continue reading →