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={ArXiv},
year={2019},
volume={abs/1907.10389}
}

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