Editorial Board
Introduction: Progress in formal commonsense reasoning
A unifying semantics for time and events
Nonmonotonic causal theories
Representing the Zoo World and the Traffic World in the language of the Causal Calculator
An attempt to formalise a non-trivial benchmark problem in common sense reasoning
Logic-based subsumption architecture
Elaboration tolerance through object-orientation
The representation of planning strategies
Heuristic planning: A declarative approach based on strategies for action selection
Weakening conflicting information for iterated revision and knowledge integration
Forthcoming Papers
Author Index—Volume 153 (2004)