Similarity-Guided Clause Generalization.

Stefano Ferilli Teresa Maria Altomare Basile Nicola Di Mauro Marenglen Biba Floriana Esposito

Published in: AI*IA (2007)

Keyphrases

similarity measure
distance measure
similarity retrieval
real time
semantic similarity
database
neural network
euclidean distance
similarity function
similarity measurement
similarity metrics
high dimensional
search space
distance metric
theorem prover
similarity assessment