Paramodulation, Superposition, and Simplification.

Published in: Kurt Gödel Colloquium (1997)

Keyphrases

theorem proving
inference rules
first order logic
theorem prover
multiresolution
preprocessing
databases
machine learning
similarity measure
expert systems
support vector machine
co occurrence