Treewidth and Counting Projected Answer Sets.
Johannes Klaus FichteMarkus HecherPublished in: LPNMR (2019)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- answer set programs
- bounded treewidth
- upper bound
- normal logic programs
- search space
- extended logic programs
- boolean functions
- logic program updates
- fixpoint
- counter examples
- np complete
- query processing
- semantics of logic programs
- artificial intelligence
- reasoning tasks
- sat solvers
- inductive logic programming
- lower bound