A General Similarity Framework for Horn Clause Logic - Ferilli, S.; Basile, T.M.A.; Biba, M.; Di Mauro, N.; Esposito, F. (Fundamenta informaticae, 2009)
Keywords: Logic Programming; Similarity/Distance Measures; First-Order Logic