Building Human-Level AI for Real-Time Strategy Games
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving