Andrew Cropper

79 papers A* 23A 2B 5Journal 45Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Can Humans Teach Machines to Code? AAAI Céline Hocquette, Johannes Langer, Andrew Cropper, Ute Schmid
2026	A*	`conf`	Efficient Rule Induction by Ignoring Pointless Rules. AAAI Andrew Cropper, David M. Cerna
2026	A*	`conf`	Symmetry Breaking for Inductive Logic Programming. AAAI Andrew Cropper, David M. Cerna, Matti Järvisalo
2025	J	`jnl`	An Empirical Comparison of Cost Functions in Inductive Logic Programming. CoRR Céline Hocquette, Andrew Cropper
2025	J	`jnl`	Efficient rule induction by ignoring pointless rules. CoRR Andrew Cropper, David M. Cerna
2025	J	`jnl`	Honey, I shrunk the hypothesis space (through logical preprocessing). CoRR Andrew Cropper, Filipe Gouveia, David M. Cerna
2025	J	`jnl`	Learning Logical Rules using Minimum Message Length. CoRR Ruben Sharma, Sebastijan Dumancic, Ross D. King, Andrew Cropper
2025	A*	`conf`	Relational Decomposition for Program Synthesis. IJCAI Céline Hocquette, Andrew Cropper
2025	A*	`conf`	Scalable Knowledge Refactoring Using Constrained Optimisation. AAAI Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper
2025	J	`jnl`	Symbolic Snapshot Ensembles. CoRR Mingyue Liu, Andrew Cropper
2025	J	`jnl`	Symmetry breaking for inductive logic programming. CoRR Andrew Cropper, David M. Cerna, Matti Järvisalo
2024	J	`jnl`	Can humans teach machines to code? CoRR Céline Hocquette, Johannes Langer, Andrew Cropper, Ute Schmid
2024	A*	`conf`	Generalisation through Negation and Predicate Invention. AAAI David M. Cerna, Andrew Cropper
2024	A*	`conf`	Learning Big Logical Rules by Joining Small Rules. IJCAI Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper
2024	A*	`conf`	Learning Logic Programs by Discovering Higher-Order Abstractions. IJCAI Céline Hocquette, Sebastijan Dumancic, Andrew Cropper
2024	A	`conf`	Learning Logic Programs by Finding Minimal Unsatisfiable Subprograms. ECAI Andrew Cropper, Céline Hocquette
2024	A*	`conf`	Learning MDL Logic Programs from Noisy Data. AAAI Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper
2024	J	`jnl`	Learning big logical rules by joining small rules. CoRR Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper
2024	J	`jnl`	Learning logic programs by finding minimal unsatisfiable subprograms. CoRR Andrew Cropper, Céline Hocquette
2024	J	`jnl`	Relational decomposition for program synthesis. CoRR Céline Hocquette, Andrew Cropper
2024	J	`jnl`	Scalable Knowledge Refactoring using Constrained Optimisation. CoRR Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper
2023	J	`jnl`	Generalisation Through Negation and Predicate Invention. CoRR David M. Cerna, Andrew Cropper
2023	A	`conf`	Learning Logic Programs by Combining Programs. ECAI Andrew Cropper, Céline Hocquette
2023	J	`jnl`	Learning Logic Programs by Discovering Higher-Order Abstractions. CoRR Céline Hocquette, Sebastijan Dumancic, Andrew Cropper
2023	A*	`conf`	Learning Logic Programs by Discovering Where Not to Search. AAAI Andrew Cropper, Céline Hocquette
2023	J	`jnl`	Learning MDL logic programs from noisy data. CoRR Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper
2023	J	`jnl`	Learning logic programs by explaining their failures. Mach. Learn. Rolf Morel, Andrew Cropper
2023	J	`jnl`	Learning programs with magic values. Mach. Learn. Céline Hocquette, Andrew Cropper
2023	A*	`conf`	Relational Program Synthesis with Numerical Reasoning. AAAI Céline Hocquette, Andrew Cropper
2023	A*	`conf`	The Automatic Computer Scientist. AAAI Andrew Cropper
2022	J	`jnl`	Constraint-driven multi-task learning. CoRR Bogdan Cretu, Andrew Cropper
2022	J	`jnl`	Inductive Logic Programming At 30: A New Introduction. J. Artif. Intell. Res. Andrew Cropper, Sebastijan Dumancic
2022	J	`jnl`	Inductive logic programming at 30. Mach. Learn. Andrew Cropper, Sebastijan Dumancic, Richard Evans, Stephen H. Muggleton
2022	A*	`conf`	Learning Logic Programs Though Divide, Constrain, and Conquer. AAAI Andrew Cropper
2022	J	`jnl`	Learning logic programs by discovering where not to search. CoRR Andrew Cropper, Céline Hocquette
2022	J	`jnl`	Learning programs by combining programs. CoRR Andrew Cropper
2022	J	`jnl`	Learning programs with magic values. CoRR Céline Hocquette, Andrew Cropper
2022	J	`jnl`	Relational program synthesis with numerical reasoning. CoRR Céline Hocquette, Andrew Cropper
2021	J	`jnl`	Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192). Dagstuhl Reports Andrew Cropper, Luc De Raedt, Richard Evans, Ute Schmid
2021	J	`jnl`	Inductive logic programming at 30. CoRR Andrew Cropper, Sebastijan Dumancic, Richard Evans, Stephen H. Muggleton
2021	A*	`conf`	Knowledge Refactoring for Inductive Program Synthesis. AAAI Sebastijan Dumancic, Tias Guns, Andrew Cropper
2021	J	`jnl`	Learning Logic Programs by Explaining Failures. CoRR Rolf Morel, Andrew Cropper
2021	J	`jnl`	Learning logic programs through divide, constrain, and conquer. CoRR Andrew Cropper
2021	J	`jnl`	Learning programs by learning from failures. Mach. Learn. Andrew Cropper, Rolf Morel
2021	J	`jnl`	Parallel Constraint-Driven Inductive Logic Programming. CoRR Andrew Cropper, Oghenejokpeme I. Orhobor, Cristian Dinu, Rolf Morel
2021	J	`jnl`	Predicate Invention by Learning From Failures. CoRR Andrew Cropper, Rolf Morel
2020	A*	`conf`	Forgetting to Learn Logic Programs. AAAI Andrew Cropper
2020	J	`jnl`	Inductive general game playing. Mach. Learn. Andrew Cropper, Richard Evans, Mark Law
2020	J	`jnl`	Inductive logic programming at 30: a new introduction. CoRR Andrew Cropper, Sebastijan Dumancic
2020	J	`jnl`	Knowledge Refactoring for Program Induction. CoRR Sebastijan Dumancic, Andrew Cropper
2020	A*	`conf`	Learning Higher-Order Programs through Predicate Invention. AAAI Andrew Cropper, Rolf Morel, Stephen H. Muggleton
2020	A*	`conf`	Learning Large Logic Programs By Going Beyond Entailment. IJCAI Andrew Cropper, Sebastijan Dumancic
2020	J	`jnl`	Learning higher-order logic programs. Mach. Learn. Andrew Cropper, Rolf Morel, Stephen H. Muggleton
2020	J	`jnl`	Learning large logic programs by going beyond entailment. CoRR Andrew Cropper, Sebastijan Dumancic
2020	J	`jnl`	Learning programs by learning from failures. CoRR Andrew Cropper, Rolf Morel
2020	J	`jnl`	Logical reduction of metarules. Mach. Learn. Andrew Cropper, Sophie Tourret
2020	A*	`conf`	Turning 30: New Ideas in Inductive Logic Programming. IJCAI Andrew Cropper, Sebastijan Dumancic, Stephen H. Muggleton
2020	J	`jnl`	Turning 30: New Ideas in Inductive Logic Programming. CoRR Andrew Cropper, Sebastijan Dumancic, Stephen H. Muggleton
2019	J	`jnl`	Forgetting to learn logic programs. CoRR Andrew Cropper
2019	J	`jnl`	Inductive general game playing. CoRR Andrew Cropper, Richard Evans, Mark Law
2019	J	`jnl`	Learning efficient logic programs. Mach. Learn. Andrew Cropper, Stephen H. Muggleton
2019	J	`jnl`	Learning higher-order logic programs. CoRR Andrew Cropper, Rolf Morel, Stephen H. Muggleton
2019	J	`jnl`	Logical reduction of metarules. CoRR Andrew Cropper, Sophie Tourret
2019	A*	`conf`	Playgol: Learning Programs Through Play. IJCAI Andrew Cropper
2019	J	`jnl`	Playgol: learning programs through play. CoRR Andrew Cropper
2019	J	`jnl`	SLD-Resolution Reduction of Second-Order Horn Fragments - technical report -. CoRR Sophie Tourret, Andrew Cropper
2019	B	`conf`	SLD-Resolution Reduction of Second-Order Horn Fragments. JELIA Sophie Tourret, Andrew Cropper
2019	B	`conf`	Typed Meta-interpretive Learning of Logic Programs. JELIA Rolf Morel, Andrew Cropper, C.-H. Luke Ong
2018	B	`conf`	Derivation Reduction of Metarules in Meta-interpretive Learning. ILP Andrew Cropper, Sophie Tourret
2017	—	`—`	Efficiently learning efficient programs. Andrew Cropper
2016	A*	`conf`	Learning Higher-Order Logic Programs through Abstraction and Invention. IJCAI Andrew Cropper, Stephen H. Muggleton
2016	A*	`conf`	Logic-Based Inductive Synthesis of Efficient Programs. IJCAI Andrew Cropper
2015	—	`conf`	Can predicate invention compensate for incomplete background knowledge? SCAI Andrew Cropper, Stephen H. Muggleton
2015	A*	`conf`	Learning Efficient Logic Programs. IJCAI Andrew Cropper
2015	A*	`conf`	Learning Efficient Logical Robot Strategies Involving Composable Objects. IJCAI Andrew Cropper, Stephen H. Muggleton
2015	B	`conf`	Meta-Interpretive Learning of Data Transformation Programs. ILP Andrew Cropper, Alireza Tamaddoni-Nezhad, Stephen H. Muggleton
2015	—	`conf`	Typed meta-interpretive learning for proof strategies. ILP (Late Breaking Papers) Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen H. Muggleton, Alan Bundy
2014	—	`conf`	Identifying and inferring objects from textual descriptions of scenes from books. ICCSW Andrew Cropper
2014	B	`conf`	Logical Minimisation of Meta-Rules Within Meta-Interpretive Learning. ILP Andrew Cropper, Stephen H. Muggleton