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