Machine Learning, Meta-Reasoning and Logics