Cropper, Andrew

Learning programs by learning from failures

Cropper, A., & Morel, R. (2021) · Machine Learning

Logic, Reasoning, and KnowledgeData Mining Algorithms and Applications

Cited by 86

Inductive Logic Programming At 30: A New Introduction

Cropper, A., & Dumančić, S. (2022) · Journal of Artificial Intelligence Research

Logic, Reasoning, and KnowledgeData Mining Algorithms and Applications

Cited by 83

Inductive logic programming at 30

Cropper, A., Dumančić, S., Evans, R., & Muggleton, S. H. (2022) · Machine Learning

Logic, Reasoning, and KnowledgeData Mining Algorithms and Applications

Cited by 61

Meta-Interpretive Learning of Data Transformation Programs

Cropper, A., Tamaddoni-Nezhad, A., & Muggleton, S. H. (2016) · Lecture Notes in Computer Science

Data Mining Algorithms and ApplicationsAI-based Problem Solving and Planning

Cited by 32

Playgol: Learning Programs Through Play

Cropper, A. (2019) · Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence

AI-based Problem Solving and PlanningEvolutionary Algorithms and Applications

Cited by 30

Logical reduction of metarules

Cropper, A., & Tourret, S. (2020) · Machine Learning

Logic, Reasoning, and KnowledgeData Mining Algorithms and Applications

Cited by 29

Derivation Reduction of Metarules in Meta-interpretive Learning

Cropper, A., & Tourret, S. (2018) · Lecture Notes in Computer Science

Logic, Reasoning, and KnowledgeData Mining Algorithms and Applications

Cited by 15

Learning higher-order logic programs

Cropper, A., Morel, R., & Muggleton, S. (2020) · Machine Learning

Logic, Reasoning, and KnowledgeAI-based Problem Solving and Planning

Cited by 11

Typed Meta-interpretive Learning of Logic Programs

Morel, R., Cropper, A., & Ong, C.-H. L. (2019) · Lecture Notes in Computer Science

Logic, Reasoning, and KnowledgeAI-based Problem Solving and Planning

Cited by 11

SLD-Resolution Reduction of Second-Order Horn Fragments

Tourret, S., & Cropper, A. (2019) · Lecture Notes in Computer Science

Logic, Reasoning, and KnowledgeLogic, programming, and type systems

Cited by 3

Knowledge Refactoring for Inductive Program Synthesis

Dumancic, S., Guns, T., & Cropper, A. (2021) · Proceedings of the AAAI Conference on Artificial Intelligence

Logic, Reasoning, and KnowledgeAI-based Problem Solving and Planning

Cited by 2

Forgetting to Learn Logic Programs

Cropper, A. (2020) · Proceedings of the AAAI Conference on Artificial Intelligence

Logic, Reasoning, and KnowledgeAI-based Problem Solving and Planning

Cited by 0