Belief Revision with Bounded Treewidth.
Reinhard PichlerStefan RümmeleStefan WoltranPublished in: LPNMR (2009)
Keyphrases
- belief revision
- bounded treewidth
- np complete
- propositional logic
- conjunctive queries
- belief change
- decision problems
- nonmonotonic reasoning
- belief update
- minimal change
- boolean functions
- plausible inference
- belief state
- logical properties
- update operators
- relational learning
- monadic datalog
- possibilistic logic
- epistemic states
- belief merging
- knowledge base
- database
- query language
- computational complexity
- databases