Machine learning, meta-reasoning, and logics - Brazdil, Pavel B. 1945-.; Konolige, Kurt. (Kluwer Academic Publishers, 1990)