Logical Minimisation of Meta-Rules Within Meta-Interpretive Learning
Toward an architecture for never-ending language learning