1 |
Describing Lambda Terms in Context Unification
|
|
|
|
In: 5th International Conference on Logical Aspects in Computational Linguistics ; https://hal.inria.fr/inria-00536524 ; 5th International Conference on Logical Aspects in Computational Linguistics, 2005, Bordeaux, France. pp.221-237 (2005)
|
|
BASE
|
|
Show details
|
|
2 |
A New Algorithm for Normal Dominance Constraints
|
|
|
|
In: ACM-SIAM Symposium on Discrete Algorithms - SODA'2003 ; https://hal.inria.fr/inria-00536536 ; ACM-SIAM Symposium on Discrete Algorithms - SODA'2003, Jan 2004, New Orleans, Louisiana, United States. pp.59-67 ; http://portal.acm.org/citation.cfm?id=982801 (2004)
|
|
BASE
|
|
Show details
|
|
3 |
Minimal Recursion Semantics as Dominance Constraints: Translation, Evaluation, and Analysis
|
|
|
|
In: 42th Meeting of the Association for Computational Linguistics ; https://hal.inria.fr/inria-00536532 ; 42th Meeting of the Association for Computational Linguistics, 2004, Barcelona, Spain. pp.247-254 (2004)
|
|
BASE
|
|
Show details
|
|
7 |
Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints
|
|
|
|
In: 41st Meeting of the Association of Computational Linguistics (ACL) ; https://hal.inria.fr/inria-00536543 ; 41st Meeting of the Association of Computational Linguistics (ACL), 2003, Saporo, Japan. pp.367-374 (2003)
|
|
BASE
|
|
Show details
|
|
8 |
An Efficient Graph Algorithm for Dominance Constraints
|
|
|
|
In: ISSN: 0196-6774 ; EISSN: 1090-2678 ; Journal of Algorithms in Cognition, Informatics and Logic ; https://hal.inria.fr/inria-00536539 ; Journal of Algorithms in Cognition, Informatics and Logic, Elsevier, 2003, Special issue: Twelfth annual ACM-SIAM symposium on discrete algorithms, 48 (1), pp.194-219. ⟨10.1016/S0196-6774(03)00050-6⟩ ; http://portal.acm.org/citation.cfm?id=989537 (2003)
|
|
BASE
|
|
Show details
|
|
9 |
Well-Nested Parallelism Constraints for Ellipsis Resolution
|
|
|
|
In: 10th Conference of the European Chapter of the Association for Computational Linguistics ; https://hal.inria.fr/inria-00536541 ; 10th Conference of the European Chapter of the Association for Computational Linguistics, Association for Compuational Linguistics, 2003, Budapest, Hungary. pp.115--122 (2003)
|
|
BASE
|
|
Show details
|
|
10 |
Bridging the Gap Between Underspecification Formalisms: Hole Semantics as Dominance Constraints
|
|
|
|
In: 10th Meeting of the European Chapter of the Association of Computational Linguistics ; https://hal.inria.fr/inria-00536542 ; 10th Meeting of the European Chapter of the Association of Computational Linguistics, 2003, Budapest, Hungary. pp.195-202 (2003)
|
|
BASE
|
|
Show details
|
|
14 |
Constraint Programming in Computational Linguistics
|
|
|
|
In: Words, Proofs, and Dialog ; https://hal.inria.fr/inria-00536829 ; Dave Barker-Plummer and David I. Beaver and Johan van Benthem and Patrick Scotto di Luzio. Words, Proofs, and Dialog, 141, CSLI Press, pp.95-122, 2002 (2002)
|
|
BASE
|
|
Show details
|
|
15 |
Processing Underspecified Semantic Representations in the Constraint Language for Lambda Structures
|
|
|
|
In: Journal on Research in Language and Computation ; https://hal.inria.fr/inria-00536796 ; Journal on Research in Language and Computation, Elsevier, 2002, 1 (1), pp.127--169 (2002)
|
|
BASE
|
|
Show details
|
|
20 |
The Constraint Language for Lambda Structures
|
|
|
|
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.inria.fr/inria-00536795 ; Journal of Logic, Language and Information, Springer Verlag, 2001, 10, pp.457-485 (2001)
|
|
BASE
|
|
Show details
|
|
|
|