Cropper, Andrew

29 publications

IJCAI 2025 Relational Decomposition for Program Synthesis Céline Hocquette, Andrew Cropper

AAAI 2025 Scalable Knowledge Refactoring Using Constrained Optimisation Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper

AAAI 2024 Generalisation Through Negation and Predicate Invention David M. Cerna, Andrew Cropper

IJCAI 2024 Learning Big Logical Rules by Joining Small Rules Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper

IJCAI 2024 Learning Logic Programs by Discovering Higher-Order Abstractions Céline Hocquette, Sebastijan Dumancic, Andrew Cropper

AAAI 2024 Learning MDL Logic Programs from Noisy Data Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper

AAAI 2023 Learning Logic Programs by Discovering Where Not to Search Andrew Cropper, Céline Hocquette

MLJ 2023 Learning Logic Programs by Explaining Their Failures Rolf Morel, Andrew Cropper

MLJ 2023 Learning Programs with Magic Values Céline Hocquette, Andrew Cropper

AAAI 2023 Relational Program Synthesis with Numerical Reasoning Céline Hocquette, Andrew Cropper

AAAI 2023 The Automatic Computer Scientist Andrew Cropper

MLJ 2022 Inductive Logic Programming at 30 Andrew Cropper, Sebastijan Dumancic, Richard Evans, Stephen H. Muggleton

JAIR 2022 Inductive Logic Programming at 30: A New Introduction Andrew Cropper, Sebastijan Dumancic

AAAI 2022 Learning Logic Programs Though Divide, Constrain, and Conquer Andrew Cropper

AAAI 2021 Knowledge Refactoring for Inductive Program Synthesis Sebastijan Dumancic, Tias Guns, Andrew Cropper

MLJ 2021 Learning Programs by Learning from Failures Andrew Cropper, Rolf Morel

AAAI 2020 Forgetting to Learn Logic Programs Andrew Cropper

MLJ 2020 Inductive General Game Playing Andrew Cropper, Richard Evans, Mark Law

MLJ 2020 Learning Higher-Order Logic Programs Andrew Cropper, Rolf Morel, Stephen H. Muggleton

AAAI 2020 Learning Higher-Order Programs Through Predicate Invention Andrew Cropper, Rolf Morel, Stephen H. Muggleton

IJCAI 2020 Learning Large Logic Programs by Going Beyond Entailment Andrew Cropper, Sebastijan Dumancic

MLJ 2020 Logical Reduction of Metarules Andrew Cropper, Sophie Tourret

IJCAI 2020 Turning 30: New Ideas in Inductive Logic Programming Andrew Cropper, Sebastijan Dumancic, Stephen H. Muggleton

MLJ 2019 Learning Efficient Logic Programs Andrew Cropper, Stephen H. Muggleton

IJCAI 2019 Playgol: Learning Programs Through Play Andrew Cropper

IJCAI 2016 Learning Higher-Order Logic Programs Through Abstraction and Invention Andrew Cropper, Stephen H. Muggleton

IJCAI 2016 Logic-Based Inductive Synthesis of Efficient Programs Andrew Cropper

IJCAI 2015 Learning Efficient Logic Programs Andrew Cropper

IJCAI 2015 Learning Efficient Logical Robot Strategies Involving Composable Objects Andrew Cropper, Stephen H. Muggleton