Identifying and inferring objects from textual descriptions of scenes from books. - Andrew Cropper (ICCSW, 2014)

Logical Minimisation of Meta-Rules Within Meta-Interpretive Learning. - Andrew Cropper; Stephen H. Muggleton (ILP, 2014)

Learning Efficient Logic Programs. - Andrew Cropper (IJCAI, 2015)

Learning Efficient Logical Robot Strategies Involving Composable Objects. - Andrew Cropper; Stephen H. Muggleton (IJCAI, 2015)

Meta-Interpretive Learning of Data Transformation Programs. - Andrew Cropper; Alireza Tamaddoni-Nezhad; Stephen H. Muggleton (ILP, 2015)

Typed meta-interpretive learning for proof strategies. - Colin Farquhar; Gudmund Grov; Andrew Cropper; Stephen H. Muggleton; Alan Bundy (ILP (Late Breaking Papers), 2015)

Can predicate invention compensate for incomplete background knowledge? - Andrew Cropper; Stephen H. Muggleton (SCAI, 2015)

Logic-Based Inductive Synthesis of Efficient Programs. - Andrew Cropper (IJCAI, 2016)

Learning Higher-Order Logic Programs through Abstraction and Invention. - Andrew Cropper; Stephen H. Muggleton (IJCAI, 2016)

Efficiently learning efficient programs. - Andrew Cropper (2017)

Derivation Reduction of Metarules in Meta-interpretive Learning. - Andrew Cropper; Sophie Tourret (ILP, 2018)

Playgol: Learning Programs Through Play. - Andrew Cropper (IJCAI, 2019)

Typed Meta-interpretive Learning of Logic Programs. - Rolf Morel; Andrew Cropper; C.-H. Luke Ong (JELIA, 2019)

SLD-Resolution Reduction of Second-Order Horn Fragments. - Sophie Tourret; Andrew Cropper (JELIA, 2019)

SLD-Resolution Reduction of Second-Order Horn Fragments - technical report -. - Sophie Tourret; Andrew Cropper (CoRR, 2019)

Learning efficient logic programs. - Andrew Cropper; Stephen H. Muggleton (Mach. Learn., 2019)

Forgetting to Learn Logic Programs. - Andrew Cropper (AAAI, 2020)

Learning Higher-Order Programs through Predicate Invention. - Andrew Cropper; Rolf Morel; Stephen H. Muggleton (AAAI, 2020)

Learning Large Logic Programs By Going Beyond Entailment. - Andrew Cropper; Sebastijan Dumancic (IJCAI, 2020)

Turning 30: New Ideas in Inductive Logic Programming. - Andrew Cropper; Sebastijan Dumancic; Stephen H. Muggleton (IJCAI, 2020)

Knowledge Refactoring for Program Induction. - Sebastijan Dumancic; Andrew Cropper (CoRR, 2020)

Inductive general game playing. - Andrew Cropper; Richard Evans 001; Mark Law (Mach. Learn., 2020)

Learning higher-order logic programs. - Andrew Cropper; Rolf Morel; Stephen H. Muggleton (Mach. Learn., 2020)

Logical reduction of metarules. - Andrew Cropper; Sophie Tourret (Mach. Learn., 2020)

Knowledge Refactoring for Inductive Program Synthesis. - Sebastijan Dumancic; Tias Guns; Andrew Cropper (AAAI, 2021)

Learning Logic Programs by Explaining Failures. - Rolf Morel; Andrew Cropper (CoRR, 2021)

Predicate Invention by Learning From Failures. - Andrew Cropper; Rolf Morel (CoRR, 2021)

Parallel Constraint-Driven Inductive Logic Programming. - Andrew Cropper; Oghenejokpeme I. Orhobor; Cristian Dinu; Rolf Morel (CoRR, 2021)

Learning logic programs through divide, constrain, and conquer. - Andrew Cropper (CoRR, 2021)

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192). - Andrew Cropper; Luc De Raedt; Richard Evans 001; Ute Schmid (Dagstuhl Reports, 2021)

Learning programs by learning from failures. - Andrew Cropper; Rolf Morel (Mach. Learn., 2021)

Learning Logic Programs Though Divide, Constrain, and Conquer. - Andrew Cropper (AAAI, 2022)

Learning programs by combining programs. - Andrew Cropper (CoRR, 2022)

Constraint-driven multi-task learning. - Bogdan Cretu; Andrew Cropper (CoRR, 2022)

Inductive Logic Programming At 30: A New Introduction. - Andrew Cropper; Sebastijan Dumancic (J. Artif. Intell. Res., 2022)

Inductive logic programming at 30. - Andrew Cropper; Sebastijan Dumancic; Richard Evans 001; Stephen H. Muggleton (Mach. Learn., 2022)

The Automatic Computer Scientist. - Andrew Cropper (AAAI, 2023)

Learning Logic Programs by Discovering Where Not to Search. - Andrew Cropper; Céline Hocquette (AAAI, 2023)

Relational Program Synthesis with Numerical Reasoning. - Céline Hocquette; Andrew Cropper (AAAI, 2023)

Learning Logic Programs by Combining Programs. - Andrew Cropper; Céline Hocquette (ECAI, 2023)

Learning programs with magic values. - Céline Hocquette; Andrew Cropper (Mach. Learn., 2023)

Learning logic programs by explaining their failures. - Rolf Morel; Andrew Cropper (Mach. Learn., 2023)

Generalisation through Negation and Predicate Invention. - David M. Cerna; Andrew Cropper (AAAI, 2024)

Learning MDL Logic Programs from Noisy Data. - Céline Hocquette; Andreas Niskanen; Matti Järvisalo; Andrew Cropper (AAAI, 2024)

Learning Logic Programs by Finding Minimal Unsatisfiable Subprograms. - Andrew Cropper; Céline Hocquette (ECAI, 2024)

Learning Logic Programs by Discovering Higher-Order Abstractions. - Céline Hocquette; Sebastijan Dumancic; Andrew Cropper (IJCAI, 2024)

Learning Big Logical Rules by Joining Small Rules. - Céline Hocquette; Andreas Niskanen; Rolf Morel; Matti Järvisalo; Andrew Cropper (IJCAI, 2024)

Can humans teach machines to code? - Céline Hocquette; Johannes Langer; Andrew Cropper; Ute Schmid (CoRR, 2024)

Relational decomposition for program synthesis. - Céline Hocquette; Andrew Cropper (CoRR, 2024)

Scalable Knowledge Refactoring Using Constrained Optimisation. - Minghao Liu 001; David M. Cerna; Filipe Gouveia; Andrew Cropper (AAAI, 2025)

Efficient rule induction by ignoring pointless rules. - Andrew Cropper; David M. Cerna (CoRR, 2025)

An Empirical Comparison of Cost Functions in Inductive Logic Programming. - Céline Hocquette; Andrew Cropper (CoRR, 2025)

Honey, I shrunk the hypothesis space (through logical preprocessing). - Andrew Cropper; Filipe Gouveia; David M. Cerna (CoRR, 2025)