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…