Implicit Learning of Common Sense for Reasoning
Inductive Logic Programming: Theory and Methods