Logic is the science that deals with the formal principles and criteria of validity of patterns of
inference. This chapter surveys logics for a particular group of patterns of inference, namely …

The first formally elaborated theory of a generative approach to word meaning, The
Generative Lexicon lays the foundation for an implemented computational treatment of word …

People often mean more than they say. Grammar on its own is typically insufficient for
determining the full meaning of an utterance; the assumption that the discourse is coherent …

Reference to Abstract Objects in Discourse presents a novel framework and analysis of the
ways we refer to abstract objects in natural language discourse. The book begins with a …

Defaults in update semantics Page 1 FRANK VELTMAN DEFAULTS IN UPDATE SEMANTICS
ABSTRACT. The aim of this paper is twofold: (i) to introduce the framework of update semantics …

This paper presents a formal account of how to determine the discourse relations between
propositions introduced in a text, and the relations between the events they describe. The …

Commonsense knowledge is essential for many AI applications, including those in natural
language processing, visual processing, and planning. Consequently, many sources that …

This Handbook documents the main trends in current research between logic and language,
including its broader influence in computer science, linguistic theory and cognitive science …

We argue in this article that many common adverbial phrases generally taken to signal a
discourse relation between syntactically connected units within discourse structure instead …

Several conditional theories of default reasoning have recently been proposed for the
representation of statements about normal states of affairs or prototypical properties. The …