SAT Encodings for Distance-Based Belief Merging Operators.
Sébastien KoniecznyJean-Marie LagniezPierre MarquisPublished in: AAAI (2017)
Keyphrases
- merging operators
- sat encodings
- belief revision
- belief merging
- belief base
- logical properties
- possibilistic logic
- sat solvers
- propositional logic
- set theoretic
- belief change
- constraint satisfaction problems
- combinatorial problems
- nonmonotonic reasoning
- belief functions
- knowledge base
- graph coloring
- aggregation functions
- planning problems
- logical framework
- epistemic states
- solving problems
- constraint satisfaction
- orders of magnitude