The Problem of Explaining the Disparate Performance of Hyperresolution and Paramodulation.

Published in: J. Autom. Reason. (1988)

Keyphrases

inference rules
theorem proving
first order logic
artificial intelligence
relational databases
knowledge representation
feature selection
query processing
nearest neighbor
data management
semi supervised learning
probabilistic inference