Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus.

Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque

Browse the full IJCAI paper archive.