Marta Tatu, Dan I. Moldovan. A Logic-Based Semantic Approach to Recognizing Textual Entailment. In ACL 2006, 21st International Conference on Computational Linguistics and 44th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference, Sydney, Australia, 17-21 July 2006. The Association for Computer Linguistics, 2006. [doi]
Abstract is missing.