The following pages link to Andrew Cropper (Q2051280):
Displaying 9 items.
- Learning programs by learning from failures (Q2051282) (← links)
- Learning higher-order logic programs (Q2203320) (← links)
- Logical reduction of metarules (Q2203321) (← links)
- SLD-resolution reduction of second-order Horn fragments (Q2296711) (← links)
- Learning efficient logic programs (Q2425246) (← links)
- Inductive Logic Programming At 30: A New Introduction (Q5094033) (← links)
- Derivation Reduction of Metarules in Meta-interpretive Learning (Q5149783) (← links)
- Learning logic programs by explaining their failures (Q6053808) (← links)
- Learning programs with magic values (Q6161212) (← links)