Belief Merging within Fragments of Propositional Logic.
Nadia CreignouOdile PapiniStefan RümmeleStefan WoltranPublished in: ACM Trans. Comput. Log. (2016)
Keyphrases
- propositional logic
- belief merging
- belief revision
- belief change
- nonmonotonic reasoning
- default reasoning
- possibilistic logic
- logical properties
- knowledge base
- logical framework
- temporal logic
- quantified boolean formulae
- lattice theory
- belief base
- horn logic
- first order logic
- possibility theory
- propositional formulas
- merging operators