An explanation-based-learning approach to knowledge compilation: a Pilot's Associate application | IEEE Journals & Magazine | IEEE Xplore