Andrew Cropper : Publications
Click here to download all publications in a single bibtex file
@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",
}
@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",
}
@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/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",
}
@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/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",
}
@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",
}