| 2026 | AAAI | Efficient Rule Induction by Ignoring Pointless Rules. | Andrew Cropper, David M. Cerna |
| 2026 | AAAI | Symmetry Breaking for Inductive Logic Programming. | Andrew Cropper, David M. Cerna, Matti Jrvisalo |
| 2026 | AAAI | Can Humans Teach Machines to Code? | Cline Hocquette, Johannes Langer, Andrew Cropper, Ute Schmid |
| 2025 | AAAI | Scalable Knowledge Refactoring Using Constrained Optimisation. | Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper |
| 2025 | IJCAI | Relational Decomposition for Program Synthesis. | Cline Hocquette, Andrew Cropper |
| 2024 | AAAI | Generalisation through Negation and Predicate Invention. | David M. Cerna, Andrew Cropper |
| 2024 | AAAI | Learning MDL Logic Programs from Noisy Data. | Cline Hocquette, Andreas Niskanen, Matti Jrvisalo, Andrew Cropper |
| 2024 | ECAI | Learning Logic Programs by Finding Minimal Unsatisfiable Subprograms. | Andrew Cropper, Cline Hocquette |
| 2024 | IJCAI | Learning Logic Programs by Discovering Higher-Order Abstractions. | Cline Hocquette, Sebastijan Dumancic, Andrew Cropper |
| 2024 | IJCAI | Learning Big Logical Rules by Joining Small Rules. | Cline Hocquette, Andreas Niskanen, Rolf Morel, Matti Jrvisalo, Andrew Cropper |
| 2023 | AAAI | The Automatic Computer Scientist. | Andrew Cropper |
| 2023 | AAAI | Learning Logic Programs by Discovering Where Not to Search. | Andrew Cropper, Cline Hocquette |
| 2023 | AAAI | Relational Program Synthesis with Numerical Reasoning. | Cline Hocquette, Andrew Cropper |
| 2023 | ECAI | Learning Logic Programs by Combining Programs. | Andrew Cropper, Cline Hocquette |
| 2022 | AAAI | Learning Logic Programs Though Divide, Constrain, and Conquer. | Andrew Cropper |
| 2021 | AAAI | Knowledge Refactoring for Inductive Program Synthesis. | Sebastijan Dumancic, Tias Guns, Andrew Cropper |
| 2020 | AAAI | Forgetting to Learn Logic Programs. | Andrew Cropper |
| 2020 | AAAI | Learning Higher-Order Programs through Predicate Invention. | Andrew Cropper, Rolf Morel, Stephen H. Muggleton |
| 2020 | IJCAI | Learning Large Logic Programs By Going Beyond Entailment. | Andrew Cropper, Sebastijan Dumancic |
| 2020 | IJCAI | Turning 30: New Ideas in Inductive Logic Programming. | Andrew Cropper, Sebastijan Dumancic, Stephen H. Muggleton |
| 2019 | IJCAI | Playgol: Learning Programs Through Play. | Andrew Cropper |
| 2019 | JELIA | Typed Meta-interpretive Learning of Logic Programs. | Rolf Morel, Andrew Cropper, C.-H. Luke Ong |
| 2019 | JELIA | SLD-Resolution Reduction of Second-Order Horn Fragments. | Sophie Tourret, Andrew Cropper |
| 2018 | ILP | Derivation Reduction of Metarules in Meta-interpretive Learning. | Andrew Cropper, Sophie Tourret |
| 2016 | IJCAI | Logic-Based Inductive Synthesis of Efficient Programs. | Andrew Cropper |
| 2016 | IJCAI | Learning Higher-Order Logic Programs through Abstraction and Invention. | Andrew Cropper, Stephen H. Muggleton |
| 2015 | IJCAI | Learning Efficient Logic Programs. | Andrew Cropper |
| 2015 | IJCAI | Learning Efficient Logical Robot Strategies Involving Composable Objects. | Andrew Cropper, Stephen H. Muggleton |
| 2015 | ILP | Meta-Interpretive Learning of Data Transformation Programs. | Andrew Cropper, Alireza Tamaddoni-Nezhad, Stephen H. Muggleton |
| 2015 | ILP | Typed meta-interpretive learning for proof strategies. | Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen H. Muggleton, Alan Bundy |
| 2014 | ILP | Logical Minimisation of Meta-Rules Within Meta-Interpretive Learning. | Andrew Cropper, Stephen H. Muggleton |