Murray Shanahan, Mark Witkowski. Robot Navigation and Map Building with the Event Calculus (abstract). In Anthony Hunter, Simon Parsons, editors, Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 99, London, UK, July 5-9, 1999, Proceedings. Volume 1638 of Lecture Notes in Computer Science, pages 362, Springer, 1999. [doi]