Similarity-based Unification.

Ferrante Formato Giangiacomo Gerla Maria I. Sessa

Published in: Fundam. Informaticae (2000)

Keyphrases

higher order
theorem proving
knuth bendix
equational theories
data mining
information retrieval
learning algorithm
computer vision
pattern recognition
digital libraries
case based reasoning
least squares
theorem prover
similarity based retrieval