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]

@inproceedings{FerilliBMBE07,
  title = {Similarity-Guided Clause Generalization},
  author = {Stefano Ferilli and Teresa Maria Altomare Basile and Nicola Di Mauro and Marenglen Biba and Floriana Esposito},
  year = {2007},
  doi = {10.1007/978-3-540-74782-6_25},
  url = {http://dx.doi.org/10.1007/978-3-540-74782-6_25},
  researchr = {https://researchr.org/publication/FerilliBMBE07},
  cites = {0},
  citedby = {0},
  pages = {278-289},
  booktitle = {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},
  editor = {Roberto Basili and Maria Teresa Pazienza},
  volume = {4733},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74781-9},
}