Treewidth and Counting Projected Answer Sets.
Johannes Klaus FichteMarkus HecherPublished in: CoRR (2019)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- search space
- answer set programs
- upper bound
- extended logic programs
- bounded treewidth
- normal logic programs
- boolean functions
- fixpoint
- semantics of logic programs
- counter examples
- logic program updates
- stable models
- sat solvers
- lower bound
- incomplete information
- programming language
- dl programs
- loop formulas
- general purpose