Title: The Event Calculus in Classical Logic - Alternative Axiomatisations
Authors: Rob Miller and Murray Shanahan
Series: Linkping Electronic Articles in Computer and Information Science
ISSN 1401-9841
Issue: Vol. 4 (1999), No. 016
URL: http://www.ep.liu.se/ea/cis/1999/016/

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.

Original publication
Postscript Checksum
Checksum (old) Information about recalculation of checksum