Category Archives: Uncategorized

New Journal Paper

Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain By Roman Bartak, Lukas Chrpa, Agostino Dovier, Jindrich Vodrazka, Neng-Fa Zhou Abstract Action planning deals with the problem of finding a sequence of actions transferring … Continue reading

Posted in Uncategorized | Comments Off on New Journal Paper

Invited talk at TAASP

Agostino Dovier gave an invited lecture on ASP and Bioinformatics at TAASP workshop in Klagenfurt, a satellite event of INFORMATIK 2016 http://www.kr.tuwien.ac.at/events/taasp16/prog.html Thanks to the organizers (and to all CLPLAB members for their work)  

Posted in Uncategorized | Comments Off on Invited talk at TAASP

Renewal from NVIDIA

On March 17, 2016, David Luebke, NVIDIA Distinguished Inventor, and Sr. Director of Research of NVIDIA Corporation announced that we are confirmed as a GPU Research Center “based on the vision, quality, and impact of your research leveraging GPU Computing.”

Posted in Uncategorized | Comments Off on Renewal from NVIDIA

To appear in proc of PADL 2016

A GPU Implementation of the ASP Computation By Agostino Dovier, Andrea Formisano, Enrico Pontelli, and Flavio Vella Abstract General Purpose Graphical Processing Units (GPUs) are affordable multi-core platforms, providing access to large number of cores, but at the price of … Continue reading

Posted in Uncategorized | Comments Off on To appear in proc of PADL 2016

Invited talk @ CP 2015 in Cork

Tutorial on CP and Bioinformatics of September 4, 2015 https://users.dimi.uniud.it/~agostino.dovier/SLIDES/CORK_CP15.pdf

Posted in Uncategorized | Comments Off on Invited talk @ CP 2015 in Cork

Greetings from Genova

From left to right: Nando Fioretto, Agostino Dovier, Enrico Pontelli, and Alessandro Dal Palù (all but one teachers at the GULP school on logic programming)  

Posted in Uncategorized | Comments Off on Greetings from Genova

Journal paper on CUD@SAT

CUD@SAT: SAT Solving on GPUs. A. Dal Palù, A. Dovier, A. Formisano, and E. Pontelli. Journal of Experimental & Theoretical Artificial Intelligence (JETAI), Volume 27(3), July 2015, pp. 293-316. (draft) DOI: 10.1080/0952813X.2014.954274 Abstract The parallel computing power offered by Graphical Processing … Continue reading

Posted in Uncategorized | Comments Off on Journal paper on CUD@SAT

Read the NEWS from UNIUD

http://qui.uniud.it/notizieEventi/ricerca-e-innovazione/ateneo-premiato-research-center-gpu-dalla-californiana-nvidia-corporation  

Posted in Uncategorized | Comments Off on Read the NEWS from UNIUD

CLPLAB is a GPU RESEARCH CENTER

Our favourite lab has been selected to be a 2015 GPU Research Center “based on the vision, quality, and impact of (y)our research leveraging GPU Computing”. A great thank to all LAB members that made it possible and to NVIDIA … Continue reading

Posted in Uncategorized | Comments Off on CLPLAB is a GPU RESEARCH CENTER

New Journal paper on CUDA

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

Posted in Uncategorized | Comments Off on New Journal paper on CUDA