16 citations · 16 across the 9 of their papers we have counts for
11 papers · 1 filter
ValAsp: a tool for data validation in Answer Set Programming
Mario Alviano, Carmine Dodaro, Arnel Zamayla
The development of complex software requires tools promoting fail-fast approaches, so that bugs and unexpected behavior can be quickly identified and fixed. Tools for data validati…
Proceedings 37th International Conference on Logic Programming (Technical Communications)
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts +7
ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2021 were sought in all areas of logic programming, including but not li…
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…