1 citations · 3 across the 7 of their papers we have counts for
1 paper · 1 filter
Andrew Cropper, Sophie Tourret
Many forms of inductive logic programming (ILP) use \emph{metarules}, second-order Horn clauses, to define the structure of learnable programs and thus the hypothesis space. Decidi…