We describe a model of iterated belief revision that extends the AGM theory of revision to
account for the effect of a revision on the conditional beliefs of an agent. In particular, this …

In this paper we propose a semantics for dyadic deontic logic with an explicit preference
ordering between worlds, representing different degrees of ideality. We argue that this …

The Katsuno and Mendelzon (KM) theory of belief update has been proposed as a
reasonable model for revising beliefs about a changing world. However, the semantics of …

A logical concept of representation independence is developed for nonmonotonic logics,
including probabilistic inference systems. The general framework then is applied to several …

The development of a commonsense theory of causation has often been pursued along a
number of, somewhat orthogonal, directions. The work contained herein examines the role …

A first-order conditional logic is defined in which conditionals such as a ẞ are interpreted as
saying that most/normal/typical objects which satisfy a satisfy ẞ as well. This qualitative …

In this paper different usages of preference orderings for defeasible conditional logics are
discussed. The different usages, so-called minimizing and ordering, are represented by …

In the literature on Non-Monotonic Logics, many examples of defeasible deductions infer
that an arbitrarily chosen individual in a given set has the properties that we consider as …

In this paper we present a powerful uniform first-order framework for representing and
reasoning with complex forms of default knowledge. This is achieved by extending first-order …