Semantic Robot Programming for Goal-Directed Manipulation in Cluttered Scenes
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving