Keyphrases
- epistemic logic
- belief base
- belief merging
- logical framework
- belief revision
- possibilistic logic
- modal logic
- model checking
- logical properties
- belief change
- dynamic epistemic logic
- inference rules
- formal semantics
- merging operators
- multi agent systems
- minimal change
- temporal logic
- mathematical theory
- knowledge base
- multi faceted
- model checker
- propositional logic
- nonmonotonic reasoning
- bayesian networks
- preference relations
- multi attribute
- classical logic
- probabilistic model
- probabilistic logic
- artificial intelligence