Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs.
Viktor BesinMarkus HecherStefan WoltranPublished in: CoRR (2021)
Keyphrases
- logic programs
- logic program updates
- computational properties
- logic programming
- abductive logic programming
- reasoning tasks
- answer sets
- answer set programming
- abductive reasoning
- stable models
- search space
- fixpoint
- background knowledge
- knowledge base
- term rewriting systems
- partial deduction
- normal logic programs
- reasoning about actions
- answer set semantics
- reasoning problems
- qualitative and quantitative
- knowledge representation and reasoning
- minimal models
- knowledge representation
- open world
- prolog programs
- boolean functions
- semantics of logic programs
- functional programs
- strong equivalence
- loop formulas
- automated reasoning
- constraint satisfaction problems
- probabilistic reasoning