A Formalization of Superposition Refinement.

Published in: ISTCS (1993)

Keyphrases

knowledge representation
theorem proving
data mining
machine learning
real time
neural network
learning algorithm
decision trees
knn
query refinement
refinement step