Author Archives: adovier

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 →

The relevance of CLP Lab in the Italian community of Logic Programming  GULP has been witnessed by the election results Agostino Dovier has been elected as president of the association. Andrea Formisano, Enrico Pontelli, and Alessandro Dal Palù have been … Continue reading →

Alessandro dal Palù presented the paper “A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints” at the 18-th International Conference on Principles and Practice of Constraint Programming in Québec City, Canada.

CLP lab contributed to the Association for Constraint Programming by sharing the expertise on Constraints and Biology in the summer school in Wrocław (Poland). This is the web site of the school, this is our material, and this is a report … Continue reading →

We are proud to announce that the CLP DIMI lab team composed by Alessandro Dal Palù, Agostino Dovier, and  Enrico Pontelli won the 19th Prolog Programming Contest organized by the Association for Logic Programming in Budapest in September 6, 2012. … Continue reading →

Buongiorno a tutti