Parallel Answer Set Programming

CLPlab members Agostino Dovier, Andrea Formisano, and Enrico Pontelli have written the survey paper: Parallel Answer Set Programming, appeared as Chapter 7 of the Handbook of Parallel Constraint Reasoning: 237-282, Springer Verlag, 2018


Posted in Uncategorized | Comments Off on Parallel Answer Set Programming

Award for Ferdinando Fioretto

Nando, with his dissertation entitled: Exploiting the Structure of Distributed Constraint Optimization Problems won the PhD award of the italian association for artificial intelligence.

Screen Shot 2017-11-17 at 7.55.35 AM

Here all details:

Congratulations to Nando!!!

Posted in Uncategorized | Comments Off on Award for Ferdinando Fioretto

Invited talk in Melbourne

Agostino Dovier had the honor and pleasure of giving an invited talk to the joint conferences SAT/ICLP/CP in Melbourne.


Here there are all the slides:


Posted in Uncategorized | Comments Off on Invited talk in Melbourne

New Journal Paper

Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain
Roman Bartak, Lukas Chrpa, Agostino Dovier, Jindrich Vodrazka, Neng-Fa Zhou

Action planning deals with the problem of finding a sequence of actions transferring the world from a given state to a desired (goal) state. This problem is important in various areas such as robotics, manufacturing, transportation, autonomic computing, computer games, etc. Action planning is a form of a reachability problem in a huge state space so it is critical to efficiently represent world states and actions (transitions between states).
In this paper we present a modeling framework for planning problems based on tabled logic programming that exploits a planner module in the Picat language. In particular, we suggest techniques for structured representation of states and for including control knowledge in the description of actions.

We demonstrate these techniques using the complex planning domain Cave Diving from the International Planning Competition. Experimentally, we show properties of the model for diff erent search approaches and we compare the performance of the proposed approach with state-of-the-art automated planners. The focus of this paper is on providing guidelines for manual modeling of planning domains rather than on automated reformulation of models.

To Appear In Science of Computer Programming

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

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

General Purpose Graphical Processing Units (GPUs) are affordable multi-core platforms, providing access to large number of cores, but at the price of a complex architecture with non-trivial synchronization and communication costs.
This paper presents the design and implementation of a conflict-driven ASP solver, that is capable of exploiting the parallelism offered by GPUs.
The proposed system builds on the notion of ASP computation, that avoids the generation of unfounded sets, enhanced by conflict analysis and learning. The proposed system uses the CPU exclusively for input and output, in order to reduce the negative impact of the expensive data transfers between the CPU and the GPU. All the solving components, i.e., the management of nogoods, the search strategy, backjumping, the search heuristics, conflict analysis and learning, and unit propagation, are performed on the GPU, by exploiting Single Instruction Multiple Threads (SIMT) parallelism. The preliminary experimental results confirm the feasibility and scalability of the approach, and the potential to enhance performance of ASP solvers

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

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


The parallel computing power offered by Graphical Processing Units (GPUs) has been recently exploited to support general purpose applications—by exploiting the availability of general API and the SIMT-style parallelism present in several classes of problems (e.g., numerical simulations, matrix manipulations)— where relatively simple computations need to be applied to all items in large sets of data.

This paper investigates the use of GPUs in parallelizing a class of search problems, where the combinatorial nature leads to large parallel tasks and relatively less natural symmetries. Specifically, the investigation focuses on the well-known Satisfiability Testing (SAT) problem and on the use of the NVIDIA CUDA architecture, one of the most popular platforms for GPU computing. The paper explores ways to identify strong sources of GPU-style parallelism from SAT solving. The paper describes experiments with different design choices and evaluates the results. The outcomes demonstrate the potential for this approach, leading to one order of magnitude of speedup using a simple NVIDIA platform


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