{"id":"https://openalex.org/W4205348645","doi":"https://doi.org/10.3233/faia210359","title":"Chapter 12. Learning Reasoning Strategies in End-to-End Differentiable Proving","display_name":"Chapter 12. Learning Reasoning Strategies in End-to-End Differentiable Proving","publication_year":2021,"publication_date":"2021-12-22","ids":{"openalex":"https://openalex.org/W4205348645","doi":"https://doi.org/10.3233/faia210359"},"language":"en","primary_location":{"id":"doi:10.3233/faia210359","is_oa":false,"landing_page_url":"https://doi.org/10.3233/faia210359","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019106673","display_name":"Pasquale Minervini","orcid":"https://orcid.org/0000-0002-8442-602X"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Pasquale Minervini","raw_affiliation_strings":["University College London"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University College London","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101404695","display_name":"Sebastian Riedel","orcid":"https://orcid.org/0000-0002-3655-2486"},"institutions":[{"id":"https://openalex.org/I2252078561","display_name":"Meta (Israel)","ror":"https://ror.org/02388em19","country_code":"IL","type":"company","lineage":["https://openalex.org/I2252078561","https://openalex.org/I4210114444"]},{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB","IL"],"is_corresponding":false,"raw_author_name":"Sebastian Riedel","raw_affiliation_strings":["University College London, Facebook AI Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University College London, Facebook AI Research","institution_ids":["https://openalex.org/I2252078561","https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049427071","display_name":"Pontus Stenetorp","orcid":null},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Pontus Stenetorp","raw_affiliation_strings":["University College London"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University College London","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023508792","display_name":"Edward Grefenstette","orcid":"https://orcid.org/0000-0003-1164-8809"},"institutions":[{"id":"https://openalex.org/I2252078561","display_name":"Meta (Israel)","ror":"https://ror.org/02388em19","country_code":"IL","type":"company","lineage":["https://openalex.org/I2252078561","https://openalex.org/I4210114444"]},{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB","IL"],"is_corresponding":false,"raw_author_name":"Edward Grefenstette","raw_affiliation_strings":["University College London, Facebook AI Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University College London, Facebook AI Research","institution_ids":["https://openalex.org/I2252078561","https://openalex.org/I45129253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079315903","display_name":"Tim Rockt\u00e4schel","orcid":null},"institutions":[{"id":"https://openalex.org/I2252078561","display_name":"Meta (Israel)","ror":"https://ror.org/02388em19","country_code":"IL","type":"company","lineage":["https://openalex.org/I2252078561","https://openalex.org/I4210114444"]},{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB","IL"],"is_corresponding":false,"raw_author_name":"Tim Rockt\u00e4schel","raw_affiliation_strings":["University College London, Facebook AI Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University College London, Facebook AI Research","institution_ids":["https://openalex.org/I2252078561","https://openalex.org/I45129253"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.5905,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.94377469,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9678000211715698,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9678000211715698,"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.697303056716919},{"id":"https://openalex.org/keywords/differentiable-function","display_name":"Differentiable function","score":0.6318176984786987},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6138136386871338},{"id":"https://openalex.org/keywords/rendering","display_name":"Rendering (computer graphics)","score":0.6048021912574768},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5703635811805725},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4518071413040161},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.426202654838562},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4203595519065857},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1563728153705597},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.09680628776550293}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.697303056716919},{"id":"https://openalex.org/C202615002","wikidata":"https://www.wikidata.org/wiki/Q783507","display_name":"Differentiable function","level":2,"score":0.6318176984786987},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6138136386871338},{"id":"https://openalex.org/C205711294","wikidata":"https://www.wikidata.org/wiki/Q176953","display_name":"Rendering (computer graphics)","level":2,"score":0.6048021912574768},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5703635811805725},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4518071413040161},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.426202654838562},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4203595519065857},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1563728153705597},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.09680628776550293},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/faia210359","is_oa":false,"landing_page_url":"https://doi.org/10.3233/faia210359","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4285277090","https://openalex.org/W4327738859","https://openalex.org/W2348722996","https://openalex.org/W2334570605","https://openalex.org/W3181683615","https://openalex.org/W4286826125","https://openalex.org/W1633485514","https://openalex.org/W1980454230","https://openalex.org/W2300851791","https://openalex.org/W1604739066"],"abstract_inverted_index":{"Attempts":[0],"to":[1,58,83,118],"render":[2],"deep":[3],"learning":[4,117],"models":[5,28,115],"interpretable,":[6],"data-efficient,":[7],"and":[8,33,101,123,150],"robust":[9],"have":[10],"seen":[11],"some":[12],"success":[13],"through":[14],"hybridisation":[15],"with":[16,140],"rule-based":[17],"systems,":[18],"for":[19,44,64,72],"example,":[20],"in":[21,138],"Neural":[22],"Theorem":[23,78],"Provers":[24,79],"(NTPs).":[25],"These":[26],"neuro-symbolic":[27],"can":[29],"induce":[30],"interpretable":[31],"rules":[32],"learn":[34],"representations":[35],"from":[36],"data":[37],"via":[38,92],"back-propagation,":[39],"while":[40,144],"providing":[41],"logical":[42],"explanations":[43],"their":[45,52],"predictions.":[46],"However,":[47],"they":[48,56],"are":[49,99,152],"restricted":[50],"by":[51,116],"computational":[53],"complexity,":[54],"as":[55],"need":[57],"consider":[59],"all":[60],"possible":[61],"proof":[62],"paths":[63],"explaining":[65],"a":[66],"goal,":[67],"thus":[68],"rendering":[69],"them":[70],"unfit":[71],"large-scale":[73],"applications.":[74],"We":[75,95],"present":[76],"Conditional":[77],"(CTPs),":[80],"an":[81,87],"extension":[82],"NTPs":[84],"that":[85,97],"learns":[86],"optimal":[88],"rule":[89],"selection":[90],"strategy":[91],"gradient-based":[93],"optimisation.":[94],"show":[96,130],"CTPs":[98,129],"scalable":[100],"yield":[102],"state-of-the-art":[103],"results":[104,134],"on":[105,125,135],"the":[106],"CLUTRR":[107],"dataset,":[108],"which":[109],"tests":[110],"systematic":[111],"generalisation":[112],"of":[113],"neural":[114],"reason":[119],"over":[120],"smaller":[121],"graphs":[122],"evaluating":[124],"larger":[126],"ones.":[127],"Finally,":[128],"better":[131],"link":[132],"prediction":[133],"standard":[136],"benchmarks":[137],"comparison":[139],"other":[141],"neural-symbolic":[142],"models,":[143],"being":[145],"explainable.":[146],"All":[147],"source":[148],"code":[149],"datasets":[151],"available":[153],"online.":[154],"(At":[155],"https://github.com/uclnlp/ctp)":[156]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}