A uniform approach to underspecification and parallelism

Proceedings of the Annual Meeting of the Association for Computational Linguistics

Volumn 1997-July, Issue , 1997, Pages 410-417

  Niehren, Joachim ^a   Pinkal, Manfred ^a   Ruhrberg, Peter ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT LANGUAGE; CONTEXT UNIFICATIONS; FINITE TREES; SUB TREES; UNDERSPECIFICATION; UNIFIED FRAMEWORK;

SEMANTICS;

EID: 0012180785     PISSN: 0736587X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Alshawi, H. and D. Crouch. 1992. Monotonic semantic interpretation. In 30th Annual Meeting of the Association of Computational Linguistics, pages 32-38.
2. Asher, Nick. 1993. Reference to abstract objects in discourse. Kluwer, Dordrecht.
3. Bander, F. and J. Siekmann. 1993. Unification theory. In D. Gabbay, C.J. Hogger, and J.A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford University Press.
4. Bos, Johan, Bj6rn Gambi~ck, Christian Lieske, Yoshiki Mori, Manfred Pinkal, and Karsten Worm. 1996. Compositional semantics in Verbmobil. In Proceedings of the 16th International Conference on Computational Linguistics, volume 1, pages 131-136, Ktbenhavn, Denmark, August. ACL.
5. Comon, ttubert. 1992. Completion of rewrite systems with membership constraints. In W. Kuich, editor, Proc. 19th Int. Coll. on Automata, Languages and Programming, LNCS 623, Vienna. Springer-Verlag.
6. Copestake, A. and E. J. Briscoe. 1995. Semi productive polysemy and sense extension. Journal of Semantics, 12:15-67.
7. Dalrymple, Maryl Stuart Shieber, and Fernando Pereira. 1991. Ellipsis and higher order unification. Linguistics and Philosophy, 14:399-452.
8. Dowty, D., R. Wall, and S. Peters. 1981. Introduction to Montague semantics. Reidel, Dordrecht.
9. Egg, M. and K. Lebeth. 1995. Semantic underspecification and modifier attachment ambiguities. In J. Kilbury and R. Wiese, editors, Integrative Ansaetze in der Computerlinguistik. Duesseldoff, pages 19-24.
10. Gardent, Cl~.ire and Michael Kohlhase. 1996. Focus and higher-order unification. In Proceedings of COLING-96, Copenhagen.
11. Gardent, Claire, Michael Kohlhase, and Noor van Leusen. 1996. Corrections and Higher-Order Unification. In Proceedings of KONVENS-96. De Gruyter, Bielefeld, Germany, pages 268-279.
12. Goldfarb, W. D. 1981. The undecidability of the second-order unification problem. Theoretical Computer Science, 13:225-230.
13. Hirschbuehler, Paul. 1982. Vp deletion and across the board quantifier scope. In J. Pustejovsky and P. Sells, editors, NELS 12, University of Massachussetts, Amherst.
14. Kamp, H. and U. Reyle. 1993. From Discourse to Logic. Kluwer, Dordrecht.
15. L~vy, Jordi. 1996. Linear second order unification. In Proceedings of the Conference on Rewriting Techniques and Applications. Springer-Verlag.
16. Makanin, G.S. 1977. The problem of solvability of equations in a free semigroup. Soviet Akad. Nauk SSSR, 223(2).
17. Montague, R. 1974. The proper treatment of quantification in ordinary english. In R. Thomason, editor, Formal Philosophy. Selected Papers of Richard Montague. Yale University Press, New Haven and London, pages 247-271.
18. Niehren, Joachim, Manfred Pinkal, and Peter Ruhrberg. 1997. On equality up-to constraints over finite trees, context unification and one-step rewriting. In Proceedings of the l~th International Conference on Automated Deduction. A complete verison is available from http://www.ps.uni-sb.de/~uiehren. In Press.
19. Pinkal, Manfred. 1995. Radical underspecification. In Paul Dekker and Martin Stokhof, editors, Proceedings of the lOth Amsterdam Colloquium, University of Amsterdam.
20. Pustejovsky, J. 1995. The Generative Lexicon. MIT press, Mambridge MA.
21. Reyle, Uwe. 1993. Dealing with ambiguities by underspecification: construction, representation, and deduction. Journal of Semantics, 10:123-179.
22. Reyle, Uwe. 1995. Co-indexing labelled DRSs to represent and reason with ambiguities. In S. Peters and K. van Deemter, editors, Semantic Ambiguity and Underspecification. CSLI Publications, Stanford.
23. Schmidt-SchaufS, Manfred. 1994. Unification of stratified second-order terms. Technical Report internal report 12/94, J. W. Goethe Universit~it, Frankfurt, Germany.
24. Shieber, Stuart, Fernando Pereira, and Mary Dalrymple. 1996. Interactions of scope and ellipsis. Linguistics and Philosophy, 19:527-552.