Keyphrases
- propositional logic
- horn contraction
- first order logic
- belief revision
- propositional formulas
- horn logic
- possibilistic logic
- quantified boolean formulae
- lattice theory
- propositional satisfiability
- proof procedure
- satisfiability testing
- machine learning
- belief change
- horn clauses
- function free horn
- theorem proving
- artificial intelligence