# 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

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

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

Efficiently learning efficient programs. A. Cropper. PhD thesis. Imperial College London. 2017