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

Cite this paper

@inproceedings{Giacomo1997ReasoningAC, title={Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus}, author={Giuseppe De Giacomo and Yves Lesp{\'e}rance and Hector J. Levesque}, booktitle={IJCAI}, year={1997} }