Inconsistency Proofs for ASP: The ASP-DRUPE Format

@article{Alviano2019InconsistencyPF,
title={Inconsistency Proofs for ASP: The ASP-DRUPE Format},
author={Mario Alviano and C. Dodaro and J. Fichte and Markus Hecher and T. Philipp and Jakob Rath},
journal={Theory Pract. Log. Program.},
year={2019},
volume={19},
pages={891-907}
}

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 set. Verifying whether a claimed answer set is formally a correct answer set of the program can be decided in polynomial time for (normal) programs. However, it is far from immediate to verify whether a program that is claimed to be inconsistent, indeed does not admit any answer sets. In this paper, we address this… CONTINUE READING