Contraction in Propositional Logic.
Thomas CaridroitSébastien KoniecznyPierre MarquisPublished in: ECSQARU (2015)
Keyphrases
- propositional logic
- belief revision
- belief change
- horn logic
- horn contraction
- first order logic
- quantified boolean formulae
- lattice theory
- possibilistic logic
- solving hard
- davis putnam
- nonmonotonic reasoning
- belief update
- propositional satisfiability
- belief set
- proof procedure
- minimal change
- propositional formulas
- machine learning
- temporal logic
- horn clauses
- constraint satisfaction
- domain knowledge