An algorithm for generating quantifier scopings
Computational Linguistics
PROLOG and Natural Language Analysis
PROLOG and Natural Language Analysis
Unification-based semantic interpretation
ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
Quantifier scope and constituency
ACL '95 Proceedings of the 33rd annual meeting on Association for Computational Linguistics
Using higher-order logic programming for semantic interpretation of coordinate constructs
ACL '95 Proceedings of the 33rd annual meeting on Association for Computational Linguistics
Hi-index | 0.00 |
This paper shows that a first-order unification-based semantic interpretation for various coordinate constructs is possible without an explicit use of lambda expressions if we slightly modify the standard Montagovian semantics of coordination. This modification, along with partial execution, completely eliminates the lambda reduction steps during semantic interpretation.