@article{ruleefficient,
  title = "Symbolic metaprogram search improves learning efficiency and explains rule learning in humans",
  author = "Rule, Joshua S. and Piantadosi, Steven T. and Cropper, Andrew and Ellis, Kevin and Nye, Maxwell and Tenenbaum, Joshua B.",
  year = "2024",
  isbn = "2041-1723",
  journal = "Nature Communications",
  number = "1",
  pages = "6847",
  url = "https://doi.org/10.1038/s41467-024-50966-x",
  volume = "15",
  doi = "10.1038/s41467-024-50966-x",
}
@inproceedings{ijcai2024p380,
  title = "Learning Big Logical Rules by Joining Small Rules",
  author = "Hocquette, Céline and Niskanen, Andreas and Morel, Rolf and Järvisalo, Matti and Cropper, Andrew",
  year = "2024",
  booktitle = "Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI-24}",
  editor = "Kate Larson",
  month = "8",
  note = "Main Track",
  pages = "3430--3438",
  publisher = "International Joint Conferences on Artificial Intelligence Organization",
  url = "https://doi.org/10.24963/ijcai.2024/380",
  doi = "10.24963/ijcai.2024/380",
}
@inproceedings{ijcai2024p379,
  title = "Learning Logic Programs by Discovering Higher-Order Abstractions",
  author = "Hocquette, Céline and Dumancic, Sebastijan and Cropper, Andrew",
  year = "2024",
  booktitle = "Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI-24}",
  editor = "Kate Larson",
  month = "8",
  note = "Main Track",
  pages = "3421--3429",
  publisher = "International Joint Conferences on Artificial Intelligence Organization",
  url = "https://doi.org/10.24963/ijcai.2024/379",
  doi = "10.24963/ijcai.2024/379",
}
@inproceedings{DBLP:conf/aaai/HocquetteNJC24,
  title = "Learning {MDL} Logic Programs from Noisy Data",
  author = "C{\'{e}}line Hocquette and Andreas Niskanen and Matti J{\"{a}}rvisalo and Andrew Cropper",
  year = "2024",
  booktitle = "Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI} 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver, Canada",
  editor = "Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan",
  pages = "10553--10561",
  publisher = "{AAAI} Press",
  url = "https://doi.org/10.1609/aaai.v38i9.28925",
  doi = "10.1609/AAAI.V38I9.28925",
}
@inproceedings{DBLP:conf/aaai/CernaC24,
  title = "Generalisation through Negation and Predicate Invention",
  author = "David M. Cerna and Andrew Cropper",
  year = "2024",
  booktitle = "Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI} 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver, Canada",
  editor = "Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan",
  pages = "10467--10475",
  publisher = "{AAAI} Press",
  url = "https://doi.org/10.1609/aaai.v38i9.28915",
  doi = "10.1609/AAAI.V38I9.28915",
}
@inproceedings{DBLP:conf/aaai/Cropper23,
  title = "The Automatic Computer Scientist",
  author = "Andrew Cropper",
  year = "2023",
  booktitle = "Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI} 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February 7-14, 2023",
  editor = "Brian Williams and Yiling Chen and Jennifer Neville",
  pages = "15434",
  publisher = "{AAAI} Press",
  url = "https://doi.org/10.1609/aaai.v37i13.26801",
  doi = "10.1609/AAAI.V37I13.26801",
}
@inproceedings{DBLP:conf/ecai/CropperH23,
  title = "Learning Logic Programs by Combining Programs",
  author = "Andrew Cropper and C{\'{e}}line Hocquette",
  year = "2023",
  booktitle = "{ECAI} 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems {(PAIS} 2023)",
  editor = "Kobi Gal and Ann Now{\'{e}} and Grzegorz J. Nalepa and Roy Fairstein and Roxana Radulescu",
  pages = "501--508",
  publisher = "{IOS} Press",
  series = "Frontiers in Artificial Intelligence and Applications",
  url = "https://doi.org/10.3233/FAIA230309",
  volume = "372",
  doi = "10.3233/FAIA230309",
}
@inproceedings{DBLP:conf/aaai/CropperH23,
  title = "Learning Logic Programs by Discovering Where Not to Search",
  author = "Andrew Cropper and C{\'{e}}line Hocquette",
  year = "2023",
  booktitle = "Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI} 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February 7-14, 2023",
  editor = "Brian Williams and Yiling Chen and Jennifer Neville",
  pages = "6289--6296",
  publisher = "{AAAI} Press",
  url = "https://doi.org/10.1609/aaai.v37i5.25774",
  doi = "10.1609/AAAI.V37I5.25774",
}
@inproceedings{DBLP:conf/aaai/HocquetteC23,
  title = "Relational Program Synthesis with Numerical Reasoning",
  author = "C{\'{e}}line Hocquette and Andrew Cropper",
  year = "2023",
  booktitle = "Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI} 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February 7-14, 2023",
  editor = "Brian Williams and Yiling Chen and Jennifer Neville",
  pages = "6425--6433",
  publisher = "{AAAI} Press",
  url = "https://doi.org/10.1609/aaai.v37i5.25790",
  doi = "10.1609/AAAI.V37I5.25790",
}
@article{DBLP:journals/ml/MorelC23,
  title = "Learning logic programs by explaining their failures",
  author = "Rolf Morel and Andrew Cropper",
  year = "2023",
  journal = "Mach. Learn.",
  number = "10",
  pages = "3917--3943",
  url = "https://doi.org/10.1007/s10994-023-06358-1",
  volume = "112",
  doi = "10.1007/S10994-023-06358-1",
}
@article{DBLP:journals/ml/HocquetteC23,
  title = "Learning programs with magic values",
  author = "C{\'{e}}line Hocquette and Andrew Cropper",
  year = "2023",
  journal = "Mach. Learn.",
  number = "5",
  pages = "1551--1595",
  url = "https://doi.org/10.1007/s10994-022-06274-w",
  volume = "112",
  doi = "10.1007/S10994-022-06274-W",
}
@article{DBLP:journals/ml/CropperDEM22,
  title = "Inductive logic programming at 30",
  author = "Andrew Cropper and Sebastijan Dumancic and Richard Evans and Stephen H. Muggleton",
  year = "2022",
  journal = "Mach. Learn.",
  number = "1",
  pages = "147--172",
  url = "https://doi.org/10.1007/s10994-021-06089-1",
  volume = "111",
  doi = "10.1007/s10994-021-06089-1",
}
@article{DBLP:journals/jair/CropperD22,
  title = "Inductive Logic Programming At 30: {A} New Introduction",
  author = "Andrew Cropper and Sebastijan Dumancic",
  year = "2022",
  journal = "J. Artif. Intell. Res.",
  pages = "765--850",
  url = "https://doi.org/10.1613/jair.1.13507",
  volume = "74",
  doi = "10.1613/jair.1.13507",
}
@inproceedings{DBLP:conf/aaai/Cropper22,
  title = "Learning Logic Programs Though Divide, Constrain, and Conquer",
  author = "Andrew Cropper",
  year = "2022",
  booktitle = "Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI} 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22 - March 1, 2022",
  pages = "6446--6453",
  publisher = "{AAAI} Press",
  url = "https://ojs.aaai.org/index.php/AAAI/article/view/20596",
}
@article{DBLP:journals/ml/CropperM21,
  title = "Learning programs by learning from failures",
  author = "Andrew Cropper and Rolf Morel",
  year = "2021",
  journal = "Mach. Learn.",
  number = "4",
  pages = "801--856",
  url = "https://doi.org/10.1007/s10994-020-05934-z",
  volume = "110",
  doi = "10.1007/s10994-020-05934-z",
}
@inproceedings{DBLP:conf/aaai/DumancicGC21,
  title = "Knowledge Refactoring for Inductive Program Synthesis",
  author = "Sebastijan Dumancic and Tias Guns and Andrew Cropper",
  year = "2021",
  booktitle = "Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021",
  pages = "7271--7278",
  publisher = "{AAAI} Press",
  url = "https://ojs.aaai.org/index.php/AAAI/article/view/16893",
}
@inproceedings{DBLP:conf/ijcai/CropperDM20,
  title = "Turning 30: New Ideas in Inductive Logic Programming",
  author = "Andrew Cropper and Sebastijan Dumancic and Stephen H. Muggleton",
  year = "2020",
  booktitle = "Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI} 2020",
  editor = "Christian Bessiere",
  pages = "4833--4839",
  publisher = "ijcai.org",
  url = "https://doi.org/10.24963/ijcai.2020/673",
  doi = "10.24963/ijcai.2020/673",
}
@inproceedings{DBLP:conf/ijcai/CropperD20,
  title = "Learning Large Logic Programs By Going Beyond Entailment",
  author = "Andrew Cropper and Sebastijan Dumancic",
  year = "2020",
  booktitle = "Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI} 2020",
  editor = "Christian Bessiere",
  pages = "2073--2079",
  publisher = "ijcai.org",
  url = "https://doi.org/10.24963/ijcai.2020/287",
  doi = "10.24963/ijcai.2020/287",
}
@article{DBLP:journals/ml/CropperEL20,
  title = "Inductive general game playing",
  author = "Andrew Cropper and Richard Evans and Mark Law",
  year = "2020",
  journal = "Mach. Learn.",
  number = "7",
  pages = "1393--1434",
  url = "https://doi.org/10.1007/s10994-019-05843-w",
  volume = "109",
  doi = "10.1007/s10994-019-05843-w",
}
@article{DBLP:journals/ml/CropperT20,
  title = "Logical reduction of metarules",
  author = "Andrew Cropper and Sophie Tourret",
  year = "2020",
  journal = "Mach. Learn.",
  number = "7",
  pages = "1323--1369",
  url = "https://doi.org/10.1007/s10994-019-05834-x",
  volume = "109",
  doi = "10.1007/s10994-019-05834-x",
}
@article{DBLP:journals/ml/CropperMM20,
  title = "Learning higher-order logic programs",
  author = "Andrew Cropper and Rolf Morel and Stephen Muggleton",
  year = "2020",
  journal = "Mach. Learn.",
  number = "7",
  pages = "1289--1322",
  url = "https://doi.org/10.1007/s10994-019-05862-7",
  volume = "109",
  doi = "10.1007/s10994-019-05862-7",
}
@inproceedings{DBLP:conf/aaai/CropperMM20,
  title = "Learning Higher-Order Programs through Predicate Invention",
  author = "Andrew Cropper and Rolf Morel and Stephen H. Muggleton",
  year = "2020",
  booktitle = "The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020",
  pages = "13655--13658",
  publisher = "{AAAI} Press",
  url = "https://aaai.org/ojs/index.php/AAAI/article/view/7113",
}
@inproceedings{DBLP:conf/aaai/Cropper20,
  title = "Forgetting to Learn Logic Programs",
  author = "Andrew Cropper",
  year = "2020",
  booktitle = "The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020",
  pages = "3676--3683",
  publisher = "{AAAI} Press",
  url = "https://aaai.org/ojs/index.php/AAAI/article/view/5776",
}
@article{DBLP:journals/ml/CropperM19,
  title = "Learning efficient logic programs",
  author = "Andrew Cropper and Stephen H. Muggleton",
  year = "2019",
  journal = "Machine Learning",
  number = "7",
  pages = "1063--1083",
  url = "https://doi.org/10.1007/s10994-018-5712-6",
  volume = "108",
  doi = "10.1007/s10994-018-5712-6",
}
@inproceedings{DBLP:conf/ijcai/Cropper19,
  title = "Playgol: Learning Programs Through Play",
  author = "Andrew Cropper",
  year = "2019",
  booktitle = "Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16, 2019",
  editor = "Sarit Kraus",
  pages = "6074--6080",
  publisher = "ijcai.org",
  url = "https://doi.org/10.24963/ijcai.2019/841",
  doi = "10.24963/ijcai.2019/841",
}
@inproceedings{DBLP:conf/jelia/MorelCO19,
  title = "Typed Meta-interpretive Learning of Logic Programs",
  author = "Rolf Morel and Andrew Cropper and C.{-}H. Luke Ong",
  year = "2019",
  booktitle = "Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Rende, Italy, May 7-11, 2019, Proceedings",
  editor = "Francesco Calimeri and Nicola Leone and Marco Manna",
  isbn = "978-3-030-19569-4",
  pages = "198--213",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://doi.org/10.1007/978-3-030-19570-0",
  volume = "11468",
  doi = "10.1007/978-3-030-19570-0",
}
@inproceedings{DBLP:conf/jelia/TourretC19,
  title = "SLD-Resolution Reduction of Second-Order Horn Fragments",
  author = "Sophie Tourret and Andrew Cropper",
  year = "2019",
  booktitle = "Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Rende, Italy, May 7-11, 2019, Proceedings",
  editor = "Francesco Calimeri and Nicola Leone and Marco Manna",
  isbn = "978-3-030-19569-4",
  pages = "259--276",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://doi.org/10.1007/978-3-030-19570-0",
  volume = "11468",
  doi = "10.1007/978-3-030-19570-0",
}
@inproceedings{ilp18:dreduce,
  title = "Derivation Reduction of Metarules in Meta-interpretive Learning",
  author = "Andrew Cropper and Sophie Tourret",
  year = "2018",
  booktitle = "Inductive Logic Programming - 28th International Conference, {ILP} 2018, Ferrara, Italy, September 2-4, 2018, Proceedings",
  editor = "Fabrizio Riguzzi and Elena Bellodi and Riccardo Zese",
  pages = "1--21",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://doi.org/10.1007/978-3-319-99960-9\_1",
  volume = "11105",
  doi = "10.1007/978-3-319-99960-9\_1",
}
@inproceedings{DBLP:conf/ijcai/Cropper16,
  title = "Logic-Based Inductive Synthesis of Efficient Programs",
  author = "Andrew Cropper",
  year = "2016",
  booktitle = "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016",
  editor = "Subbarao Kambhampati",
  pages = "3980--3981",
  publisher = "{IJCAI/AAAI} Press",
  url = "http://www.ijcai.org/Abstract/16/564",
}
@inproceedings{ijcai16:metafunc,
  title = "Learning Higher-Order Logic Programs through Abstraction and Invention",
  author = "Andrew Cropper and Stephen H. Muggleton",
  year = "2016",
  booktitle = "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016",
  editor = "Subbarao Kambhampati",
  pages = "1418--1424",
  publisher = "{IJCAI/AAAI} Press",
  url = "http://www.ijcai.org/Abstract/16/204",
}
@inproceedings{scai15,
  title = "Can predicate invention compensate for incomplete background knowledge?",
  author = "Andrew Cropper and Stephen Muggleton",
  year = "2015",
  booktitle = "Thirteenth Scandinavian Conference on Artificial Intelligence - {SCAI} 2015, Halmstad, Sweden, November 5-6, 2015",
  editor = "Slawomir Nowaczyk",
  pages = "27--36",
  publisher = "{IOS} Press",
  series = "Frontiers in Artificial Intelligence and Applications",
  url = "https://doi.org/10.3233/978-1-61499-589-0-27",
  volume = "278",
  doi = "10.3233/978-1-61499-589-0-27",
}
@inproceedings{ilp15:datacurate,
  title = "Meta-Interpretive Learning of Data Transformation Programs",
  author = "Andrew Cropper and Alireza Tamaddoni{-}Nezhad and Stephen H. Muggleton",
  year = "2015",
  booktitle = "Inductive Logic Programming - 25th International Conference, {ILP} 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers",
  editor = "Katsumi Inoue and Hayato Ohwada and Akihiro Yamamoto",
  pages = "46--59",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://doi.org/10.1007/978-3-319-40566-7\_4",
  volume = "9575",
  doi = "10.1007/978-3-319-40566-7\_4",
}
@inproceedings{DBLP:conf/ilp/FarquharGCMB15,
  title = "Typed meta-interpretive learning for proof strategies",
  author = "Colin Farquhar and Gudmund Grov and Andrew Cropper and Stephen Muggleton and Alan Bundy",
  year = "2015",
  booktitle = "Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, Kyoto University, Kyoto, Japan, August 20th to 22nd, 2015.",
  editor = "Katsumi Inoue and Hayato Ohwada and Akihiro Yamamoto",
  pages = "17--32",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-1636/paper-02.pdf",
  volume = "1636",
}
@inproceedings{DBLP:conf/ijcai/Cropper15,
  title = "Learning Efficient Logic Programs",
  author = "Andrew Cropper",
  year = "2015",
  booktitle = "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015",
  editor = "Qiang Yang and Michael Wooldridge",
  pages = "4359--4360",
  publisher = "{AAAI} Press",
  url = "http://ijcai.org/Abstract/15/627",
}
@inproceedings{ijcai15:metagolo,
  title = "Learning Efficient Logical Robot Strategies Involving Composable Objects",
  author = "Andrew Cropper and Stephen H. Muggleton",
  year = "2015",
  booktitle = "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015",
  editor = "Qiang Yang and Michael Wooldridge",
  pages = "3423--3429",
  publisher = "{AAAI} Press",
  url = "http://ijcai.org/Abstract/15/482",
}
@inproceedings{ilp14:minmeta,
  title = "Logical Minimisation of Meta-Rules Within Meta-Interpretive Learning",
  author = "Andrew Cropper and Stephen H. Muggleton",
  year = "2014",
  booktitle = "Inductive Logic Programming - 24th International Conference, {ILP} 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers",
  editor = "Jesse Davis and Jan Ramon",
  pages = "62--75",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://doi.org/10.1007/978-3-319-23708-4\_5",
  volume = "9046",
  doi = "10.1007/978-3-319-23708-4\_5",
}
@inproceedings{iccsw14,
  title = "Identifying and inferring objects from textual descriptions of scenes from books",
  author = "Andrew Cropper",
  year = "2014",
  booktitle = "2014 Imperial College Computing Student Workshop, {ICCSW} 2014, September 25-26, 2014, London, United Kingdom",
  editor = "Rumyana Neykova and Nicholas Ng",
  pages = "19--26",
  publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
  series = "{OASICS}",
  url = "https://doi.org/10.4230/OASIcs.ICCSW.2014.19",
  volume = "43",
  doi = "10.4230/OASIcs.ICCSW.2014.19",
}