Hyperparamodulation: A Refinement of Paramodulation.

Larry Wos Ross A. Overbeek Lawrence J. Henschen

Published in: CADE (1980)

Keyphrases

theorem proving
inference rules
neural network
real time
data mining
support vector
first order logic
refinement process
artificial intelligence
multiresolution
color images