STAIRS 2012: Proceedings of the Sixth Starting AI ...
Preview
[3] Murray Shanahan and Mark Witkowski. Event Calculus planning through satisfiability. Journal of Logic and Computation, 14(5), 2004. [4] Murray Shanahan. The Event Calculus explained. Artificial Intelligence Today, 1600/ 1999:409–430, ...