Andrew Cropper

---

I am a junior research fellow at the University of Oxford. I work on program induction: machine learning computer programs from data. Specifically, I work on inductive logic programming (ILP). I maintain Metagol, an ILP system.

Email CV

---

Publications

DBLP Google scholar

Journals

1. Learning efficient logic programs. A. Cropper and S.H. Muggleton. Machine learning 2018. slides code

Conferences

1. Playgol: learning programs through play. A. Cropper. IJCAI 2019.
2. SLD-resolution reduction of second-order horn fragments. S. Tourret and A. Cropper. JELIA 2019.
3. Typed meta-interpretive learning of logic programs. R. Morel, A. Cropper, and L. Ong. JELIA 2019. slides code
4. Derivation reduction of metarules in meta-interpretive learning. A. Cropper and S. Tourret. ILP 2018. slides code
5. Learning higher-order logic programs through abstraction and invention. A. Cropper and S.H. Muggleton. IJCAI 2016. slides code
6. Logic-based inductive synthesis of efficient programs. A. Cropper. IJCAI 2016. slides
7. Learning efficient logical robot strategies involving composable objects. A. Cropper and S.H. Muggleton. IJCAI 2015. slides code
8. Learning efficient logic programs. A. Cropper. IJCAI 2015. slides
9. Meta-interpretive learning of data transformation programs. A. Cropper, A. Tamaddoni-Nezhad, and S.H. Muggleton. ILP 2015. slides code
10. Typed meta-interpretive learning for proof strategies. C. Farquhar, G. Grov, A. Cropper, S.H. Muggleton, and A. Bundy. ILP 2015.
11. Can predicate invention compensate for incomplete background knowledge? A. Cropper and S.H. Muggleton. SCAI 2015. slides
12. Logical minimisation of meta-rules within meta-interpretive learning. A. Cropper and S.H. Muggleton. ILP 2014. slides

Workshops

1. SLD-resolution reduction of second-order Horn fragments. S. Tourret and A. Cropper. Termgraph 2018.
2. Identifying and inferring objects from textual descriptions of scenes from books. A. Cropper. ICCSW 2014. slides

Theses

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

---

Talks

• Inductive general game playing, Dagstuhl meeting on inductive programming, 2019.
• Playgol: learning programs through play, Dagstuhl meeting on inductive programming, 2019.
• Learning algorithms using logic, University of Oxford, 2019.
• Learning efficient logic programs, MIT, 2018.
• Learning efficient logic programs, Dagstuhl meeting in inductive programming, 2017.
• Learning higher-order logic programs, Dagstuhl meeting in inductive programming, 2017.
• Learning efficient logic programs, Machine intelligence 20, UK, 2016.
• Logic-based learning of programs from input/output examples, UC Berkeley, 2016.
• Metagol, Dagstuhl meeting in inductive programming, 2015.
• Predicate invention in meta-interpretive learning, Wakayama University, Japan, 2014.