Semantics for a useful fragment of the situation calculus

Gerhard Lakemeyer, Hector J. Levesque. Semantics for a useful fragment of the situation calculus. In Leslie Pack Kaelbling, Alessandro Saffiotti, editors, IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005. pages 490-496, Professional Book Center, 2005. [doi]

Authors

Gerhard Lakemeyer

This author has not been identified. Look up 'Gerhard Lakemeyer' in Google

Hector J. Levesque

This author has not been identified. Look up 'Hector J. Levesque' in Google