LAUSR

Inconsistency Proofs for ASP: The ASP - DRUPE Format

Sign Up to like & get
recommendations!
0 Published in 2019 at "Theory and Practice of Logic Programming"

DOI: 10.1017/s1471068419000255

Abstract: Abstract 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… read more here.

Keywords: answer set; inconsistency proofs; asp; format ... See more keywords