GOLOG: A Logic Programming Language for Dynamic Domains
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving