Showing 1 - 20 results of 55 for search 'S. Cropper', query time: 0.02s
Refine Results
-
1
Learning logic programs through divide, constrain, and conquer by Cropper, A
Published 2022Conference item -
2
-
3
Learning higher-order logic programs through abstraction and invention by Cropper, A, Muggleton, S
Published 2016Conference item -
4
Learning efficient logical robot strategies involving composable objects by Cropper, A, Muggleton, S
Published 2015Conference item -
5
-
6
SLD-resolution reduction of second-order horn fragments by Tourret, S, Cropper, A
Published 2019Conference item -
7
Derivation reduction of metarules in meta-interpretive learning by Cropper, A, Tourret, S
Published 2018Conference item -
8
Inductive logic programming at 30: a new introduction by Cropper, A, Dumančić, S
Published 2022Journal article -
9
-
10
-
11
-
12
-
13
Relational program synthesis with numerical reasoning by Hocquette, C, Cropper, A
Published 2023Conference item -
14
Knowledge refactoring for inductive program synthesis by Dumancic, S, Guns, T, Cropper, A
Published 2021Conference item -
15
Learning logic programs by discovering where not to search by Cropper, A, Hocquette, C
Published 2023Conference item -
16
Generalisation through negation and predicate invention by Cerna, DM, Cropper, A
Published 2024Conference item -
17
Learning higher-order logic programs by Cropper, A, Morel, R, Muggleton, S
Published 2019Journal article -
18
Typed meta-interpretive learning of logic programs by Ong, C, Morel, R, Cropper, A
Published 2019Conference item -
19
Propagule pressure does not consistently predict the outcomes of exotic bird introductions by Michael P. Moulton, Wendell P. Cropper Jr
Published 2019-09-01
Article -
20