🇿 Dov M. Gabbay John Barwise Peter A. Flach Antonis C. Kakas Raymond J. Mooney Integrating Abduction and Induction in Machine Learning (2000)