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.