Publications
Journals
Learning programs by explaining failures. R. Morel and A. Cropper. MLJ 2023
Learning programs with magic values. C. Hocquette and A. Cropper. MLJ 2023. code slides
Inductive logic programming at 30: a new introduction. A. Cropper and S. Dumančić. JAIR 2022
Inductive logic programming at 30. A. Cropper, S. Dumančić, R. Evans, and S.H. Muggleton. MLJ 2022
Learning programs by learning from failures. A. Cropper and R. Morel. MLJ 2021. slides
Inductive general game playing. A. Cropper, R. Evans, and M. Law. MLJ 2020. code dataset slides
Logical reduction of metarules. A. Cropper and S. Tourret. MLJ 2020. code slides
Learning higher-order logic programs. A. Cropper, R. Morel, and S.H. Muggleton. MLJ 2020. code slides
Learning efficient logic programs. A. Cropper and S.H. Muggleton. MLJ 2019. code slides
Conferences
Learning logic programs by combing programs. A. Cropper and C. Hocquette. ECAI 2023. slides
Relational program synthesis with numerical reasoning. C. Hocquette and A. Cropper. AAAI 2023. code
Learning logic programs by discovering where not to search. A. Cropper and C. Hocquette. AAAI 2023. code slides
The automatic computer scientist. A. Cropper. AAAI 2023
Learning logic programs through divide, constrain, and conquer. A. Cropper. AAAI 2022. code slides
Knowledge refactoring for inductive program synthesis. S. Dumančić, T. Guns, and A. Cropper. AAAI 2021. code
Learning large logic programs by going beyond entailment. A. Cropper and S. Dumančić. IJCAI 2020
Turning 30: new ideas in inductive logic programming. A. Cropper, S. Dumančić, and S.H. Muggleton. IJCAI 2020.
Forgetting to learn logic programs. A. Cropper. AAAI 2020. code slides
Learning higher-order programs through predicate invention. A. Cropper, R. Morel, and S.H. Muggleton. AAAI 2020. slides
Playgol: learning programs through play. A. Cropper. IJCAI 2019. code slides
SLD-resolution reduction of second-order Horn fragments. S. Tourret and A. Cropper. JELIA 2019
Typed meta-interpretive learning of logic programs. R. Morel, A. Cropper, and L. Ong. JELIA 2019. code
Derivation reduction of metarules in meta-interpretive learning. A. Cropper and S. Tourret. ILP 2018. code slides
Learning higher-order logic programs through abstraction and invention. A. Cropper and S.H. Muggleton. IJCAI 2016. code slides
Logic-based inductive synthesis of efficient programs. A. Cropper. IJCAI 2016
Learning efficient logical robot strategies involving composable objects. A. Cropper and S.H. Muggleton. IJCAI 2015. code slides
Learning efficient logic programs. A. Cropper. IJCAI 2015
Meta-interpretive learning of data transformation programs. A. Cropper, A. Tamaddoni-Nezhad, and S.H. Muggleton. ILP 2015. code slides
Typed meta-interpretive learning for proof strategies. C. Farquhar, G. Grov, A. Cropper, S.H. Muggleton, and A. Bundy. ILP 2015
Can predicate invention compensate for incomplete background knowledge? A. Cropper and S.H. Muggleton. SCAI 2015
Logical minimisation of meta-rules within meta-interpretive learning. A. Cropper and S.H. Muggleton. ILP 2014. slides
Other
Learning MDL logic programs from noisy data. C. Hocquette, A. Niskanen, M. Järvisalo, and A. Cropper
Learning logic programs by discovering higher-order abstractions. C. Hocquette, S. Dumančić, and A. Cropper
Generalisation through negation and predicate invention. D. Cerna and A. Cropper
Predicate invention by learning from failures. A. Cropper and R. Morel
Efficiently learning efficient programs. A. Cropper. PhD thesis. Imperial College London. 2017