Temporary registration page before publication by Linköping University Electronic Press, series Computer and Information Science
The following article is intended to be published shortly by Linköping University Electronic Press. The present page gives access to the article, but does not provide the guarantees of persistence.

The Event-Calculus in Classical Logic - Alternative Axiomatisations.

Title:The Event-Calculus in Classical Logic - Alternative Axiomatisations.
Authors: Rob Miller and Murray Shanahan
Series:Linköping Electronic Articles in Computer and Information Science
ISSN 1401-9841
Issue:Vol. 4(1999): nr 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.
Keywords:
Intended publication 1999-09-30 Postscript
Info from authors  
Third-party information  
[About LiEP] [About Checksum validation] [About compression formats]
Editor-in-chief: editor@ep.liu.se
Webmaster: webmaster@ep.liu.se 		29-Jun-98 16:48