{"id":"https://openalex.org/W2964129507","doi":"https://doi.org/10.1007/s10994-019-05834-x","title":"Logical reduction of metarules","display_name":"Logical reduction of metarules","publication_year":2019,"publication_date":"2019-11-20","ids":{"openalex":"https://openalex.org/W2964129507","doi":"https://doi.org/10.1007/s10994-019-05834-x","mag":"2964129507"},"language":"en","primary_location":{"id":"doi:10.1007/s10994-019-05834-x","doi":"https://doi.org/10.1007/s10994-019-05834-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-019-05834-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10994-019-05834-x.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-019-05834-x.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/A5057556247","display_name":"Sophie Tourret","orcid":"https://orcid.org/0000-0002-6070-796X","observed_orcids":["https://orcid.org/0000-0002-6070-796X"]},"institutions":[{"id":"https://openalex.org/I149899117","display_name":"Max Planck Society","ror":"https://ror.org/01hhn8329","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I149899117"]},{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sophie Tourret","raw_affiliation_strings":["Max Planck Institute for Informatics, Saarbr\u00fccken, Germany","Max-Planck-Society"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Informatics, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210109712"]},{"raw_affiliation_string":"Max-Planck-Society","institution_ids":["https://openalex.org/I149899117"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5008794311"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":{"value":2690,"currency":"USD","value_usd":2690},"apc_paid":{"value":2690,"currency":"USD","value_usd":2690},"fwci":1.9116,"has_fulltext":true,"cited_by_count":33,"citation_normalized_percentile":{"value":0.88117642,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":"109","issue":"7","first_page":"1323","last_page":"1369"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7188000082969666,"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.7188000082969666,"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.10779999941587448,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.02199999988079071,"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/meta-rules","display_name":"meta-rules","score":0.9819999933242798},{"id":"https://openalex.org/keywords/inductive-logic-programming","display_name":"inductive logic programming","score":0.8790000081062317},{"id":"https://openalex.org/keywords/subsumption","display_name":"subsumption","score":0.906000018119812},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"logical consequence","score":0.9940000176429749},{"id":"https://openalex.org/keywords/sld-resolution","display_name":"SLD-resolution","score":0.9929999709129333},{"id":"https://openalex.org/keywords/hypothesis-space","display_name":"hypothesis space","score":0.8690000176429749}],"concepts":[{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.7632206678390503},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.7482781410217285},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.7473551034927368},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.5107846260070801},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.5053284764289856},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4951228201389313},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4923769235610962},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.44345685839653015},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43589073419570923},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3926442861557007},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37735894322395325},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37550586462020874},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.3633459210395813},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35504716634750366},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/s10994-019-05834-x","doi":"https://doi.org/10.1007/s10994-019-05834-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-019-05834-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10994-019-05834-x.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:1907.10952","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1907.10952","pdf_url":"https://arxiv.org/pdf/1907.10952","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:HAL:hal-02988003v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-02988003","pdf_url":"https://hal.science/hal-02988003/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"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":"Machine Learning, 2020, 109 (7), pp.1323 - 1369. ⟨10.1007/s10994-019-05834-x⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.mpg.de:item_3188575","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/21.11116/0000-0005-8859-E","pdf_url":null,"source":{"id":"https://openalex.org/S4306400654","display_name":"MPG.PuRe (Max Planck Society)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I149899117","host_organization_name":"Max Planck Society","host_organization_lineage":["https://openalex.org/I149899117"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Machine Learning","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.48550/arxiv.1907.10952","doi":"https://doi.org/10.48550/arxiv.1907.10952","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1907.10952","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-019-05834-x","doi":"https://doi.org/10.1007/s10994-019-05834-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-019-05834-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10994-019-05834-x.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":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2964129507.pdf","grobid_xml":"https://content.openalex.org/works/W2964129507.grobid-xml"},"referenced_works_count":68,"referenced_works":["https://openalex.org/W41262972","https://openalex.org/W89525617","https://openalex.org/W97081472","https://openalex.org/W193514054","https://openalex.org/W1417197267","https://openalex.org/W1497345544","https://openalex.org/W1499053674","https://openalex.org/W1514468887","https://openalex.org/W1523044720","https://openalex.org/W1524175913","https://openalex.org/W1541434994","https://openalex.org/W1565236324","https://openalex.org/W1572578702","https://openalex.org/W1578088218","https://openalex.org/W1583199978","https://openalex.org/W1602046686","https://openalex.org/W1608748195","https://openalex.org/W1631461886","https://openalex.org/W1769664091","https://openalex.org/W1834092808","https://openalex.org/W1847162175","https://openalex.org/W1969965298","https://openalex.org/W1982644528","https://openalex.org/W2011039300","https://openalex.org/W2014117644","https://openalex.org/W2038745317","https://openalex.org/W2039683780","https://openalex.org/W2046879559","https://openalex.org/W2053937765","https://openalex.org/W2058793155","https://openalex.org/W2064811181","https://openalex.org/W2070902649","https://openalex.org/W2089334447","https://openalex.org/W2091092523","https://openalex.org/W2093252035","https://openalex.org/W2099587183","https://openalex.org/W2100738443","https://openalex.org/W2111221376","https://openalex.org/W2119831128","https://openalex.org/W2123319860","https://openalex.org/W2154392433","https://openalex.org/W2169042011","https://openalex.org/W2212515300","https://openalex.org/W2249347839","https://openalex.org/W2395903764","https://openalex.org/W2397054552","https://openalex.org/W2403468034","https://openalex.org/W2477228960","https://openalex.org/W2497826135","https://openalex.org/W2520786965","https://openalex.org/W2574654054","https://openalex.org/W2750179104","https://openalex.org/W2770392471","https://openalex.org/W2798878581","https://openalex.org/W2806743074","https://openalex.org/W2888757411","https://openalex.org/W2891451025","https://openalex.org/W2899376621","https://openalex.org/W2922022659","https://openalex.org/W2943979673","https://openalex.org/W2950021992","https://openalex.org/W2963139884","https://openalex.org/W4206370914","https://openalex.org/W4229898513","https://openalex.org/W4247361493","https://openalex.org/W4254459063","https://openalex.org/W4388257268","https://openalex.org/W7027713560"],"related_works":["https://openalex.org/W2888757411","https://openalex.org/W2397054552","https://openalex.org/W3171387949","https://openalex.org/W4392986804","https://openalex.org/W4407131675","https://openalex.org/W203546648","https://openalex.org/W7095612609","https://openalex.org/W3065734471","https://openalex.org/W3212891530","https://openalex.org/W1573983055"],"abstract_inverted_index":{"Abstract":[0],"Many":[1],"forms":[2,93],"of":[3,16,79,94,118,146,163,174],"inductive":[4],"logic":[5],"programming":[6],"(ILP)":[7],"usemetarules,":[8],"second-order":[9],"Horn":[10],"clauses,":[11],"to":[12,27,57,85,123],"define":[13],"the":[14,21,47],"structure":[15],"learnable":[17],"programs":[18],"and":[19,39,45,98,125,155,167,177],"thus":[20],"hypothesis":[22,48],"space.":[23],"Deciding":[24],"which":[25,109],"metarules":[26,67,80,119,147,164],"use":[28,58,64],"for":[29,120,134],"a":[30,35,41,103],"given":[31,51],"learning":[32,142,178],"task":[33],"is":[34,40,110],"major":[36],"open":[37],"problem":[38],"trade-off":[42],"between":[43],"efficiency":[44],"expressivity:":[46],"space":[49],"grows":[50],"more":[52,135],"metarules,":[53,60],"so":[54],"we":[55,63,69,75],"wish":[56],"fewer":[59],"but":[61],"if":[62],"too":[65],"few":[66],"then":[68],"lose":[70],"expressivity.":[71],"In":[72,158],"this":[73],"paper,":[74],"study":[76],"whether":[77,128],"fragments":[78,121],"can":[81],"be":[82],"logically":[83],"reduced":[84,116,130,144,161,169],"minimal":[86],"finite":[87],"subsets.":[88],"We":[89,100,114,139],"consider":[90,102],"two":[91],"traditional":[92],"logical":[95],"reduction:":[96],"subsumption":[97,166],"entailment.":[99],"also":[101],"new":[104],"reduction":[105],"technique":[106],"calledderivation":[107],"reduction,":[108],"based":[111],"on":[112,148],"SLD-resolution.":[113],"compute":[115],"sets":[117,131,145,162],"relevant":[122],"ILP":[124],"theoretically":[126],"show":[127],"these":[129],"are":[132],"reductions":[133],"general":[136],"infinite":[137],"fragments.":[138],"experimentally":[140],"compare":[141],"with":[143],"three":[149],"domains:":[150],"Michalski":[151],"trains,":[152],"string":[153],"transformations,":[154],"game":[156],"rules.":[157],"general,":[159],"derivation":[160],"outperform":[165],"entailment":[168],"sets,":[170],"both":[171],"in":[172],"terms":[173],"predictive":[175],"accuracies":[176],"times.":[179]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2019-07-30T00:00:00"}