Extending Knowledge-Level Contingent Planning for Robot Task Planning
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving