default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndrew Cropper
Person information
- affiliation: University of Oxford, UK
- affiliation (PhD 2017): Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2017
[b1]Andrew Cropper:
Efficiently learning efficient programs. Imperial College London, UK, 2017
Journal Articles
- 2023
- [j9]Céline Hocquette
, Andrew Cropper:
Learning programs with magic values. Mach. Learn. 112(5): 1551-1595 (2023) - [j8]Rolf Morel, Andrew Cropper:
Learning logic programs by explaining their failures. Mach. Learn. 112(10): 3917-3943 (2023) - 2022
- [j7]Andrew Cropper, Sebastijan Dumancic:
Inductive Logic Programming At 30: A New Introduction. J. Artif. Intell. Res. 74: 765-850 (2022) - [j6]Andrew Cropper, Sebastijan Dumancic, Richard Evans, Stephen H. Muggleton:
Inductive logic programming at 30. Mach. Learn. 111(1): 147-172 (2022) - 2021
- [j5]Andrew Cropper, Rolf Morel:
Learning programs by learning from failures. Mach. Learn. 110(4): 801-856 (2021) - 2020
- [j4]Andrew Cropper, Rolf Morel, Stephen H. Muggleton:
Learning higher-order logic programs. Mach. Learn. 109(7): 1289-1322 (2020) - [j3]Andrew Cropper, Sophie Tourret:
Logical reduction of metarules. Mach. Learn. 109(7): 1323-1369 (2020) - [j2]Andrew Cropper, Richard Evans, Mark Law:
Inductive general game playing. Mach. Learn. 109(7): 1393-1434 (2020) - 2019
- [j1]Andrew Cropper, Stephen H. Muggleton:
Learning efficient logic programs. Mach. Learn. 108(7): 1063-1083 (2019)
Conference and Workshop Papers
- 2024
- [c28]David M. Cerna, Andrew Cropper:
Generalisation through Negation and Predicate Invention. AAAI 2024: 10467-10475 - [c27]Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper:
Learning MDL Logic Programs from Noisy Data. AAAI 2024: 10553-10561 - [c26]Andrew Cropper, Céline Hocquette:
Learning Logic Programs by Finding Minimal Unsatisfiable Subprograms. ECAI 2024: 4295-4302 - [c25]Céline Hocquette, Sebastijan Dumancic, Andrew Cropper:
Learning Logic Programs by Discovering Higher-Order Abstractions. IJCAI 2024: 3421-3429 - [c24]Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper:
Learning Big Logical Rules by Joining Small Rules. IJCAI 2024: 3430-3438 - 2023
- [c23]Andrew Cropper, Céline Hocquette:
Learning Logic Programs by Discovering Where Not to Search. AAAI 2023: 6289-6296 - [c22]Céline Hocquette, Andrew Cropper:
Relational Program Synthesis with Numerical Reasoning. AAAI 2023: 6425-6433 - [c21]Andrew Cropper:
The Automatic Computer Scientist. AAAI 2023: 15434 - [c20]Andrew Cropper, Céline Hocquette:
Learning Logic Programs by Combining Programs. ECAI 2023: 501-508 - 2022
- [c19]Andrew Cropper:
Learning Logic Programs Though Divide, Constrain, and Conquer. AAAI 2022: 6446-6453 - 2021
- [c18]Sebastijan Dumancic, Tias Guns, Andrew Cropper:
Knowledge Refactoring for Inductive Program Synthesis. AAAI 2021: 7271-7278 - 2020
- [c17]Andrew Cropper:
Forgetting to Learn Logic Programs. AAAI 2020: 3676-3683 - [c16]Andrew Cropper, Rolf Morel, Stephen H. Muggleton:
Learning Higher-Order Programs through Predicate Invention. AAAI 2020: 13655-13658 - [c15]Andrew Cropper, Sebastijan Dumancic:
Learning Large Logic Programs By Going Beyond Entailment. IJCAI 2020: 2073-2079 - [c14]Andrew Cropper, Sebastijan Dumancic, Stephen H. Muggleton:
Turning 30: New Ideas in Inductive Logic Programming. IJCAI 2020: 4833-4839 - 2019
- [c13]Andrew Cropper:
Playgol: Learning Programs Through Play. IJCAI 2019: 6074-6080 - [c12]Rolf Morel, Andrew Cropper, C.-H. Luke Ong:
Typed Meta-interpretive Learning of Logic Programs. JELIA 2019: 198-213 - [c11]Sophie Tourret, Andrew Cropper:
SLD-Resolution Reduction of Second-Order Horn Fragments. JELIA 2019: 259-276 - 2018
- [c10]Andrew Cropper, Sophie Tourret:
Derivation Reduction of Metarules in Meta-interpretive Learning. ILP 2018: 1-21 - 2016
- [c9]Andrew Cropper, Stephen H. Muggleton:
Learning Higher-Order Logic Programs through Abstraction and Invention. IJCAI 2016: 1418-1424 - [c8]Andrew Cropper:
Logic-Based Inductive Synthesis of Efficient Programs. IJCAI 2016: 3980-3981 - 2015
- [c7]Andrew Cropper, Stephen H. Muggleton:
Learning Efficient Logical Robot Strategies Involving Composable Objects. IJCAI 2015: 3423-3429 - [c6]Andrew Cropper:
Learning Efficient Logic Programs. IJCAI 2015: 4359-4360 - [c5]Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen H. Muggleton, Alan Bundy:
Typed meta-interpretive learning for proof strategies. ILP (Late Breaking Papers) 2015: 17-32 - [c4]Andrew Cropper, Alireza Tamaddoni-Nezhad, Stephen H. Muggleton:
Meta-Interpretive Learning of Data Transformation Programs. ILP 2015: 46-59 - [c3]Andrew Cropper, Stephen H. Muggleton:
Can predicate invention compensate for incomplete background knowledge? SCAI 2015: 27-36 - 2014
- [c2]Andrew Cropper:
Identifying and inferring objects from textual descriptions of scenes from books. ICCSW 2014: 19-26 - [c1]Andrew Cropper, Stephen H. Muggleton:
Logical Minimisation of Meta-Rules Within Meta-Interpretive Learning. ILP 2014: 62-75
Informal and Other Publications
- 2024
- [i30]Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper:
Learning big logical rules by joining small rules. CoRR abs/2401.16215 (2024) - [i29]Andrew Cropper, Céline Hocquette:
Learning logic programs by finding minimal unsatisfiable subprograms. CoRR abs/2401.16383 (2024) - [i28]Céline Hocquette, Johannes Langer, Andrew Cropper, Ute Schmid:
Can humans teach machines to code? CoRR abs/2404.19397 (2024) - [i27]Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper:
Scalable Knowledge Refactoring using Constrained Optimisation. CoRR abs/2408.11530 (2024) - [i26]Céline Hocquette, Andrew Cropper:
Relational decomposition for program synthesis. CoRR abs/2408.12212 (2024) - 2023
- [i25]David M. Cerna, Andrew Cropper:
Generalisation Through Negation and Predicate Invention. CoRR abs/2301.07629 (2023) - [i24]Céline Hocquette, Sebastijan Dumancic, Andrew Cropper:
Learning Logic Programs by Discovering Higher-Order Abstractions. CoRR abs/2308.08334 (2023) - [i23]Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper:
Learning MDL logic programs from noisy data. CoRR abs/2308.09393 (2023) - 2022
- [i22]Andrew Cropper, Céline Hocquette:
Learning logic programs by discovering where not to search. CoRR abs/2202.09806 (2022) - [i21]Andrew Cropper:
Learning programs by combining programs. CoRR abs/2206.01614 (2022) - [i20]Céline Hocquette, Andrew Cropper:
Learning programs with magic values. CoRR abs/2208.03238 (2022) - [i19]Bogdan Cretu, Andrew Cropper:
Constraint-driven multi-task learning. CoRR abs/2208.11656 (2022) - [i18]Céline Hocquette, Andrew Cropper:
Relational program synthesis with numerical reasoning. CoRR abs/2210.00764 (2022) - 2021
- [i17]Andrew Cropper, Sebastijan Dumancic, Richard Evans, Stephen H. Muggleton:
Inductive logic programming at 30. CoRR abs/2102.10556 (2021) - [i16]Rolf Morel, Andrew Cropper:
Learning Logic Programs by Explaining Failures. CoRR abs/2102.12551 (2021) - [i15]Andrew Cropper, Rolf Morel:
Predicate Invention by Learning From Failures. CoRR abs/2104.14426 (2021) - [i14]Andrew Cropper, Oghenejokpeme I. Orhobor, Cristian Dinu, Rolf Morel:
Parallel Constraint-Driven Inductive Logic Programming. CoRR abs/2109.07132 (2021) - [i13]Andrew Cropper:
Learning logic programs through divide, constrain, and conquer. CoRR abs/2109.07818 (2021) - [i12]Andrew Cropper, Luc De Raedt, Richard Evans, Ute Schmid:
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192). Dagstuhl Reports 11(4): 20-33 (2021) - 2020
- [i11]Andrew Cropper, Sebastijan Dumancic, Stephen H. Muggleton:
Turning 30: New Ideas in Inductive Logic Programming. CoRR abs/2002.11002 (2020) - [i10]Andrew Cropper, Sebastijan Dumancic:
Learning large logic programs by going beyond entailment. CoRR abs/2004.09855 (2020) - [i9]Sebastijan Dumancic, Andrew Cropper:
Knowledge Refactoring for Program Induction. CoRR abs/2004.09931 (2020) - [i8]Andrew Cropper, Rolf Morel:
Learning programs by learning from failures. CoRR abs/2005.02259 (2020) - [i7]Andrew Cropper, Sebastijan Dumancic:
Inductive logic programming at 30: a new introduction. CoRR abs/2008.07912 (2020) - 2019
- [i6]Sophie Tourret, Andrew Cropper:
SLD-Resolution Reduction of Second-Order Horn Fragments - technical report -. CoRR abs/1902.09900 (2019) - [i5]Andrew Cropper:
Playgol: learning programs through play. CoRR abs/1904.08993 (2019) - [i4]Andrew Cropper, Richard Evans, Mark Law:
Inductive general game playing. CoRR abs/1906.09627 (2019) - [i3]Andrew Cropper, Sophie Tourret:
Logical reduction of metarules. CoRR abs/1907.10952 (2019) - [i2]Andrew Cropper, Rolf Morel, Stephen H. Muggleton:
Learning higher-order logic programs. CoRR abs/1907.10953 (2019) - [i1]Andrew Cropper:
Forgetting to learn logic programs. CoRR abs/1911.06643 (2019)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-28 21:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
