@InProceedings{Egg_et_al:1998_2,
AUTHOR = {Egg, Markus and Niehren, Joachim and Ruhrberg, Peter and Xu, Feiyu},
TITLE = {Constraints over Lambda-Structures in Semantic Underspecification},
YEAR = {1998},
BOOKTITLE = {17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association for Computational Linguistics (COLING-ACL'98), August 10-14},
VOLUME = {1},
PAGES = {353-359},
EDITOR = {ACL},
ADDRESS = {Montréal, Québec, Canada},
PUBLISHER = {Morgan Kaufmann Publishers},
URL = {http://www.dfki.de/~feiyu/CLLS-98.pdf ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/COLING-feiyu-98.ps.gz ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/COLING-feiyu-98.entry},
ABSTRACT = {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.},
ANNOTE = {COLIURL : Egg:1998:CLSb.pdf Egg:1998:CLSb.ps} }
|