@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{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{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{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{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{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{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",
}