Reasoning About Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus (1997)

by Giuseppe De Giacomo , Yves Lespérance , Hector J. Levesque
Citations:62 - 12 self