Learning Search Control Knowledge: An Explanation-Based Approach (The Springer International Series in Engineering and Computer Science)