Exploring compact reinforcement-learning representations with linear regression
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving