Paramodulation without Duplication

Christopher Lynch

Published in: LICS (1995)

Keyphrases

inference rules
theorem proving
first order logic
machine learning
low cost
databases
active learning
semi supervised
data processing