Planning routes through uncertain territory

This publication has 11 references indexed in Scilit:

• A Temporal Logic for Reasoning about Processes and Plans*
  Cognitive Science, 1982
• Plan creation, plan execution and knowledge acquisition in a dynamic microworld
  International Journal of Man-Machine Studies, 1982
• Symbolic reasoning among 3-D models and 2-D images
  Artificial Intelligence, 1981
• Automatic Planning of Manipulator Transfer Movements
  IEEE Transactions on Systems, Man, and Cybernetics, 1981
• Data Structures for Range Searching
  ACM Computing Surveys, 1979
• An algorithm for planning collision-free paths among polyhedral obstacles
  Communications of the ACM, 1979
• A Cognitive Model of Planning*
  Cognitive Science, 1979
• Modeling Spatial Knowledge*
  Cognitive Science, 1978
• Planning and Acting*
  Cognitive Science, 1978
• On the SUP-INF Method for Proving Presburger Formulas
  Journal of the ACM, 1977