{"id":"https://openalex.org/W2511805592","doi":"https://doi.org/10.18653/v1/w16-1309","title":"Learning Knowledge Base Inference with Neural Theorem Provers","display_name":"Learning Knowledge Base Inference with Neural Theorem Provers","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2511805592","doi":"https://doi.org/10.18653/v1/w16-1309","mag":"2511805592"},"language":"en","primary_location":{"id":"doi:10.18653/v1/w16-1309","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/w16-1309","pdf_url":"https://www.aclweb.org/anthology/W16-1309.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th Workshop on Automated Knowledge Base Construction","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.aclweb.org/anthology/W16-1309.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","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":"Tim Rockt\u00e4schel","raw_affiliation_strings":["University College London London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University College London London, UK","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"last","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":"Sebastian Riedel","raw_affiliation_strings":["University College London London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University College London London, UK","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":null,"has_fulltext":false,"cited_by_count":46,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"45","last_page":"50"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9919999837875366,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9919999837875366,"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.9905999898910522,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9610000252723694,"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.6822786331176758},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6545034050941467},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5703722238540649},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.5583469867706299},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.5230528116226196},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.4338451325893402},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4232054352760315},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.38977378606796265},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.33314400911331177},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2713389992713928},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23284941911697388}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6822786331176758},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6545034050941467},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5703722238540649},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.5583469867706299},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.5230528116226196},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4338451325893402},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4232054352760315},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.38977378606796265},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.33314400911331177},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2713389992713928},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23284941911697388},{"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.18653/v1/w16-1309","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/w16-1309","pdf_url":"https://www.aclweb.org/anthology/W16-1309.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th Workshop on Automated Knowledge Base Construction","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/v1/w16-1309","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/w16-1309","pdf_url":"https://www.aclweb.org/anthology/W16-1309.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th Workshop on Automated Knowledge Base Construction","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320308943","display_name":"Microsoft Research","ror":"https://ror.org/00d0nc645"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2511805592.pdf","grobid_xml":"https://content.openalex.org/works/W2511805592.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W1522301498","https://openalex.org/W1525961042","https://openalex.org/W1545139845","https://openalex.org/W1602017060","https://openalex.org/W1732222442","https://openalex.org/W1826836734","https://openalex.org/W1852412531","https://openalex.org/W1889268436","https://openalex.org/W1934264538","https://openalex.org/W1970906492","https://openalex.org/W1985726996","https://openalex.org/W1986767090","https://openalex.org/W1989789052","https://openalex.org/W2094055997","https://openalex.org/W2097286355","https://openalex.org/W2099752825","https://openalex.org/W2101848544","https://openalex.org/W2102363952","https://openalex.org/W2127426251","https://openalex.org/W2133585753","https://openalex.org/W2154770372","https://openalex.org/W2159180032","https://openalex.org/W2159727905","https://openalex.org/W2230472587","https://openalex.org/W2250635077","https://openalex.org/W2264259902","https://openalex.org/W2295953541","https://openalex.org/W2296268288","https://openalex.org/W2623293810","https://openalex.org/W2949626814","https://openalex.org/W2951777936","https://openalex.org/W2952155763","https://openalex.org/W2963143606","https://openalex.org/W2963380480","https://openalex.org/W2963440143","https://openalex.org/W2963540140","https://openalex.org/W2963687836","https://openalex.org/W2963899908","https://openalex.org/W2963929497","https://openalex.org/W2963937837","https://openalex.org/W2964121744","https://openalex.org/W4285719527","https://openalex.org/W4298324270","https://openalex.org/W4299801216","https://openalex.org/W4303633609"],"related_works":["https://openalex.org/W2055243143","https://openalex.org/W2519051298","https://openalex.org/W1515240056","https://openalex.org/W1504680642","https://openalex.org/W4321636575","https://openalex.org/W2357796999","https://openalex.org/W2045526782","https://openalex.org/W2385713529","https://openalex.org/W1850639582","https://openalex.org/W2599749361"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"we":[3],"present":[4],"a":[5,37,62,96],"proof-of-concept":[6],"implementation":[7],"of":[8,16,27,40,59,70,77,99,119],"Neural":[9],"Theorem":[10],"Provers":[11],"(NTPs),":[12],"end-to-end":[13],"differentiable":[14,54,97],"counterparts":[15],"discrete":[17],"theorem":[18],"provers":[19],"that":[20,51],"perform":[21],"first-order":[22],"inference":[23],"on":[24,105],"vector":[25],"representations":[26,58,69,107],"symbols":[28,60],"using":[29],"function-free,":[30],"possibly":[31],"parameterized,":[32],"rules.As":[33],"such,":[34],"NTPs":[35],"follow":[36],"long":[38],"tradition":[39],"neural-symbolic":[41],"approaches":[42],"to":[43,57,84,111],"automated":[44],"knowledge":[45,63,121],"base":[46,64],"inference,":[47],"but":[48],"differ":[49],"in":[50,61],"they":[52,80],"are":[53],"with":[55],"respect":[56],"and":[65,108],"can":[66],"thus":[67],"learn":[68,112],"predicates,":[71],"constants,":[72],"as":[73,75,88],"well":[74],"rules":[76],"predefined":[78],"structure.Furthermore,":[79],"still":[81],"allow":[82],"us":[83],"incorporate":[85],"domainknowledge":[86],"provided":[87],"rules.The":[89],"NTP":[90],"presented":[91],"here":[92],"is":[93,109],"realized":[94],"via":[95],"version":[98],"the":[100],"backward":[101],"chaining":[102],"algorithm.It":[103],"operates":[104],"substitution":[106],"able":[110],"complex":[113],"logical":[114],"dependencies":[115],"from":[116],"training":[117],"facts":[118],"small":[120],"bases.":[122]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":7},{"year":2016,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}