@incollection{Shanahan99EC,
title = {The Event Calculus Explained},
annote = {Tutorial introduction to event calculus.},
author = {Murray P. Shanahan},
booktitle = {Artificial Intelligence Today, Lecture Notes in AI no. 1600},
editor = {M. J. Woolridge and M. Veloso},
pages = {409--430},
publisher = {Springer},
year = {1999},
abstract = {This article presents the event calculus, a logic-based formalism for representing actions and their effects. A circumscriptive solution to the frame problem is deployed which reduces to monotonic predicate completion. Using a number of benchmark examples from the literature, the formalism is shown to apply to a variety of domains, including those featuring actions with indirect effects, actions with non-deterministic effects, concurrent actions, and continuous change.},
date-added = {2004-11-14 22:55:36 +0000}, date-modified = {2005-11-05 12:28:14 +0000},
keywords = {action logic, planning temporal }
}
::