135 citations · 135 across the 5 of their papers we have counts for
3 papers · 1 filter
Abstract Solvers for Computing Cautious Consequences of ASP programs
Giovanni Amendola, Carmine Dodaro, Marco Maratea
Abstract solvers are a method to formally analyze algorithms that have been profitably used for describing, comparing and composing solving techniques in various fields such as Pro…
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…