Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus

Richard B. Scherl. Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus. In Georg Gottlob, Toby Walsh, editors, IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003. pages 1091-1098, Morgan Kaufmann, 2003.

@inproceedings{Scherl03,
  title = {Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus},
  author = {Richard B. Scherl},
  year = {2003},
  researchr = {https://researchr.org/publication/Scherl03},
  cites = {0},
  citedby = {0},
  pages = {1091-1098},
  booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  editor = {Georg Gottlob and Toby Walsh},
  publisher = {Morgan Kaufmann},
}