Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus

Richard B. Scherl. Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus. In Georg Gottlob, Toby Walsh, editors, IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003. pages 1091-1098, Morgan Kaufmann, 2003.

Abstract

Abstract is missing.