Title: Learning hard concepts through constructive induction
Subjects: Concept learning, Induction (Logic), Machine learning