Eduardo Blanco 0002, Dan I. Moldovan. A Logic Prover Approach to Predicting Textual Similarity. In Chutima Boonthum-Denecke, G. Michael Youngblood, editors, Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2013, St. Pete Beach, Florida. May 22-24, 2013. AAAI Press, 2013. [doi]
Abstract is missing.