135 citations · 319 across the 25 of their papers we have counts for
4 papers · 1 filter
The Design of the Fifth Answer Set Programming Competition
Francesco Calimeri, Martin Gebser, Marco Maratea +1
Answer Set Programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and nonmonotonic reasoning. Advance…
The Multi-engine ASP Solver ME-ASP: Progress Report
Marco Maratea, Luca Pulina, Francesco Ricca
MEASP is a multi-engine solver for ground ASP programs. It exploits algorithm selection techniques based on classification to select one among a set of out-of-the-box heterogeneous…
Anytime Computation of Cautious Consequences in Answer Set Programming
Mario Alviano, Carmine Dodaro, Francesco Ricca
Query answering in Answer Set Programming (ASP) is usually solved by computing (a subset of) the cautious consequences of a logic program. This task is computationally very hard, a…
Preliminary Report on WASP 2.0
Mario Alviano, Carmine Dodaro, Francesco Ricca
Answer Set Programming (ASP) is a declarative programming paradigm. The intrinsic complexity of the evaluation of ASP programs makes the development of more effective and faster sy…