Default Logic and Bounded Treewidth.
Johannes Klaus FichteMarkus HecherIrina SchindlerPublished in: LATA (2018)
Keyphrases
- default logic
- bounded treewidth
- np complete
- default theories
- default reasoning
- nonmonotonic reasoning
- logic programming
- autoepistemic logic
- decision problems
- boolean functions
- modal logic
- conjunctive queries
- fixed point
- nonmonotonic logics
- default rules
- relational learning
- learning algorithm
- database systems
- artificial intelligence
- partial order
- constraint satisfaction problems
- general purpose
- optimal solution
- databases
- monadic datalog