- Joseph Y. Halpern and Yoav Shoham. A propositional modal logic of
time intervals. Journal of the ACM, 38(4):935-962,
October 1991.
References,
Citations,
etc.
- Fangzhen Lin and Yoav Shoham. Provably correct theories of
action. Journal of the ACM, 42(2):293-320, March 1995.
Abstract,
References,
etc.
- Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, and Yoav Shoham. Applications of a logic
of knowledge to motion planning under uncertainty. Journal of
the ACM, 44(5):633-668, September 1997.
References,
etc.
Shortcuts: