(De)Composition of Situation Calculus Theories

Eyal Amir. (De)Composition of Situation Calculus Theories. In Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA. pages 456-463, AAAI Press / The MIT Press, 2000.

Abstract

Abstract is missing.