Resolution Refutations and Propositional Proofs with Height-Restrictions.
Arnold BeckmannPublished in: CSL (2002)
Keyphrases
- theorem prover
- first order logic
- theorem proving
- consequence finding
- propositional logic
- proof search
- high resolution
- clause learning
- low resolution
- formal proof
- proof procedure
- image resolution
- formal proofs
- natural deduction
- decision procedures
- inference rules
- predicate calculus
- neural network
- sampling rate
- default logic
- belief revision
- knowledge representation
- equational theories
- mathematical proofs