{"id":"https://openalex.org/W4205198808","doi":"https://doi.org/10.3233/faia210348","title":"Chapter 1. Neural-Symbolic Learning and Reasoning: A Survey and Interpretation1","display_name":"Chapter 1. Neural-Symbolic Learning and Reasoning: A Survey and Interpretation1","publication_year":2021,"publication_date":"2021-12-22","ids":{"openalex":"https://openalex.org/W4205198808","doi":"https://doi.org/10.3233/faia210348"},"language":"en","primary_location":{"id":"doi:10.3233/faia210348","is_oa":false,"landing_page_url":"https://doi.org/10.3233/faia210348","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/A5009626533","display_name":"Tarek R. Besold","orcid":"https://orcid.org/0000-0002-8002-0049"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Tarek R. Besold","raw_affiliation_strings":["Philosophy & Ethics, Faculty of IE/IS, Eindhoven University of Technology"],"affiliations":[{"raw_affiliation_string":"Philosophy & Ethics, Faculty of IE/IS, Eindhoven University of Technology","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060005929","display_name":"Artur d\u2019Avila Garcez","orcid":"https://orcid.org/0000-0001-7375-9518"},"institutions":[{"id":"https://openalex.org/I180825142","display_name":"City, University of London","ror":"https://ror.org/04489at23","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I180825142"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Artur d\u2019Avila Garcez","raw_affiliation_strings":["Department of Computer Science, City, University London"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, City, University London","institution_ids":["https://openalex.org/I180825142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074115481","display_name":"Sebastian Bader","orcid":"https://orcid.org/0000-0001-8786-6242"},"institutions":[{"id":"https://openalex.org/I4665924","display_name":"University of Rostock","ror":"https://ror.org/03zdwsf69","country_code":"DE","type":"education","lineage":["https://openalex.org/I4665924"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Bader","raw_affiliation_strings":["Department of Computer Science, University of Rostock"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Rostock","institution_ids":["https://openalex.org/I4665924"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011062278","display_name":"Howard Bowman","orcid":"https://orcid.org/0000-0003-4736-1869"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Howard Bowman","raw_affiliation_strings":["School of Computing, University of Kent"],"affiliations":[{"raw_affiliation_string":"School of Computing, University of Kent","institution_ids":["https://openalex.org/I20581793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018711331","display_name":"Pedro Domingos","orcid":"https://orcid.org/0000-0003-4523-5631"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pedro Domingos","raw_affiliation_strings":["Department of Computer Science & Engineering, University of Washington"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, University of Washington","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006872667","display_name":"Pascal Hitzler","orcid":"https://orcid.org/0000-0001-6192-3472"},"institutions":[{"id":"https://openalex.org/I189590672","display_name":"Kansas State University","ror":"https://ror.org/05p1j8758","country_code":"US","type":"education","lineage":["https://openalex.org/I189590672"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pascal Hitzler","raw_affiliation_strings":["Center for Artificial Intelligence and Data Science, Kansas State University"],"affiliations":[{"raw_affiliation_string":"Center for Artificial Intelligence and Data Science, Kansas State University","institution_ids":["https://openalex.org/I189590672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057201291","display_name":"Kai\u2010Uwe K\u00fchnberger","orcid":"https://orcid.org/0000-0003-1626-0598"},"institutions":[{"id":"https://openalex.org/I170658231","display_name":"Osnabr\u00fcck University","ror":"https://ror.org/04qmmjx98","country_code":"DE","type":"education","lineage":["https://openalex.org/I170658231"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Kai-Uwe K\u00fchnberger","raw_affiliation_strings":["University of Osnabr\u00fcck"],"affiliations":[{"raw_affiliation_string":"University of Osnabr\u00fcck","institution_ids":["https://openalex.org/I170658231"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002143669","display_name":"Lu\u00eds C. Lamb","orcid":"https://orcid.org/0000-0003-1571-165X"},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Luis C. Lamb","raw_affiliation_strings":["Universidade Federal do Rio Grande do Sul"],"affiliations":[{"raw_affiliation_string":"Universidade Federal do Rio Grande do Sul","institution_ids":["https://openalex.org/I130442723"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113879447","display_name":"Priscila Machado Vieira Lima","orcid":null},"institutions":[{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Priscila Machado Vieira Lima","raw_affiliation_strings":["PESC/COPPE & NCE, Universidade Federal do Rio de Janeiro"],"affiliations":[{"raw_affiliation_string":"PESC/COPPE & NCE, Universidade Federal do Rio de Janeiro","institution_ids":["https://openalex.org/I122140584"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022678687","display_name":"Leo de Penning","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Leo de Penning","raw_affiliation_strings":["Illuminoo B.V"],"affiliations":[{"raw_affiliation_string":"Illuminoo B.V","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086804592","display_name":"Gadi Pinkas","orcid":null},"institutions":[{"id":"https://openalex.org/I119096390","display_name":"Afeka College of Engineering","ror":"https://ror.org/05dhprc49","country_code":"IL","type":"education","lineage":["https://openalex.org/I119096390"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Gadi Pinkas","raw_affiliation_strings":["Afeka College of Engineering and Afeka Center for Language Processing, Tel-Aviv, Israel"],"affiliations":[{"raw_affiliation_string":"Afeka College of Engineering and Afeka Center for Language Processing, Tel-Aviv, Israel","institution_ids":["https://openalex.org/I119096390"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019494985","display_name":"Hoifung Poon","orcid":"https://orcid.org/0000-0002-9067-0918"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Hoifung Poon","raw_affiliation_strings":["Microsoft Research"],"affiliations":[{"raw_affiliation_string":"Microsoft Research","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012291023","display_name":"Gerson Zaverucha","orcid":"https://orcid.org/0000-0002-3641-6839"},"institutions":[{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Gerson Zaverucha","raw_affiliation_strings":["COPPE, Universidade Federal do Rio de Janeiro"],"affiliations":[{"raw_affiliation_string":"COPPE, Universidade Federal do Rio de Janeiro","institution_ids":["https://openalex.org/I122140584"]}]}],"institutions":[],"countries_distinct_count":6,"institutions_distinct_count":13,"corresponding_author_ids":["https://openalex.org/A5009626533"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":8.2458,"has_fulltext":false,"cited_by_count":55,"citation_normalized_percentile":{"value":0.98308048,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"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/T10320","display_name":"Neural Networks and Applications","score":0.8003000020980835,"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/T10320","display_name":"Neural Networks and Applications","score":0.8003000020980835,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.7253000140190125,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/connectionism","display_name":"Connectionism","score":0.6825259923934937},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6757436990737915},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.614292562007904},{"id":"https://openalex.org/keywords/cognition","display_name":"Cognition","score":0.5489372611045837},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.5159112215042114},{"id":"https://openalex.org/keywords/symbolic-numeric-computation","display_name":"Symbolic-numeric computation","score":0.5095529556274414},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.5049520134925842},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.43972691893577576},{"id":"https://openalex.org/keywords/frame-problem","display_name":"Frame problem","score":0.4347772002220154},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.405248761177063},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.1792779564857483},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1141766607761383}],"concepts":[{"id":"https://openalex.org/C8521452","wikidata":"https://www.wikidata.org/wiki/Q203790","display_name":"Connectionism","level":3,"score":0.6825259923934937},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6757436990737915},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.614292562007904},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.5489372611045837},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.5159112215042114},{"id":"https://openalex.org/C167324811","wikidata":"https://www.wikidata.org/wiki/Q12207781","display_name":"Symbolic-numeric computation","level":3,"score":0.5095529556274414},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.5049520134925842},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.43972691893577576},{"id":"https://openalex.org/C5065155","wikidata":"https://www.wikidata.org/wiki/Q1185775","display_name":"Frame problem","level":2,"score":0.4347772002220154},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.405248761177063},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.1792779564857483},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1141766607761383},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/faia210348","is_oa":false,"landing_page_url":"https://doi.org/10.3233/faia210348","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":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.5}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4205841273","https://openalex.org/W4205525690","https://openalex.org/W1732468982","https://openalex.org/W1761388607","https://openalex.org/W2363922099","https://openalex.org/W908473976","https://openalex.org/W4251421746","https://openalex.org/W2563246174","https://openalex.org/W3110877145","https://openalex.org/W4242858528"],"abstract_inverted_index":{"The":[0,139],"study":[1],"and":[2,20,47,58,70,96,115,119,129,137,151,156,175,185],"understanding":[3],"of":[4,28,38,45,49,64,67,89,107,131,153,171],"human":[5],"behaviour":[6,39],"is":[7,141],"relevant":[8],"to":[9,86,167],"computer":[10,81],"science,":[11,17,55],"artificial":[12,56],"intelligence,":[13,57],"neural":[14],"computation,":[15,173],"cognitive":[16,54,65,90],"philosophy,":[18],"psychology,":[19],"several":[21,132],"other":[22],"areas.":[23],"Presupposing":[24],"cognition":[25],"as":[26],"basis":[27],"behaviour,":[29],"among":[30],"the":[31,36,87,126,149,161,169,180,183],"most":[32],"prominent":[33],"tools":[34],"in":[35,53,80,104,117,143],"modelling":[37],"are":[40,73],"computational-logic":[41],"systems,":[42,174],"connectionist":[43],"models":[44,48,66],"cognition,":[46],"uncertainty.":[50],"Recent":[51],"studies":[52],"psychology":[59],"have":[60,84,101,157],"produced":[61],"a":[62,105,158],"number":[63],"reasoning,":[68],"learning,":[69],"language":[71],"that":[72],"underpinned":[74],"by":[75],"computation.":[76],"In":[77],"addition,":[78],"efforts":[79],"science":[82],"research":[83],"led":[85],"development":[88],"computational":[91,110],"systems":[92,100],"integrating":[93],"machine":[94],"learning":[95,136],"automated":[97],"reasoning.":[98,138],"Such":[99],"shown":[102],"promise":[103],"range":[106],"applications,":[108],"including":[109],"biology,":[111],"fault":[112],"diagnosis,":[113],"training":[114],"assessment":[116],"simulators,":[118],"software":[120],"verification.":[121],"This":[122],"joint":[123],"survey":[124],"reviews":[125],"personal":[127],"ideas":[128],"views":[130],"researchers":[133],"on":[134],"neural-symbolic":[135,154,172],"article":[140],"organised":[142],"three":[144],"parts:":[145],"Firstly,":[146],"we":[147,178],"frame":[148],"scope":[150],"goals":[152],"computation":[155],"look":[159],"at":[160],"theoretical":[162],"foundations.":[163],"We":[164],"then":[165],"proceed":[166],"describe":[168],"realisations":[170],"applications.":[176],"Finally":[177],"present":[179],"challenges":[181],"facing":[182],"area":[184],"avenues":[186],"for":[187],"further":[188],"research.":[189]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":29},{"year":2024,"cited_by_count":13},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-13T16:22:10.518609","created_date":"2025-10-10T00:00:00"}