Reasoning About Plans and Actions

This publication has 20 references indexed in Scilit:

• Visual map making for a mobile robot
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• INTRACTABILITY AND TIME-DEPENDENT PLANNING
  Published by Elsevier ,1987
• ACTIONS, PROCESSES, AND CAUSALITY
  Published by Elsevier ,1987
• Planning english referring expressions
  Artificial Intelligence, 1985
• Speech acts and rationality
  Published by Association for Computational Linguistics (ACL) ,1985
• Strategies for Solving Collision-free Trajectories Problems for Mobile and Manipulator Robots
  The International Journal of Robotics Research, 1984
• Towards a general theory of action and time
  Artificial Intelligence, 1984
• Planning Collision- Free Motions for Pick-and-Place Operations
  The International Journal of Robotics Research, 1983
• Strips: A new approach to the application of theorem proving to problem solving
  Artificial Intelligence, 1971
• Application of Theorem Proving to Problem Solving
  Published by Defense Technical Information Center (DTIC) ,1969