Belief Merging in Dynamic Logic of Propositional Assignments.
Andreas HerzigPilar Pozos ParraFrançois SchwarzentruberPublished in: FoIKS (2014)
Keyphrases
- dynamic logic
- belief merging
- classical first order logic
- belief base
- merging operators
- belief revision
- propositional logic
- first order logic
- modal logic
- logical properties
- possibilistic logic
- set theoretic
- reasoning about actions
- belief change
- imperative programs
- knowledge base
- default logic
- preference relations
- default reasoning
- inference rules
- propositional dynamic logic
- dynamic environments
- programming language
- artificial intelligence