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 |
Editor-in-chief: editor@ep.liu.se Webmaster: webmaster@ep.liu.se |
29-Jun-98 16:48 |