A review on task planning in Human-Robot Teams
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving