16 citations · 102 across the 25 of their papers we have counts for
5 papers · 1 filter
The External Interface for Extending WASP
Carmine Dodaro, Francesco Ricca
Answer set programming (ASP) is a successful declarative formalism for knowledge representation and reasoning. The evaluation of ASP programs is nowadays based on the Conflict-Driv…
Efficiently Coupling the I-DLV Grounder with ASP Solvers
Francesco Calimeri, Carmine Dodaro, Davide Fuscà +2
We present I-DLV+MS , a new Answer Set Programming (ASP) system that integrates an efficient grounder, namely I-DLV, with an automatic selector that inductively chooses a solver: d…
Debugging Non-Ground ASP Programs: Technique and Graphical Tools
Carmine Dodaro, Philip Gasteiger, Kristian Reale +2
Answer Set Programming (ASP) is one of the major declarative programming paradigms in the area of logic programming and non-monotonic reasoning. Despite that ASP features a simple…
Shared aggregate sets in answer set programming
Mario Alviano, Carmine Dodaro, Marco Maratea
Aggregates are among the most frequently used linguistic extensions of answer set programming. The result of an aggregation may introduce new constants during the instantiation of…
Cautious reasoning in ASP via minimal models and unsatisfiable cores
Mario Alviano, Carmine Dodaro, Matti Järvisalo +2
Answer Set Programming (ASP) is a logic-based knowledge representation framework, supporting---among other reasoning modes---the central task of query answering. In the proposition…