% % GENERATED FROM https://www.coli.uni-saarland.de % by : anonymous % IP : coli2006.lst.uni-saarland.de % at : Mon, 05 Feb 2024 15:43:26 +0100 GMT % % Selection : Reference #443 % @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} }