2001
Tree Descriptions, Constraints and Incrementality
(Denys Duchier and Claire Gardent)
1999
A Constraint-based treatment of descriptions
(Denys Duchier and Claire Gardent)
Higher-Order Coloured Unification: a Linguistic Application
(Claire Gardent and Michael Kohlhase and Karsten Konrad)
Managing Structural Information by Higher-Order Colored Unification
(Dieter Hutter and Michael Kohlhase)
Parsing with Tree Descriptions: a constraint-based approach
(Denys Duchier and Stefan Thater)
A Constraint-Based Treatment of Descriptions
(Denys Duchier and Claire Gardent)
1998
A specification language for discourse
(Patrick Blackburn and Claire Gardent)
Describing Discourse Semantics
(Claire Gardent and Bonnie Webber)
Reasoning without Believing: On the Mechanization of Presuppositions and Partiality
(Manfred Kerber and Michael Kohlhase)
1997
Underspecification of quantifier scope
(Egg, Markus and Kohlhase, Michael)
Dynamic control of quantifier scope
(Egg, Markus and Kohlhase, Michael)
Sloppy Identity
(Claire Gardent)
Computing parallelism in Discourse
(Claire Gardent and Michael Kohlhase)
A Coloured Version of the $\lambda$-Calculus
(Dieter Hutter and Michael Kohlhase)
Dynamic Lambda Calculus
(Michael Kohlhase and Susanna Kuschert)
Akkommodation bei Anaphernresolution?
(Susanna Kuschert)
1996
Anaphores parall`eles et Techniques de R'esolution
(Claire Gardent)
Focus and Higher--Order Unification
(Claire Gardent and Michael Kohlhase)
Higher--Order Coloured Unification and Natural
Language Semantics
(Claire Gardent and Michael Kohlhase)
Corrections and Higher-Order Unification
(Claire Gardent and Michael Kohlhase and Noor van Leusen)
A Resolution Calculus for Presuppositions
(Manfred Kerber and Michael Kohlhase)
A Tableau Calculus for Partial Functions
(Manfred Kerber and Michael Kohlhase)
A type-theoretic semantics for $\lambda$-DRT
(Michael Kohlhase and Susanna Kuschert and Manfred Pinkal)
| 
