Similarity-Guided Clause Generalization

Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro, Marenglen Biba, Floriana Esposito. Similarity-Guided Clause Generalization. In Roberto Basili, Maria Teresa Pazienza, editors, AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings. Volume 4733 of Lecture Notes in Computer Science, pages 278-289, Springer, 2007. [doi]

Abstract

Abstract is missing.