The problem of logical-form equivalence
Computational Linguistics - Special issue on using large corpora: I
Multi-modal combinatory categorial grammar
EACL '03 Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 1
Precision-focused textual inference
RTE '07 Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing
RTE '07 Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing
Learning alignments and leveraging natural logic
RTE '07 Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing
Hi-index | 0.00 |
The paper introduces an index of fully-specified logical form for unrestricted natural language. The index is argued to facilitate both computation of entailment and generation under semantic control.