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

De Giacomo et al. "Reasoning About Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus." International Joint Conference on Artificial Intelligence, 1997.

[De Giacomo et al. "Reasoning About Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/giacomo1997ijcai-reasoning/)

@inproceedings{giacomo1997ijcai-reasoning,
  title     = {{Reasoning About Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus}},
  author    = {De Giacomo, Giuseppe and Lespérance, Yves and Levesque, Hector J.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {1221-1226},
  url       = {https://mlanthology.org/ijcai/1997/giacomo1997ijcai-reasoning/}
}