Default logic and bounded treewidth.
Johannes Klaus FichteMarkus HecherIrina SchindlerPublished in: Inf. Comput. (2022)
Keyphrases
- bounded treewidth
- default logic
- np complete
- default theories
- logic programming
- default reasoning
- nonmonotonic reasoning
- nonmonotonic logics
- autoepistemic logic
- decision problems
- modal logic
- relational learning
- conjunctive queries
- default rules
- fixed point
- boolean functions
- database
- high level
- incomplete information
- logic programs
- semi supervised
- np hard
- database systems
- databases