Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models