Belief merging within fragments of propositional logic.
Nadia CreignouOdile PapiniStefan RümmeleStefan WoltranPublished in: CoRR (2014)
Keyphrases
- propositional logic
- belief merging
- belief revision
- belief change
- default reasoning
- nonmonotonic reasoning
- logical properties
- lattice theory
- quantified boolean formulae
- knowledge base
- logical framework
- possibilistic logic
- belief base
- temporal logic
- satisfiability testing
- possibility theory
- first order logic
- horn logic
- knowledge representation