Andrew Cropper

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 55

Top Venues

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

David M. Cerna, Andrew Cropper
Generalisation through Negation and Predicate Invention. AAAI (2024)
Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper
Learning big logical rules by joining small rules. CoRR (2024)
Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper
Learning MDL Logic Programs from Noisy Data. AAAI (2024)
Andrew Cropper, Céline Hocquette
Learning logic programs by finding minimal unsatisfiable subprograms. CoRR (2024)
Céline Hocquette, Johannes Langer, Andrew Cropper, Ute Schmid
Can humans teach machines to code? CoRR (2024)
Andrew Cropper
The Automatic Computer Scientist. AAAI (2023)
Andrew Cropper, Céline Hocquette
Learning Logic Programs by Discovering Where Not to Search. AAAI (2023)
Andrew Cropper, Céline Hocquette
Learning Logic Programs by Combining Programs. ECAI (2023)
Céline Hocquette, Andrew Cropper
Learning programs with magic values. Mach. Learn. 112 (5) (2023)
Céline Hocquette, Andrew Cropper
Relational Program Synthesis with Numerical Reasoning. AAAI (2023)
Rolf Morel, Andrew Cropper
Learning logic programs by explaining their failures. Mach. Learn. 112 (10) (2023)
Céline Hocquette, Sebastijan Dumancic, Andrew Cropper
Learning Logic Programs by Discovering Higher-Order Abstractions. CoRR (2023)
Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper
Learning MDL logic programs from noisy data. CoRR (2023)
David M. Cerna, Andrew Cropper
Generalisation Through Negation and Predicate Invention. CoRR (2023)
Céline Hocquette, Andrew Cropper
Learning programs with magic values. CoRR (2022)
Andrew Cropper, Sebastijan Dumancic
Inductive Logic Programming At 30: A New Introduction. J. Artif. Intell. Res. 74 (2022)
Céline Hocquette, Andrew Cropper
Relational program synthesis with numerical reasoning. CoRR (2022)
Andrew Cropper
Learning Logic Programs Though Divide, Constrain, and Conquer. AAAI (2022)
Bogdan Cretu, Andrew Cropper
Constraint-driven multi-task learning. CoRR (2022)
Andrew Cropper, Céline Hocquette
Learning logic programs by discovering where not to search. CoRR (2022)
Andrew Cropper
Learning programs by combining programs. CoRR (2022)
Andrew Cropper, Sebastijan Dumancic, Richard Evans, Stephen H. Muggleton
Inductive logic programming at 30. Mach. Learn. 111 (1) (2022)
Andrew Cropper, Oghenejokpeme I. Orhobor, Cristian Dinu, Rolf Morel
Parallel Constraint-Driven Inductive Logic Programming. CoRR (2021)
Andrew Cropper, Luc De Raedt, Richard Evans, Ute Schmid
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192). Dagstuhl Reports 11 (4) (2021)
Andrew Cropper
Learning logic programs through divide, constrain, and conquer. CoRR (2021)
Sebastijan Dumancic, Tias Guns, Andrew Cropper
Knowledge Refactoring for Inductive Program Synthesis. AAAI (2021)
Rolf Morel, Andrew Cropper
Learning Logic Programs by Explaining Failures. CoRR (2021)
Andrew Cropper, Rolf Morel
Learning programs by learning from failures. Mach. Learn. 110 (4) (2021)
Andrew Cropper, Rolf Morel
Predicate Invention by Learning From Failures. CoRR (2021)
Andrew Cropper, Sebastijan Dumancic, Richard Evans, Stephen H. Muggleton
Inductive logic programming at 30. CoRR (2021)
Andrew Cropper, Sebastijan Dumancic, Stephen H. Muggleton
Turning 30: New Ideas in Inductive Logic Programming. CoRR (2020)
Andrew Cropper, Sebastijan Dumancic, Stephen H. Muggleton
Turning 30: New Ideas in Inductive Logic Programming. IJCAI (2020)
Andrew Cropper, Rolf Morel, Stephen Muggleton
Learning higher-order logic programs. Mach. Learn. 109 (7) (2020)
Andrew Cropper
Forgetting to Learn Logic Programs. AAAI (2020)
Andrew Cropper, Sebastijan Dumancic
Inductive logic programming at 30: a new introduction. CoRR (2020)
Andrew Cropper, Richard Evans, Mark Law
Inductive general game playing. Mach. Learn. 109 (7) (2020)
Andrew Cropper, Rolf Morel, Stephen H. Muggleton
Learning Higher-Order Programs through Predicate Invention. AAAI (2020)
Sebastijan Dumancic, Andrew Cropper
Knowledge Refactoring for Program Induction. CoRR (2020)
Andrew Cropper, Sebastijan Dumancic
Learning Large Logic Programs By Going Beyond Entailment. IJCAI (2020)
Andrew Cropper, Sebastijan Dumancic
Learning large logic programs by going beyond entailment. CoRR (2020)
Andrew Cropper, Sophie Tourret
Logical reduction of metarules. Mach. Learn. 109 (7) (2020)
Andrew Cropper, Rolf Morel
Learning programs by learning from failures. CoRR (2020)
Andrew Cropper
Playgol: Learning Programs Through Play. IJCAI (2019)
Andrew Cropper, Richard Evans, Mark Law
Inductive general game playing. CoRR (2019)
Rolf Morel, Andrew Cropper, C.-H. Luke Ong
Typed Meta-interpretive Learning of Logic Programs. JELIA (2019)
Andrew Cropper
Forgetting to learn logic programs. CoRR (2019)
Andrew Cropper
Playgol: learning programs through play. CoRR (2019)
Andrew Cropper, Rolf Morel, Stephen H. Muggleton
Learning higher-order logic programs. CoRR (2019)
Sophie Tourret, Andrew Cropper
SLD-Resolution Reduction of Second-Order Horn Fragments - technical report -. CoRR (2019)
Andrew Cropper, Stephen H. Muggleton
Learning efficient logic programs. Mach. Learn. 108 (7) (2019)
Sophie Tourret, Andrew Cropper
SLD-Resolution Reduction of Second-Order Horn Fragments. JELIA (2019)
Andrew Cropper, Sophie Tourret
Logical reduction of metarules. CoRR (2019)
Andrew Cropper, Sophie Tourret
Derivation Reduction of Metarules in Meta-interpretive Learning. ILP (2018)
Andrew Cropper, Stephen H. Muggleton
Learning Higher-Order Logic Programs through Abstraction and Invention. IJCAI (2016)
Andrew Cropper
Logic-Based Inductive Synthesis of Efficient Programs. IJCAI (2016)
Andrew Cropper
Learning Efficient Logic Programs. IJCAI (2015)
Andrew Cropper, Stephen Muggleton
Can predicate invention compensate for incomplete background knowledge? SCAI (2015)
Andrew Cropper, Alireza Tamaddoni-Nezhad, Stephen H. Muggleton
Meta-Interpretive Learning of Data Transformation Programs. ILP (2015)
Andrew Cropper, Stephen H. Muggleton
Learning Efficient Logical Robot Strategies Involving Composable Objects. IJCAI (2015)
Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton, Alan Bundy
Typed meta-interpretive learning for proof strategies. ILP (Late Breaking Papers) (2015)
Andrew Cropper
Identifying and inferring objects from textual descriptions of scenes from books. ICCSW (2014)
Andrew Cropper, Stephen H. Muggleton
Logical Minimisation of Meta-Rules Within Meta-Interpretive Learning. ILP (2014)

Andrew Cropper.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrew Cropper