The Event Calculus in Classical Logic - Alternative Axiomatisations.

Abstract

We present several alternative classical logic axiomatisations of the Event Calculus, a narrative based formalism for reasoning about actions and change. We indicate the range of applicability and key characteristics of each alternative formulation.