Machine learning, meta-reasoning and logics - Brazdil, Pavel B; Konolige, Kurt; International Workshop Machine Learning, Meta-Reasoning and Logics (The Kluwer international series in engineering and computer science, 1989)