Contraction in propositional logic.
Thomas CaridroitSébastien KoniecznyPierre MarquisPublished in: Int. J. Approx. Reason. (2017)
Keyphrases
- propositional logic
- belief revision
- belief change
- horn logic
- horn contraction
- first order logic
- possibilistic logic
- quantified boolean formulae
- propositional satisfiability
- belief update
- proof procedure
- nonmonotonic reasoning
- machine learning
- satisfiability testing
- davis putnam
- knowledge base
- prime implicates
- propositional formulas
- belief set
- valued logic
- solving hard
- minimal change
- orders of magnitude
- fuzzy logic
- artificial intelligence