The Event Calculus in Classical Logic - Alternative Axiomatisations.
Rob Miller, Murray Shanahan · 1999
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.