Login / Signup
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
Thomas Eiter
Wolfgang Faber
Michael Fink
Gerald Pfeifer
Stefan Woltran
Published in:
Answer Set Programming (2003)
Keyphrases
</>
answer set programming
answer sets
logic programs
polynomial hierarchy
logic programming
answer set semantics
reasoning tasks
answer set solvers
answer set programs
stable model semantics
general purpose
fixpoint
stable models
strong equivalence
disjunctive logic programming
artificial intelligence
modulo theories