Natural Actions, Concurrency and Continuous Time in the Situation Calculus.

Raymond Reiter

Browse the full KR paper archive.