Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus (1997)

by G De Giacomo, Y Lesperance, H J Levesque
Venue:In Proceedings of the 15th International Joint Conference onArti cial Intelligence (IJCAI'97