@incollection{Shanahan1999,
	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},
	biburl = {http://www.bibsonomy.org/bibtex/24c6eeb006889b4cde3cfea7348ccd9ce/moustaki},
	description = {My bibtex file},
	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-modified = {2005-11-05 12:28:14 +0000}, date-added = {2004-11-14 22:55:36 +0000},
	keywords = {action logic, planning temporal }
}