Negative Paramodulation.

Larry Wos William McCune

Published in: CADE (1986)

Keyphrases

positive and negative
inference rules
theorem proving
first order logic
database
image processing
data sets
databases
cooperative
computational complexity
feature space