{"id":"https://openalex.org/W3119214637","doi":"https://doi.org/10.1007/s10994-020-05945-w","title":"Top program construction and reduction for polynomial time Meta-Interpretive learning","display_name":"Top program construction and reduction for polynomial time Meta-Interpretive learning","publication_year":2021,"publication_date":"2021-02-08","ids":{"openalex":"https://openalex.org/W3119214637","doi":"https://doi.org/10.1007/s10994-020-05945-w","mag":"3119214637"},"language":"en","primary_location":{"id":"doi:10.1007/s10994-020-05945-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-020-05945-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10994-020-05945-w.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,"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"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10994-020-05945-w.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024829092","display_name":"Stassa Patsantzis","orcid":"https://orcid.org/0000-0002-2266-4663"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"S. Patsantzis","raw_affiliation_strings":["Imperial College London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-2266-4663","affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076917665","display_name":"Stephen Muggleton","orcid":"https://orcid.org/0000-0001-6061-6104"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"S. H. Muggleton","raw_affiliation_strings":["Imperial College London, London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5024829092"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":{"value":2780,"currency":"USD","value_usd":2780},"fwci":0.4204,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.69231786,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"110","issue":"4","first_page":"755","last_page":"778"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9991999864578247,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9991999864578247,"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/T10028","display_name":"Topic Modeling","score":0.9983000159263611,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.994700014591217,"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/computer-science","display_name":"Computer science","score":0.6008131504058838},{"id":"https://openalex.org/keywords/statistical-hypothesis-testing","display_name":"Statistical hypothesis testing","score":0.5137999653816223},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.48191359639167786},{"id":"https://openalex.org/keywords/social-connectedness","display_name":"Social connectedness","score":0.4775451123714447},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4626420736312866},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4615609049797058},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4563257694244385},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4396517276763916},{"id":"https://openalex.org/keywords/grid","display_name":"Grid","score":0.4273530840873718},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.42103540897369385},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.41079413890838623},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3895485997200012},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37966135144233704},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27891209721565247},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17765769362449646}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6008131504058838},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.5137999653816223},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.48191359639167786},{"id":"https://openalex.org/C201943243","wikidata":"https://www.wikidata.org/wiki/Q7551008","display_name":"Social connectedness","level":2,"score":0.4775451123714447},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4626420736312866},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4615609049797058},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4563257694244385},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4396517276763916},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.4273530840873718},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.42103540897369385},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.41079413890838623},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3895485997200012},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37966135144233704},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27891209721565247},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17765769362449646},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","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},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10994-020-05945-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-020-05945-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10994-020-05945-w.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,"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:2101.05050","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2101.05050","pdf_url":"https://arxiv.org/pdf/2101.05050","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,"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"}],"best_oa_location":{"id":"doi:10.1007/s10994-020-05945-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-020-05945-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10994-020-05945-w.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,"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":[],"awards":[{"id":"https://openalex.org/G1795072736","display_name":null,"funder_award_id":"EP/R022291/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6133211897","display_name":null,"funder_award_id":"EP/P006272/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3119214637.pdf","grobid_xml":"https://content.openalex.org/works/W3119214637.grobid-xml"},"referenced_works_count":55,"referenced_works":["https://openalex.org/W41262972","https://openalex.org/W46221892","https://openalex.org/W51117595","https://openalex.org/W178618149","https://openalex.org/W198381195","https://openalex.org/W228104253","https://openalex.org/W1431464475","https://openalex.org/W1511725009","https://openalex.org/W1523663936","https://openalex.org/W1556628550","https://openalex.org/W1569963244","https://openalex.org/W1576534629","https://openalex.org/W1580842137","https://openalex.org/W1583199978","https://openalex.org/W1608748195","https://openalex.org/W1629572354","https://openalex.org/W1769664091","https://openalex.org/W2019363670","https://openalex.org/W2022879002","https://openalex.org/W2034493279","https://openalex.org/W2070902649","https://openalex.org/W2076020349","https://openalex.org/W2091092523","https://openalex.org/W2111221376","https://openalex.org/W2112529578","https://openalex.org/W2119831128","https://openalex.org/W2150097634","https://openalex.org/W2152700576","https://openalex.org/W2154392433","https://openalex.org/W2167685423","https://openalex.org/W2169042011","https://openalex.org/W2397054552","https://openalex.org/W2403468034","https://openalex.org/W2477228960","https://openalex.org/W2520858206","https://openalex.org/W2574654054","https://openalex.org/W2770702869","https://openalex.org/W2798878581","https://openalex.org/W2801900606","https://openalex.org/W2888757411","https://openalex.org/W2943979673","https://openalex.org/W2962924847","https://openalex.org/W2963139884","https://openalex.org/W2965764755","https://openalex.org/W4238893454","https://openalex.org/W4255129615","https://openalex.org/W4285719527","https://openalex.org/W6601651175","https://openalex.org/W6601832475","https://openalex.org/W6602075275","https://openalex.org/W6607924690","https://openalex.org/W6634246166","https://openalex.org/W6634711908","https://openalex.org/W6636146035","https://openalex.org/W7027713560"],"related_works":["https://openalex.org/W3125761283","https://openalex.org/W2164081328","https://openalex.org/W1976722080","https://openalex.org/W3092556108","https://openalex.org/W3152831473","https://openalex.org/W2190085401","https://openalex.org/W3044931971","https://openalex.org/W1995672666","https://openalex.org/W3008541637","https://openalex.org/W2078521380"],"abstract_inverted_index":{"Abstract":[0],"Meta-Interpretive":[1],"Learners,":[2],"like":[3],"most":[4],"ILP":[5],"systems,":[6],"learn":[7],"by":[8,33,105],"searching":[9],"for":[10,58],"a":[11,37,51,67,76,91,98,159],"correct":[12,46,52,68,160],"hypothesis":[13,16,142,154,161,174],"in":[14,44,71,85,119,166],"the":[15,18,34,40,88,113,141,145,153,167,173,177],"space,":[17],"powerset":[19],"of":[20,36,42,79,90,163,169],"all":[21,45],"constructible":[22],"clauses.":[23,108],"We":[24,54,81,109],"show":[25,63],"how":[26],"this":[27],"exponentially-growing":[28],"search":[29],"can":[30],"be":[31],"replaced":[32],"construction":[35,61],"Top":[38,59,69,99],"program:":[39],"set":[41],"clauses":[43],"hypotheses":[47],"that":[48,64,96,133],"is":[49],"itself":[50],"hypothesis.":[53],"give":[55],"an":[56],"algorithm":[57,84],"program":[60,70,100],"and":[62,74,101,127,131,144,183],"it":[65,104],"constructs":[66,97],"polynomial":[72],"time":[73],"from":[75],"finite":[77],"number":[78],"examples.":[80,171],"implement":[82],"our":[83],"Prolog":[86],"as":[87],"basis":[89],"new":[92],"MIL":[93,116],"system,":[94],"Louise,":[95],"then":[102],"reduces":[103],"removing":[106],"redundant":[107],"compare":[110],"Louise":[111,134,182],"to":[112],"state-of-the-art":[114],"search-based":[115],"system":[117],"Metagol":[118,184],"experiments":[120],"on":[121,136],"grid":[122],"world":[123],"navigation,":[124],"graph":[125],"connectedness":[126],"grammar":[128],"learning":[129],"datasets":[130],"find":[132],"improves":[135],"Metagol\u2019s":[137],"predictive":[138],"accuracy":[139],"when":[140,152],"space":[143,155,175],"target":[146,178],"theory":[147,179],"are":[148,180],"both":[149],"large,":[150],"or":[151,176],"does":[156],"not":[157],"include":[158],"because":[162],"\u201cclassification":[164],"noise\u201d":[165],"form":[168],"mislabelled":[170],"When":[172],"small,":[181],"perform":[185],"equally":[186],"well.":[187]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-08-28T12:50:07.497085","created_date":"2021-01-18T00:00:00"}