| 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 |
|---|