16 citations · 102 across the 25 of their papers we have counts for
4 papers · 1 filter
Partial Compilation of ASP Programs
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca +1
Answer Set Programming (ASP) is a well-known declarative formalism in logic programming. Efficient implementations made it possible to apply ASP in many scenarios, ranging from ded…
Inconsistency Proofs for ASP: The ASP-DRUPE Format
Mario Alviano, Carmine Dodaro, Johannes K. Fichte +3
Answer Set Programming (ASP) solvers are highly-tuned and complex procedures that implicitly solve the consistency problem, i.e., deciding whether a logic program admits an answer…
Better Paracoherent Answer Sets with Less Resources
Giovanni Amendola, Carmine Dodaro, Francesco Ricca
Answer Set Programming (ASP) is a well-established formalism for logic programming. Problem solving in ASP requires to write an ASP program whose answers sets correspond to solutio…
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…