135 citations · 224 across the 21 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.AI2014★ 10 cited
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…
cs.AI2014
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…