The constraint language for lambda structures

Journal of Logic, Language and Information

Volumn 10, Issue 4, 2001, Pages 457-485

  Egg, Markus ^a   Koller, Alexander ^a   Niehren, Joachim ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Anaphora; Ellipsis; Scope ambiguity; Tree descriptions; Underspecification

Indexed keywords

EID: 0012746516     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1017964622902     Document Type: Article

References (38)

1. Alshawi, H. and Crouch, R., 1992, "Monotonic semantic interpretation,", pp. 32-39 in Proceedings of the 30th ACL, Newark: Morgan Kaufmann Publishers.
2. Bodirsky, M., Erk, K., Koller, A., and Niehren, J., 2001a, "Beta reduction constraints," pp. 31-46 in Proceedings of the 12th International Conference on Rewriting Techniques and Applications, Utrecht, A. Middeldorp, ed., Berlin: Springer-Verlag.
3. Bodirsky, M., Erk, K., Koller, A., and Niehren, J., 2001b, "Underspecified beta reduction," pp. 74-81 in Proceedings of the 39th ACL, Toulouse, San Francisco, CA: Morgan Kaufmann Publishers.
4. Bos, J., 1996, "Predicate logic unplugged," pp. 133-143 in Proceedings of the 10th Amsterdam Colloquium, P. Dekker and M. Stokhof, eds., Amsterdam: University of Amsterdam.
5. CHORUS Project, 1999, "The CHORUS demo system," http://www.coli.uni-sb.de/cl/ projects/chorus/demo.html
6. Crouch, R., 1995, "Ellipsis and quantification: A substitutional approach," pp. 229-236 in Proceedings of the 7th EACL, Dublin, San Francisco, CA: Morgan Kaufmann Publishers.
7. Dalrymple, M., Shieber, S., and Pereira, F., 1991, "Ellipsis and higher-order unification," Linguistics & Philosophy 14, 399-452.
8. Duchier, D. and Niehren, J., 2000, "Dominance constraints with set operators," pp. 326-341 in Proceedings of the First International Conference on Computational Logic (CL2000), J. Lloyd et al., eds., Berlin: Springer-Verlag.
9. Egg, M., 2001, "Reinterpretation from a synchronic and diachronic point of view," Linguistics, to appear.
10. Egg, M., Niehren, J., Ruhrberg, P., and Xu, F., 1998, "Constraints over lambda-structures in semantic underspecification," pp. 353-359 in Proceedings COLING/ACL'98, Montreal, San Francisco, CA: Morgan Kaufmann Publishers.
11. Erk, K. and Niehren, J., 2000, "Parallelism constraints," pp. 110-126 in Proceedings of the 11th International Conference on Rewriting Techniques and Applications, Norwich, U.K., L. Bachmair, ed., Berlin: Springer-Verlag.
12. Erk, K., Koller, A., and Niehren, J., 2001, "Processing underspecified semantic representations in the constraint language for lambda structures," Journal of Language and Computation, to appear.
13. Fiengo, R. and May, R., 1994, Indices and Identity, Cambridge, MA: MIT Press.
14. Gardent, C. and Webber, B., 1998, "Describing discourse semantics," pp. 50-53 in Proceedings of the 4th TAG+ Workshop, A. Abeillé et al., eds., Philadelphia, PA: University of Pennsylvania.
15. Gawron, M. and Peters, S., 1990, Anaphora and Quantification in Situation Semantics, CSLI Lecture Notes, No. 19, Stanford, CA/Chicago, IL: CSLI/University of Chicago Press.
16. Hirschbühler, P., 1982, "VP deletion and across the board quantifier scope," pp. 132-139 in NELS 12, J. Pustejovsky and P. Sells, eds., Cambridge: CLSA Publications.
17. Jaspars, J. and Koller, A., 1999, "A calculus for direct deduction with dominance constraints," pp. 145-150 in Proceedings of the Twelfth Amsterdam Colloquium, Amsterdam, P. Dekker, ed., Amsterdam: ILLC.
18. Kehler, A., 1993, "A discourse copying algorithm for ellipsis and anaphora resolution," pp. 203-212 in Proceedings of EACL, ACL.
19. Kehler, A., 1995, "Interpreting cohesive forms in the context of discourse inference," Ph.D. Thesis, Harvard University.
20. Koller, A. and Niehren, J., 2000, "On underspecified processing of dynamic semantics," pp. 460-466 in Proceedings of the 18th COLING, Saarbrucken, San Francisco, CA: Morgan Kaufmann Publishers.
21. Koller, A. and Niehren, J., 2001, "Constraint programming in computational linguistics," in Logic Unleashed: Language, Diagrams, and Computation. Proceedings of the 8th CSLI Workshop on Logic, Language, and Computation, D. Barker-Plummer, D. Beaver, J. van Benthem, and P.S. di Luzio, eds., Stanford, CA: CSLI Press, to appear.
22. Koller, A., Mehlhorn, K., and Niehren, J., 2000a, "A polynomial-time fragment of dominance constraints," pp. 368-375 in Proceedings of the 38th ACL, Hong Kong, San Francisco, CA: Morgan Kaufmann Publishers.
23. Koller, A., Niehren, J., and Striegnitz, K., 2000b "Relaxing underspecified semantic representations for reinterpretation," Grammars 3(2-3), 217-241.
24. Koller, A., Niehren, J., and Treinen, R., 2001, "Dominance constraints: Algorithms and complexity," in Proceedings of the Third Conference on Logical Aspects of Computational Linguistics (LACL '98), M. Moortgat, ed., Lecture Notes in Artificial Intelligence, Vol. 2014, Heidelberg: Springer-Verlag, to appear.
25. Muskens, R., 1995, "Order-independence and underspecification," pp. 15-34 in Ellipsis, Under-specification, Events and More in Dynamic Semantics, J. Groenendijk, ed., DYANA Deliverable R.2.2.C.
26. Niehren, J. and Koller, A., 2001, "Dominance constraints in context unification," in Proceedings of the Third Conference on Logical Aspects of Computational Linguistics, Grenoble, M. Moortgat, ed., Lecture Notes in Artificial Intelligence, Vol. 2014, Heidelberg: Springer-Verlag, to appear.
27. Niehren, J., Pinkal, M., and Ruhrberg, P., 1997a, "On equality up-to constraints over finite trees, context unification, and one-step rewriting," pp. 34-48 in Proceedings 14th CADE, W. McCune, ed., Berlin: Springer-Verlag.
28. Niehren, J., Pinkal, M., and Ruhrberg, P., 1997b, "A uniform approach to underspecification and parallelism," pp. 410-447 in Proceedings ACL'97, Madrid, San Francisco, CA: Morgan Kaufmann Publishers.
29. Pinkal, M., 1996, "Radical underspecification," pp. 587-606 in Proceedings of the 10th Amsterdam Colloquium, P. Dekker and M. Stokhof, eds., Amsterdam: University of Amsterdam.
30. Rambow, O., Vijay-Shanker, K., and Weir, D., 1995, "D-tree grammars," pp. 151-158 in Proceedings of ACL'95, San Francisco, CA: Morgan Kaufmann Publishers.
31. Reyle, U., 1993, "Dealing with ambiguities by underspecification: Construction, representation, and deduction," Journal of Semantics 10, 123-179.
32. RTA, 1998, "Decidability of context unification," The RTA list of open problems, No. 90, http: //www.lri.fr/~rtaloop/
33. Sag, I.A., 1980, Deletion and Logical Form, New York: Garland Publishing.
34. Schmidt-Schauß, M. and Schulz, K., 1998, "On the exponent of periodicity of minimal solutions of context equations," pp. 61-75 in Proceedings of the 9th International Conference on Rewriting Techniques and Applications, T. Nipkow, ed., Berlin: Springer-Verlag.
35. Shieber, S., Pereira, F., and Dalrymple, M., 1996, "Interaction of scope and ellipsis," Linguistics & Philosophy 19, 527-552.
36. van Deemter, K. and Peters, S., 1996, Semantic Ambiguity and Underspecification, Stanford, CA: CSLI.
37. Vijay-Shanker, K., 1992, "Using descriptions of trees in a tree adjoining grammar," Computational Linguistics 18, 481-518.
38. Xu, F., 1998, "Semantic underspecification and ellipsis resolution," Diplom Thesis, University of the Saarland, http://www.coli.uni-sb.de/cl/projects/chorus/papers/fei98a.html