{"id":"https://openalex.org/W3022490130","doi":"https://doi.org/10.1007/s10994-020-05934-z","title":"Learning programs by learning from failures","display_name":"Learning programs by learning from failures","publication_year":2021,"publication_date":"2021-02-19","ids":{"openalex":"https://openalex.org/W3022490130","doi":"https://doi.org/10.1007/s10994-020-05934-z","mag":"3022490130"},"language":"en","primary_location":{"id":"doi:10.1007/s10994-020-05934-z","doi":"https://doi.org/10.1007/s10994-020-05934-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-020-05934-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10994-020-05934-z.pdf","source":{"id":"https://openalex.org/S62148650","display_name":"Machine Learning","issn_l":"0885-6125","issn":["0885-6125","1573-0565"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","ccf-b","cwts-core","dongbi-b","jufo-3","norway-2","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Machine Learning","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10994-020-05934-z.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008794311","display_name":"Andrew Cropper","orcid":"https://orcid.org/0000-0002-4543-7199","observed_orcids":["https://orcid.org/0000-0002-4543-7199"]},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Andrew Cropper","raw_affiliation_strings":["University of Oxford, Oxford, UK","University of Oxford"],"raw_orcid":"https://orcid.org/0000-0002-4543-7199","affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026110953","display_name":"Rolf Morel","orcid":"https://orcid.org/0000-0001-6063-6965","observed_orcids":["https://orcid.org/0000-0001-6063-6965"]},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Rolf Morel","raw_affiliation_strings":["University of Oxford, Oxford, UK","University of Oxford"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5008794311"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":{"value":2780,"currency":"USD","value_usd":2780},"fwci":4.0889,"has_fulltext":true,"cited_by_count":106,"citation_normalized_percentile":{"value":0.95120465,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":100},"biblio":{"volume":"110","issue":"4","first_page":"801","last_page":"856"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8744999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8744999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10538","display_name":"Data Mining Algorithms and Applications","score":0.02329999953508377,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.021400000900030136,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/learning-from-failure","display_name":"learning from failure","score":0.9480000138282776},{"id":"https://openalex.org/keywords/inductive-logic-programming","display_name":"inductive logic programming","score":0.996999979019165},{"id":"https://openalex.org/keywords/karl-popper","display_name":"Karl Popper","score":0.6359999775886536},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"answer set programming","score":0.9950000047683716},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.8830000162124634}],"concepts":[{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.6107800006866455},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6064351797103882},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5696988105773926},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.5357756614685059},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5201661586761475},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.4723157584667206},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.42819976806640625},{"id":"https://openalex.org/C21563000","wikidata":"https://www.wikidata.org/wiki/Q484511","display_name":"Inductive reasoning","level":2,"score":0.4248954653739929},{"id":"https://openalex.org/C120577422","wikidata":"https://www.wikidata.org/wiki/Q843558","display_name":"Alternative hypothesis","level":3,"score":0.41642996668815613},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3544965982437134},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3343086242675781},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2706819772720337},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2548290491104126},{"id":"https://openalex.org/C191988596","wikidata":"https://www.wikidata.org/wiki/Q628374","display_name":"Null hypothesis","level":2,"score":0.24703875184059143},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/s10994-020-05934-z","doi":"https://doi.org/10.1007/s10994-020-05934-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-020-05934-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10994-020-05934-z.pdf","source":{"id":"https://openalex.org/S62148650","display_name":"Machine Learning","issn_l":"0885-6125","issn":["0885-6125","1573-0565"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","ccf-b","cwts-core","dongbi-b","jufo-3","norway-2","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Machine Learning","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2005.02259","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2005.02259","pdf_url":"https://arxiv.org/pdf/2005.02259","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:56baa899-b0ca-47bf-9557-6a7c3f2718b4","doi":null,"is_oa":true,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:56baa899-b0ca-47bf-9557-6a7c3f2718b4","pdf_url":"https://ora.ox.ac.uk/objects/uuid:56baa899-b0ca-47bf-9557-6a7c3f2718b4/files/r1n79h477g","source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symplectic Elements","raw_type":"Journal article"},{"id":"mag:3022490130","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2005.02259.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2005.02259","doi":"https://doi.org/10.48550/arxiv.2005.02259","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2005.02259","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.1007/s10994-020-05934-z","doi":"https://doi.org/10.1007/s10994-020-05934-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-020-05934-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10994-020-05934-z.pdf","source":{"id":"https://openalex.org/S62148650","display_name":"Machine Learning","issn_l":"0885-6125","issn":["0885-6125","1573-0565"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","ccf-b","cwts-core","dongbi-b","jufo-3","norway-2","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Machine Learning","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320290","display_name":"University of Oxford","ror":"https://ror.org/052gg0110"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3022490130.pdf","grobid_xml":"https://content.openalex.org/works/W3022490130.grobid-xml"},"referenced_works_count":71,"referenced_works":["https://openalex.org/W69291052","https://openalex.org/W170723506","https://openalex.org/W178618149","https://openalex.org/W228104253","https://openalex.org/W1431464475","https://openalex.org/W1491793019","https://openalex.org/W1493657719","https://openalex.org/W1499053674","https://openalex.org/W1514468887","https://openalex.org/W1523044720","https://openalex.org/W1541434994","https://openalex.org/W1556683867","https://openalex.org/W1565693361","https://openalex.org/W1573983055","https://openalex.org/W1578925359","https://openalex.org/W1608748195","https://openalex.org/W1700914952","https://openalex.org/W1749120394","https://openalex.org/W1769664091","https://openalex.org/W1858945639","https://openalex.org/W1974514467","https://openalex.org/W1982644528","https://openalex.org/W1999138184","https://openalex.org/W2009605580","https://openalex.org/W2039683780","https://openalex.org/W2064811181","https://openalex.org/W2089334447","https://openalex.org/W2091092523","https://openalex.org/W2093252035","https://openalex.org/W2093535699","https://openalex.org/W2119831128","https://openalex.org/W2122947307","https://openalex.org/W2129479338","https://openalex.org/W2140141795","https://openalex.org/W2150097634","https://openalex.org/W2169042011","https://openalex.org/W2295224001","https://openalex.org/W2328078142","https://openalex.org/W2403468034","https://openalex.org/W2477228960","https://openalex.org/W2501906718","https://openalex.org/W2520858206","https://openalex.org/W2550100435","https://openalex.org/W2619622334","https://openalex.org/W2729610333","https://openalex.org/W2736057823","https://openalex.org/W2750179104","https://openalex.org/W2770392471","https://openalex.org/W2891902226","https://openalex.org/W2936168870","https://openalex.org/W2938001473","https://openalex.org/W2943979673","https://openalex.org/W2949895386","https://openalex.org/W2950021992","https://openalex.org/W2952403248","https://openalex.org/W2963139884","https://openalex.org/W2964073874","https://openalex.org/W2964129507","https://openalex.org/W2964240296","https://openalex.org/W2977998177","https://openalex.org/W2992216954","https://openalex.org/W2996355221","https://openalex.org/W2998367031","https://openalex.org/W3008914533","https://openalex.org/W3017966425","https://openalex.org/W3065734471","https://openalex.org/W4211209398","https://openalex.org/W4230093315","https://openalex.org/W4293249558","https://openalex.org/W6632380663","https://openalex.org/W6782666160"],"related_works":["https://openalex.org/W4226103528","https://openalex.org/W3132853811","https://openalex.org/W4385623038","https://openalex.org/W6969613083","https://openalex.org/W4285606830","https://openalex.org/W4390072574","https://openalex.org/W4382239832","https://openalex.org/W1578184969","https://openalex.org/W3017966425","https://openalex.org/W6995625512"],"abstract_inverted_index":{"Abstract":[0],"We":[1,178],"describe":[2],"an":[3,15,181],"inductive":[4],"logic":[5,39],"programming":[6,192],"(ILP)":[7],"approach":[8,187],"calledlearning":[9],"from":[10,93],"failures.":[11],"In":[12,29,53],"this":[13,186],"approach,":[14],"ILP":[16,182,241],"system":[17,183],"(the":[18],"learner)":[19],"decomposes":[20],"the":[21,30,33,48,54,57,60,72,86,89,94,99,120,125,137,140,145,153,161,166],"learning":[22,205,210,233,250],"problem":[23,198],"into":[24],"three":[25,217],"separate":[26],"stages:generate,test,":[27],"andconstrain.":[28],"generate":[31],"stage,":[32,56,88],"learner":[34,58,90,154],"generates":[35],"a":[36,43,77,81,111,117,128,156],"hypothesis":[37,61,82,96,100,106,112,129,157],"(a":[38],"program)":[40],"that":[41,158,184,228],"satisfies":[42],"set":[44,191],"ofhypothesis":[45],"constraints(constraints":[46],"on":[47,216],"syntactic":[49],"form":[50],"of":[51,124,144,165,246],"hypotheses).":[52],"test":[55],"tests":[59],"against":[62],"training":[63],"examples.":[64],"A":[65],"hypothesisfailswhen":[66],"it":[67],"does":[68],"not":[69,134],"entail":[70,135],"all":[71,136,160],"positive":[73,138,162],"examples":[74],"or":[75,169],"entails":[76,159],"negative":[78,118,167],"example.":[79],"If":[80,127],"fails,":[83],"then,":[84],"in":[85,244],"constrain":[87,104],"learns":[91],"constraints":[92,121,141,230],"failed":[95],"to":[97,103,176],"prune":[98,122,142],"space,":[101],"i.e.":[102],"subsequent":[105],"generation.":[107],"For":[108],"instance,":[109],"if":[110],"is":[113,130],"too":[114,131],"general":[115],"(entails":[116],"example),":[119],"generalisations":[123],"hypothesis.":[126,146],"specific":[132],"(does":[133],"examples),":[139],"specialisations":[143],"This":[147],"loop":[148],"repeats":[149],"until":[150],"either":[151],"(i)":[152,229],"finds":[155],"and":[163,193,203,209,224,235,249],"none":[164],"examples,":[168],"(ii)":[170,236],"there":[171],"are":[172],"no":[173],"more":[174],"hypotheses":[175],"test.":[177],"introduce":[179],"Popper,":[180],"implements":[185],"by":[188],"combining":[189],"answer":[190],"Prolog.":[194],"Popper":[195,237],"supports":[196],"infinite":[197],"domains,":[199],"reasoning":[200],"about":[201],"lists":[202],"numbers,":[204],"textually":[206],"minimal":[207],"programs,":[208],"recursive":[211],"programs.":[212],"Our":[213],"experimental":[214],"results":[215],"domains":[218],"(toy":[219],"game":[220],"problems,":[221],"robot":[222],"strategies,":[223],"list":[225],"transformations)":[226],"show":[227],"drastically":[231],"improve":[232],"performance,":[234],"can":[238],"outperform":[239],"existing":[240],"systems,":[242],"both":[243],"terms":[245],"predictive":[247],"accuracies":[248],"times.":[251]},"counts_by_year":[{"year":2026,"cited_by_count":19},{"year":2025,"cited_by_count":29},{"year":2024,"cited_by_count":14},{"year":2023,"cited_by_count":24},{"year":2022,"cited_by_count":10},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":1}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2020-05-13T00:00:00"}