MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Constraints over lambda-structures in semantic underspecification (1998) [49 citations — 21 self]

Download:
Download as a PDF | Download as a PS
by Markus Egg, Joachim Niehren, Peter Ruhrberg, Feiyu Xu
In Proc. of COLING/ACL
http://www.coli.uni-sb.de/~egg/Papiere/CLLS-98.ps
Add To MetaCart

Abstract:

We introduce a first-order language for semantic underspecification that we call Constraint Language for Lambda-Structures (CLLS). A-structure can be considered as a-term up to consistent renaming of bound variables (ffequality); a constraint of CLLS is an underspecified description of a-structure. CLLS solves a capturing problem omnipresent in underspecified scope representations. CLLS features constraints for dominance, lambda binding, parallelism, and anaphoric links. Based on CLLS we present a simple, integrated, and underspecified treatment of scope, parallelism, and anaphora. 1

Citations

160 Dealing with ambiguities by underspecification: Construction, representation and deduction – Reyle - 1993
136 Predicate logic unplugged – Bos - 1996
109 D-theory: talking about talking about trees – Marcus, Hindle, et al. - 1983
77 An algorithm for generating quantifier scopings – Hobbs, Shieber - 1987
73 Using descriptions of trees in a tree adjoining grammar – Vijay-Shanker - 1992
55 On Semantic Underspecification. In – Pinkal - 1999
45 Obtaining trees from their descriptions: An application to tree-adjoining grammars – Rogers, Vijay-Shanker - 1994
43 A First-Order Axiomatization of the Theory of Finite Trees – Backofen, Rogers, et al. - 1995
41 Resolving quasi logical forms – Alshawi - 1990
28 Ellipsis and quantification: A substitutional approach – Crouch - 1995
27 On equality up-to constraints over finite trees, context unification, and one-step rewriting – Niehren, Pinkal, et al. - 1997
26 Interpreting Cohesive Forms in the Context of Discourse Inference – Kehler - 1995
25 A uniform approach to underspecification and parallelism – Niehren, Pinkal, et al. - 1997
21 A Discourse Copying Algorithm for Ellipsis and Anaphora Resolution – Kehler - 1993
20 A Theory of Parallelism and the Case of VP Ellipsis – Hobbs, Kehler - 1997
15 Minimal recursion semantics: An introduction. (manuscript http://www-csli. stanford.edu/~aac/papers/newmrs.ps – Copestake, Flickinger, et al. - 1999
15 Co-indexing labelled DRSs to represent and reason with ambiguities – Reyle - 1996
12 VP Deletion and Across the Board Quantifier Scope – Hirschbühler - 1982
10 The grammar of quantification. Doctoral dissertation – May - 1977
6 Interaction of scope and ellipsis. Linguistics and Philosophy – Shieber, Pereira, et al. - 1996
2 Vp deletion and across the board quantifier scope – Hirschbuehler - 1982
1 VP deletion and across the board quantifier scope – Hirschbfihler - 1982
1 Dominance Constraints in Context Unification, January. http://w~w, ps. un±- sb. de/Papers/ abstract s/Dominance, html – Niehren, Keller - 1998
1 VP deletion and across the board quantifier scope – Hirschbiihler - 1982