Default Logic and Bounded Treewidth.
Johannes Klaus FichteMarkus HecherIrina SchindlerPublished in: CoRR (2017)
Keyphrases
- bounded treewidth
- default logic
- np complete
- default theories
- default reasoning
- nonmonotonic reasoning
- decision problems
- logic programming
- default rules
- autoepistemic logic
- conjunctive queries
- fixed point
- modal logic
- nonmonotonic logics
- relational learning
- boolean functions
- high level
- temporal logic
- markov random field
- supervised learning
- np hard