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

Richard B. Scherl

Browse the full IJCAI paper archive.