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
1999-09-30
Postscript Checksum
Checksum (old) Information about recalculation of checksum