The automatic computer scientist by Cropper, A

Learning logic programs through divide, constrain, and conquer by Cropper, A

Learning higher-order logic programs through abstraction and invention by Cropper, A, Muggleton, S

Learning efficient logical robot strategies involving composable objects by Cropper, A, Muggleton, S

Learning efficient logic programs by Cropper, A, Muggleton, S

SLD-resolution reduction of second-order horn fragments by Tourret, S, Cropper, A

Derivation reduction of metarules in meta-interpretive learning by Cropper, A, Tourret, S

Inductive logic programming at 30: a new introduction by Cropper, A, Dumančić, S

Learning programs with magic values by Hocquette, MEJ, Cropper, A

Learning programs by learning from failures by Cropper, A, Morel, R

Relational program synthesis with numerical reasoning by Hocquette, C, Cropper, A

Knowledge refactoring for inductive program synthesis by Dumancic, S, Guns, T, Cropper, A

Learning logic programs by discovering where not to search by Cropper, A, Hocquette, C

Generalisation through negation and predicate invention by Cerna, DM, Cropper, A

Learning logic programs by explaining their failures by Morel, R, Cropper, A

Learning logic programs by combining programs by Cropper, A, Hocquette, C

Learning logic programs by discovering higher-order abstractions by Hocquette, C, Dumancic, S, Cropper, A

Learning higher-order logic programs by Cropper, A, Morel, R, Muggleton, S

Typed meta-interpretive learning of logic programs by Ong, C, Morel, R, Cropper, A

Inductive logic programming at 30 by Cropper, A, Dumancic, S, Evans, R, Muggleton, SH