Journal of the ACM Bibliography
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.
[BibTeX entry]
Categories and Subject Descriptors:
I.2.9 [Artificial Intelligence]: Robotics -- motion
planning under uncertainty; I.2.4 [Artificial
Intelligence]: Knowledge Representation Formalisms and Methods
-- epistemic logic; F.3.1 [Logics and Meanings of
Programs]: Specifying and Verifying and Reasoning about
Programs
General Terms:
Design, Theory
Additional Key Words and Phrases:
Analysis, logics of knowledge and time, knowledge representation, motion
planning under uncertainty
Selected references
- Cynthia Dwork and Yoram Moses. Knowledge and common knowledge in a
Byzantine environment: Crash failures. Information and
Computation, 88(2):156-186, October 1990.
- E. Allen Emerson and Joseph Y. Halpern. Decision procedures and
expressiveness in the temporal logic of branching time.
Journal of Computer and System Sciences, 30(1):1-24,
February 1985.
- Joseph Y. Halpern and Ronald Fagin. Modelling
knowledge and action in distributed systems. Distributed
Computing, 3(4):159-177, 1989.
- Joseph Y. Halpern and Yoram Moses. Knowledge and common knowledge in
a distributed environment. Journal of the ACM,
37(3):549-587, July 1990.
- Joseph Y. Halpern and Moshe Y. Vardi. The complexity of
reasoning about knowledge and time: Extended abstract. In
Proceedings of the Eighteenth Annual ACM Symposium on Theory of
Computing, pages 304-315, Berkeley, California, 28-30 May 1986.
- Yoram Moses and Mark R. Tuttle. Programming
simultaneous actions using common knowledge.
Algorithmica, 3:121-169, 1988.
Shortcuts: