Keyphrases
- proof procedure
- propositional logic
- theorem proving
- first order logic
- predicate calculus
- davis putnam
- propositional satisfiability
- model theoretic
- clause learning
- life cycle
- sound and complete axiomatization
- multi valued
- automated reasoning
- belief revision
- deductive reasoning
- classical first order logic
- horn clauses
- knowledge representation
- logic programming
- inference rules