Shakey 2016—How Much Does it Take to Redo Shakey the Robot?
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving