PREFACE
The Refined Extension Principle for Semantics of Dynamic Logic Programming
Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions
Belief Liberation (and Retraction)
Distant Causation in C+
Gricean Belief Change
Alan
Reasoning about Sensing Actions in Domains with Multi-Valued Fluents