This book introduces fundamental techniques for computing semantic representations for
fragments of natural language and performing inference with the result. The prinary tools …

Aspects of semantic interpretation, such as quantifier scoping and reference resolution, are
often realised computationally by non-monotonic operations involving loss of information …

This report describes the research, design and implementation work carried out in building
the CLARE system at SRI International, Cambridge, England. CLARE was designed as a …

This book introduces a number of fundamental techniques for computing semantic
representations for fragments of natural language and performing inference with the result …

This thesis deals with the patterns of temporal reference exhibited by conditional and modal
sentences in English, and specifically with the way that past and present tenses can …

Making a linguistic theory is like making a programming language: one typically devises a
type system to delineate the acceptable utterances and a denotational semantics to explain …

Why should computers interpret language incrementally? In recent years psycholinguistic
evidence for incremental interpretation has become more and more compelling, suggesting …

Traditional accounts of the semantic interpretation of quantified phrases and its interaction
with reference and ellipsis have relied on formal manipulations of logical forms (quantifier …

This paper describes a formalism and implementation for the interpretation and generation
of sentences containing context-dependent constructs like determiners, pronouns, focus …

In the second section we consider four alternative formulations of DRS construction: the
standard formulation in terms of a top down construction algorithm, a semi-compositional …