67 citations · 127 across the 16 of their papers we have counts for
5 papers · 1 filter
Computing Parallelism in Discourse
Claire Gardent, Michael Kohlhase
Although much has been said about parallelism in discourse, a formal, computational theory of parallelism structure is still outstanding. In this paper, we present a theory which g…
Sloppy Identity
Claire Gardent
Although sloppy interpretation is usually accounted for by theories of ellipsis, it often arises in non-elliptical contexts. In this paper, a theory of sloppy interpretation is pro…
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…
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…
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…