Belief Contraction Within Fragments of Propositional Logic.
Nadia CreignouRaïda KtariOdile PapiniPublished in: ECAI (2016)
Keyphrases
- propositional logic
- belief revision
- belief change
- belief set
- horn contraction
- horn logic
- nonmonotonic reasoning
- possibilistic logic
- belief update
- minimal change
- knowledge base
- quantified boolean formulae
- lattice theory
- temporal logic
- epistemic states
- belief state
- nonmonotonic logics
- davis putnam
- propositional satisfiability
- proof procedure
- normal form
- truth maintenance systems
- orders of magnitude
- artificial intelligence