Efficient , Safe , and Probably Approximately Complete Learning of Action Models
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving