Keyphrases
- artificial intelligence
- propositional logic
- belief revision
- first order logic
- possibilistic logic
- lattice theory
- knowledge representation
- davis putnam
- quantified boolean formulae
- fuzzy logic
- machine learning
- proof procedure
- predicate calculus
- expert systems
- horn logic
- orders of magnitude
- knowledge base
- propositional formulas
- solving hard
- valued logic
- satisfiability testing