Sign in
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation.
Thomas Eiter
Axel Polleres
Published in:
APPIA-GULP-PRODE (2003)
Keyphrases
</>
answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
polynomial hierarchy
normal logic programs
high level
computational complexity
fixpoint
loop formulas
counter examples
np hard
normal form