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 …

This paper investigates a new representation format for dynamic discourse in DRT, where
contextual dynamics is modeled in terms of update conditions. This new representation …

Generics and frequency statements are puzzling phenomena: they are lawlike, yet
contingent. They may be true even in the absence of any supporting instances, and …

I contrast two approaches to the interpretation of generics such as 'ravens are black:'majority-
based views, on which they are about what is the case most of the time, and inquiry-based …

We specify a model-theoretic semantics for defaults in terminological logics using Shoham's
framework of preference semantics. The semantics contains specificity as a precedence …

This book was written in two stages, and at two different institutes at two different
universities. First, and foremost, the Institut für Maschinelle Sprachverarbeitung (IMS) at the …

Logical theory traditionally assumes that (1) logical inference is a relation between
sentences (or propositions), not between thoughts (or anything cognitive), and (2) the …

We define an order independent version of default unification on typed feature structures.
The operation is one where default information in a feature structure typed with a more …

REFLECTIONS ON EPISTEMIC LOGIC 7 being more influential in philosophical and
computational cir are many different causes for this course of events, not all of to do with the …

This book is a selection from the articles that I have written over a period of more than twenty
years. Since the focus of my research interests has shifted several times during this period, it …