AbductiveLearning

Bridging machine learning and logical reasoning by Abductive Learning (ABL)