%0 Book Section %1 Shanahan99EC %A Shanahan, Murray P. %B Artificial Intelligence Today, Lecture Notes in AI no. 1600 %D 1999 %E Woolridge, M. J. %E Veloso, M. %I Springer %K action logic, planning temporal %P 409--430 %T The Event Calculus Explained %X 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. %Z Tutorial introduction to event calculus.

@incollection{Shanahan99EC, 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.}, added-at = {2008-02-17T16:51:33.000+0100}, annote = {Tutorial introduction to event calculus.}, author = {Shanahan, Murray P.}, biburl = {https://www.bibsonomy.org/bibtex/24c6eeb006889b4cde3cfea7348ccd9ce/ocelma}, booktitle = {Artificial Intelligence Today, Lecture Notes in AI no. 1600}, date-added = {2004-11-14 22:55:36 +0000}, date-modified = {2005-11-05 12:28:14 +0000}, editor = {Woolridge, M. J. and Veloso, M.}, interhash = {754bc629d3aa1aa37ef5850bf191c102}, intrahash = {4c6eeb006889b4cde3cfea7348ccd9ce}, keywords = {action logic, planning temporal}, pages = {409--430}, publisher = {Springer}, timestamp = {2008-02-17T16:51:35.000+0100}, title = {The Event Calculus Explained}, year = 1999 }