In this paper, we argue that embodiment can play an important role in the design and
modeling of systems developed for Human Computer Interaction. To this end, we describe a …

I argue that alternative-denoting expressions interact with their semantic context by taking
scope. With an empirical focus on indefinites in English, I show how this approach improves …

I motivate a new theory of exceptional scope phenomena in natural language—that is, the
ability of some expressions to affect the interpretation of others from inside scope islands. I …

This paper proposes a formal account of indefinites' exceptional quantificational and binding
scope properties—static and dynamic exceptional scope. I show how minimal dynamic …

In this paper, we argue that embodiment can play an important role in the evaluation of
systems developed for Human Computer Interaction. To this end, we describe a simulation …

We present a system for Natural Language Inference which uses a dynamic semantics
converter from abstract syntax trees to Coq types. It combines the fine-grainedness of a …

The demand for more sophisticated natural human-computer and human-robot interactions
is rapidly increasing, as users become more accustomed to conversation-like interactions …

The satisfaction theory of presupposition projection found in Heim 1983 has paved the way
for a successful research tradition within dynamic semantics which has given rise to …

In this paper we argue that embodied multimodal agents, ie, avatars, can play an important
role in moving natural language processing toward “deep understanding.” Fully-featured …

In this paper, we propose an implementation of temporal semantics that translates syntax
trees to logical formulas, suitable for consumption by the Coq proof assistant. The analysis …