An Application of Proof-Theory in Answer Set Programming
Victor W. Marek, Jeffrey B. Remmel · arXiv (Cornell University) · 2009
We apply proof-theoretic techniques in answer Set Programming. The main results include: 1. A characterization of continuity properties of Gelfond-Lifschitz operator for logic program. 2. A propositional characterization of stable models of logic programs (without referring to loop formulas.