Publication details

Programming Systems

Gert Smolka

Publications

Teaching

Software

Formalizations

Constraints over Lambda-Structures in Semantic Underspecification

Markus Egg, Joachim Niehren, Peter Ruhrberg, Feiyu Xu

Proceedings of the 17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association for Computational Linguistics , pp. 353--359, August 1998

We introduce a first-order language for semantic underspecification that we call Constraint Language for Lambda-Structures (CLLS). A lambda-structure can be considered as a lambda-term up to consistent renaming of bound variables (alpha-equality); a constraint of CLLS is an underspecified description of a $lambda$-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.

Download PDF        Show BibTeX               

@INPROCEEDINGS{CLLS:98,
  title = {Constraints over Lambda-Structures                    in Semantic Underspecification},
  author = {Markus Egg and Joachim Niehren and Peter Ruhrberg and Feiyu Xu},
  year = {1998},
  month = {aug},
  booktitle = {Proceedings of the 17th International Conference                    on Computational Linguistics and 36th Annual Meeting
                    of the Association for Computational Linguistics
},
  pages = {{353--359}},
  address = {{Montreal, Canada}},
}

Login to edit