Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs.
Jorge FandinnoMarkus HecherPublished in: IJCAI (2023)
Keyphrases
- logic programs
- logic program updates
- logic programming
- space complexity
- answer sets
- answer set programming
- stable models
- fixpoint
- inductive logic programming
- term rewriting systems
- computational properties
- partial deduction
- strong equivalence
- prolog programs
- normal logic programs
- upper bound
- bounded treewidth
- search space
- decision problems
- stable model semantics
- background knowledge
- polynomial hierarchy
- recursive programs
- integrity constraints
- deductive databases