Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting.
Thomas EiterMarkus HecherRafael KieselPublished in: KR (2021)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- search space
- upper bound
- bounded treewidth
- space complexity
- normal logic programs
- answer set programs
- boolean functions
- fixpoint
- database
- loop formulas
- stable model semantics
- semantics of logic programs
- general purpose
- reasoning tasks
- knowledge representation
- data structure
- machine learning