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


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database