Publications

DBLP Scholar

Journals

1. Learning programs by explaining failures. R. Morel and A. Cropper. MLJ 2023

2. Learning programs with magic values. C. Hocquette and A. Cropper. MLJ 2023. code slides

3. Inductive logic programming at 30: a new introduction. A. Cropper and S. Dumančić. JAIR 2022

4. Inductive logic programming at 30. A. Cropper, S. Dumančić, R. Evans, and S.H. Muggleton. MLJ 2022

5. Learning programs by learning from failures. A. Cropper and R. Morel. MLJ 2021. slides

6. Inductive general game playing. A. Cropper, R. Evans, and M. Law. MLJ 2020. code dataset slides

7. Logical reduction of metarules. A. Cropper and S. Tourret. MLJ 2020. code slides

8. Learning higher-order logic programs. A. Cropper, R. Morel, and S.H. Muggleton. MLJ 2020. code slides

9. Learning efficient logic programs. A. Cropper and S.H. Muggleton. MLJ 2019. code slides

Conferences

1. Learning logic programs by combing programs. A. Cropper and C. Hocquette. ECAI 2023

2. Relational program synthesis with numerical reasoning. C. Hocquette and A. Cropper. AAAI 2023. code

3. Learning logic programs by discovering where not to search. A. Cropper and C. Hocquette. AAAI 2023. code slides

4. The automatic computer scientist. A. Cropper. AAAI 2023

5. Learning logic programs through divide, constrain, and conquer. A. Cropper. AAAI 2022. code slides

6. Knowledge refactoring for inductive program synthesis. S. Dumančić, T. Guns, and A. Cropper. AAAI 2021. code

7. Learning large logic programs by going beyond entailment. A. Cropper and S. Dumančić. IJCAI 2020

8. Turning 30: new ideas in inductive logic programming. A. Cropper, S. Dumančić, and S.H. Muggleton. IJCAI 2020. 

9. Forgetting to learn logic programs. A. Cropper. AAAI 2020. code slides

10. Learning higher-order programs through predicate invention. A. Cropper, R. Morel, and S.H. Muggleton. AAAI 2020. slides

11. Playgol: learning programs through play. A. Cropper. IJCAI 2019. code slides

12. SLD-resolution reduction of second-order Horn fragments. S. Tourret and A. Cropper. JELIA 2019 

13. Typed meta-interpretive learning of logic programs. R. Morel, A. Cropper, and L. Ong. JELIA 2019. code

14. Derivation reduction of metarules in meta-interpretive learning. A. Cropper and S. Tourret. ILP 2018. code slides

15. Learning higher-order logic programs through abstraction and invention. A. Cropper and S.H. Muggleton. IJCAI 2016. code slides

16. Logic-based inductive synthesis of efficient programs. A. Cropper. IJCAI 2016

17. Learning efficient logical robot strategies involving composable objects. A. Cropper and S.H. Muggleton. IJCAI 2015. code slides

18. Learning efficient logic programs. A. Cropper. IJCAI 2015 

19. Meta-interpretive learning of data transformation programs. A. Cropper, A. Tamaddoni-Nezhad, and S.H. Muggleton. ILP 2015. code slides

20. Typed meta-interpretive learning for proof strategies. C. Farquhar, G. Grov, A. Cropper, S.H. Muggleton, and A. Bundy. ILP 2015

21. Can predicate invention compensate for incomplete background knowledge? A. Cropper and S.H. Muggleton. SCAI 2015

22. Logical minimisation of meta-rules within meta-interpretive learning. A. Cropper and S.H. Muggleton. ILP 2014. slides

Other

1. Learning MDL logic programs from noisy data. C. Hocquette, A. Niskanen, M. Järvisalo, and A. Cropper  

2. Learning logic programs by discovering higher-order abstractions. C. Hocquette, S. Dumančić, and A. Cropper  

3. Generalisation through negation and predicate invention. D. Cerna and A. Cropper

4. Predicate invention by learning from failures. A. Cropper and R. Morel

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