Back to the Blocks World: Learning New Actions through Situated Human-Robot Dialogue
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving