{"id":"https://openalex.org/W2995129620","doi":"https://doi.org/10.3233/ssw200015","title":"Differentiable Reasoning on Large Knowledge Bases and Natural Language","display_name":"Differentiable Reasoning on Large Knowledge Bases and Natural Language","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W2995129620","doi":"https://doi.org/10.3233/ssw200015","mag":"2995129620"},"language":"en","primary_location":{"id":"doi:10.3233/ssw200015","is_oa":false,"landing_page_url":"https://doi.org/10.3233/ssw200015","pdf_url":null,"source":{"id":"https://openalex.org/S4210235500","display_name":"Studies on the semantic web","issn_l":"1868-1158","issn":["1868-1158"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studies on the Semantic Web","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1912.10824v1","any_repository_has_fulltext":true},"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":"Minervini Pasquale","raw_affiliation_strings":["University College London\u2020"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University College London\u2020","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016424155","display_name":"Matko Bo\u0161njak","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":"Bo\u0161njak Matko","raw_affiliation_strings":["University College London\u2020"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University College London\u2020","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079315903","display_name":"Tim Rockt\u00e4schel","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":"Rockt\u00e4schel Tim","raw_affiliation_strings":["University College London\u2020"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University College London\u2020","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/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":"Riedel Sebastian","raw_affiliation_strings":["University College London\u2020"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University College London\u2020","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023508792","display_name":"Edward Grefenstette","orcid":"https://orcid.org/0000-0003-1164-8809"},"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":"Grefenstette Edward","raw_affiliation_strings":["University College London\u2020"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University College London\u2020","institution_ids":["https://openalex.org/I45129253"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I45129253"],"apc_list":null,"apc_paid":null,"fwci":5.729,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.96507416,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"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/T10028","display_name":"Topic Modeling","score":0.9998999834060669,"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/T10028","display_name":"Topic Modeling","score":0.9998999834060669,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.9994999766349792,"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.9990000128746033,"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.7940105199813843},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.7147529125213623},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5595648288726807},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5495051145553589},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5269556641578674},{"id":"https://openalex.org/keywords/question-answering","display_name":"Question answering","score":0.48496437072753906},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.47112274169921875},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4307840168476105},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4046085476875305},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.3786470890045166},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.113837331533432}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7940105199813843},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.7147529125213623},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5595648288726807},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5495051145553589},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5269556641578674},{"id":"https://openalex.org/C44291984","wikidata":"https://www.wikidata.org/wiki/Q1074173","display_name":"Question answering","level":2,"score":0.48496437072753906},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.47112274169921875},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4307840168476105},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4046085476875305},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3786470890045166},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.113837331533432}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3233/ssw200015","is_oa":false,"landing_page_url":"https://doi.org/10.3233/ssw200015","pdf_url":null,"source":{"id":"https://openalex.org/S4210235500","display_name":"Studies on the semantic web","issn_l":"1868-1158","issn":["1868-1158"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studies on the Semantic Web","raw_type":"book-chapter"},{"id":"mag:2995129620","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1912.10824v1","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,"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":"pmh:oai:eprints.ucl.ac.uk.OAI2:10117328","is_oa":false,"landing_page_url":"https://discovery.ucl.ac.uk/id/eprint/10117328/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"In: Proceedings of The Thirty-fourth AAAI Conference on Artificial Intelligence The Thirty-second Innovative Applications Of Artificial Intelligence Conference, The Tenth AAAI Symposium on Educational Advances In Artificial Intelligence. (pp. pp. 5182-5190). AAAI Press: New York, NY, USA. (2020)","raw_type":"Proceedings paper"}],"best_oa_location":{"id":"mag:2995129620","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1912.10824v1","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,"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},"sustainable_development_goals":[{"score":0.8399999737739563,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W154654756","https://openalex.org/W175897666","https://openalex.org/W1529533208","https://openalex.org/W1533230146","https://openalex.org/W1538134818","https://openalex.org/W1544827683","https://openalex.org/W1602017060","https://openalex.org/W1732222442","https://openalex.org/W1756422141","https://openalex.org/W1793121960","https://openalex.org/W1840435438","https://openalex.org/W1852412531","https://openalex.org/W1885389775","https://openalex.org/W1976526581","https://openalex.org/W1986069434","https://openalex.org/W2033194278","https://openalex.org/W2039987681","https://openalex.org/W2081580037","https://openalex.org/W2097266862","https://openalex.org/W2125027602","https://openalex.org/W2127795553","https://openalex.org/W2158781217","https://openalex.org/W2187131616","https://openalex.org/W2250635077","https://openalex.org/W2471962373","https://openalex.org/W2540419089","https://openalex.org/W2548746141","https://openalex.org/W2563063592","https://openalex.org/W2593864460","https://openalex.org/W2754524185","https://openalex.org/W2884967713","https://openalex.org/W2913629715","https://openalex.org/W2930003055","https://openalex.org/W2950246755","https://openalex.org/W2950527759","https://openalex.org/W2962772482","https://openalex.org/W2962790223","https://openalex.org/W2962790689","https://openalex.org/W2962875487","https://openalex.org/W2962924847","https://openalex.org/W2963055053","https://openalex.org/W2963187627","https://openalex.org/W2963374550","https://openalex.org/W2963432357","https://openalex.org/W2963565598","https://openalex.org/W2963834453","https://openalex.org/W2964116313","https://openalex.org/W2964121744","https://openalex.org/W2964152081","https://openalex.org/W2964172232","https://openalex.org/W2964194917","https://openalex.org/W2964308564"],"related_works":["https://openalex.org/W3157284875","https://openalex.org/W2147241511","https://openalex.org/W2259406085","https://openalex.org/W2099715052","https://openalex.org/W4226247999","https://openalex.org/W3090872036","https://openalex.org/W3209772662","https://openalex.org/W4200629926","https://openalex.org/W4220955952","https://openalex.org/W4287868219"],"abstract_inverted_index":{"Reasoning":[0],"with":[1,17,66],"knowledge":[2],"expressed":[3],"in":[4,19,142],"natural":[5,139],"language":[6,140],"and
\\nKnowledge":[7],"Bases":[8],"(KBs)":[9],"is":[10,40,95],"a":[11,124,143,155],"major":[12],"challenge":[13],"for":[14,170],"Artificial":[15],"Intelligence,":[16],"applications":[18],"machine":[20],"reading,":[21],"dialogue,":[22],"and
\\nquestion":[23],"answering.":[24],"General":[25],"neural":[26],"architectures":[27],"that":[28,148],"jointly
\\nlearn":[29],"representations":[30],"and":[31,38,84,104,131,138,172],"transformations":[32],"of":[33,102,116,157],"text":[34],"are":[35,48],"very":[36],"datainefficient,":[37],"it":[39],"hard":[41],"to":[42,90],"analyse":[43],"their":[44,82,158],"reasoning":[45,53,128],"process.
\\nThese":[46],"issues":[47],"addressed":[49],"by":[50,97,134],"end-to-end":[51],"differentiable":[52],"systems":[54],"such":[55],"as":[56],"Neural":[57],"Theorem":[58],"Provers":[59],"(NTPs),":[60],"although
\\nthey":[61],"can":[62],"only":[63,106],"be":[64],"used":[65],"small-scale":[67],"symbolic":[68],"KBs.":[69],"In":[70],"this
\\npaper":[71],"we":[72,122],"first":[73],"propose":[74,123],"Greedy":[75],"NTPs":[76,103],"(GNTPs),":[77],"an":[78],"extension":[79],"to
\\nNTPs":[80],"addressing":[81],"complexity":[83],"scalability":[85],"limitations,
\\nthus":[86],"making":[87],"them":[88],"applicable":[89],"real-world":[91],"datasets.":[92],"This":[93],"result":[94],"achieved":[96],"dynamically":[98],"constructing":[99],"the":[100,107],"computation
\\ngraph":[101],"including":[105],"most":[108],"promising":[109],"proof
\\npaths":[110],"during":[111],"inference,":[112],"thus":[113],"obtaining":[114],"orders":[115],"magnitude
\\nmore":[117],"efficient":[118],"models":[119],"1
\\n.":[120],"Then,":[121],"novel":[125],"approach
\\nfor":[126],"jointly":[127],"over":[129],"KBs":[130],"textual":[132],"mentions,":[133],"embedding":[135],"logic":[136],"facts":[137],"sentences":[141],"shared
\\nembedding":[144],"space.":[145],"We":[146],"show":[147],"GNTPs":[149],"perform":[150],"on":[151,165],"par":[152],"with
\\nNTPs":[153],"at":[154],"fraction":[156],"cost":[159],"while":[160],"achieving":[161],"competitive
\\nlink":[162],"prediction":[163],"results":[164],"large":[166],"datasets,":[167],"providing":[168],"explanations":[169],"predictions,":[171],"inducing":[173],"interpretable":[174],"models.":[175]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}