67 citations · 127 across the 16 of their papers we have counts for
Showing 1996Show all
3 papers · 1 filter
cmp-lg1996★ 11 cited
Corrections and Higher-Order Unification
Claire Gardent, Michael Kohlhase, Noor van Neusen
We propose an analysis of corrections which models some of the requirements corrections place on context. We then show that this analysis naturally extends to the interaction of co…
cmp-lg1996
Focus and Higher-Order Unification
Claire Gardent, Michael Kohlhase
Pulman has shown that Higher--Order Unification (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification--based approach to cases which are…
cmp-lg1996
Higher-Order Coloured Unification and Natural Language Semantics
Claire Gardent, Michael Kohlhase
In this paper, we show that Higher-Order Coloured Unification - a form of unification developed for automated theorem proving - provides a general theory for modeling the interface…