Explanation-Based Generalization for Planning. Encyclopedia of Machine Learning 2010: 388