1 citations · 3 across the 7 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LG2019
Logical reduction of metarules
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…
cs.LO2019
SLD-Resolution Reduction of Second-Order Horn Fragments -- technical report --
Sophie Tourret, Andrew Cropper
We present the derivation reduction problem for SLD-resolution, the undecidable problem of finding a finite subset of a set of clauses from which the whole set can be derived using…