Dr. Michael Kohlhase

Veröffentlichungen in Verbindung mit SFB 378

2000

Feature Logic for Dotted Types: A Formalism for Complex Word Meanings
(Michael Kohlhase and Manfred Pinkal)

1999

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)

1998

Steuerung der Inferenz in der Diskursverarbeitung
(Egg, Markus and Gardent, Claire and Kohlhase, Michael)

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)

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)

1996

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)