{"id":"https://openalex.org/W4410694526","doi":"https://doi.org/10.3390/math13111707","title":"AI Reasoning in Deep Learning Era: From Symbolic AI to Neural\u2013Symbolic AI","display_name":"AI Reasoning in Deep Learning Era: From Symbolic AI to Neural\u2013Symbolic AI","publication_year":2025,"publication_date":"2025-05-23","ids":{"openalex":"https://openalex.org/W4410694526","doi":"https://doi.org/10.3390/math13111707"},"language":"en","primary_location":{"id":"doi:10.3390/math13111707","doi":"https://doi.org/10.3390/math13111707","is_oa":true,"landing_page_url":"https://doi.org/10.3390/math13111707","pdf_url":"https://www.mdpi.com/2227-7390/13/11/1707/pdf?version=1747964166","source":{"id":"https://openalex.org/S4210192031","display_name":"Mathematics","issn_l":"2227-7390","issn":["2227-7390"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","cwts-core","doaj","poland-20","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2227-7390/13/11/1707/pdf?version=1747964166","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082007071","display_name":"Baoyu Liang","orcid":"https://orcid.org/0000-0002-2365-589X","observed_orcids":["https://orcid.org/0000-0002-2365-589X"]},"institutions":[{"id":"https://openalex.org/I4392738276","display_name":"State Key Laboratory of Virtual Reality Technology and Systems","ror":"https://ror.org/0009eea46","country_code":null,"type":"facility","lineage":["https://openalex.org/I4392738276","https://openalex.org/I82880672"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Baoyu Liang","raw_affiliation_strings":["School of Computer Science and Engineering, Beihang University, 37 Xueyuan Road, Haidian District, Beijing 100191, China","State Key Laboratory of Virtual Reality Technology and Systems, Beihang University, 37 Xueyuan Road, Haidian District, Beijing 100191, China"],"raw_orcid":"https://orcid.org/0000-0002-2365-589X","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Beihang University, 37 Xueyuan Road, Haidian District, Beijing 100191, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Laboratory of Virtual Reality Technology and Systems, Beihang University, 37 Xueyuan Road, Haidian District, Beijing 100191, China","institution_ids":["https://openalex.org/I4392738276","https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Yuchen Wang","orcid":"https://orcid.org/0009-0000-7858-4518","observed_orcids":["https://orcid.org/0009-0000-7858-4518"]},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuchen Wang","raw_affiliation_strings":["School of Computer Science and Engineering, Beihang University, 37 Xueyuan Road, Haidian District, Beijing 100191, China"],"raw_orcid":"https://orcid.org/0009-0000-7858-4518","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Beihang University, 37 Xueyuan Road, Haidian District, Beijing 100191, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038117386","display_name":"Chao Tong","orcid":"https://orcid.org/0000-0003-4414-4965","observed_orcids":["https://orcid.org/0000-0003-4414-4965"]},"institutions":[{"id":"https://openalex.org/I4392738276","display_name":"State Key Laboratory of Virtual Reality Technology and Systems","ror":"https://ror.org/0009eea46","country_code":null,"type":"facility","lineage":["https://openalex.org/I4392738276","https://openalex.org/I82880672"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Chao Tong","raw_affiliation_strings":["School of Computer Science and Engineering, Beihang University, 37 Xueyuan Road, Haidian District, Beijing 100191, China","State Key Laboratory of Virtual Reality Technology and Systems, Beihang University, 37 Xueyuan Road, Haidian District, Beijing 100191, China"],"raw_orcid":"https://orcid.org/0000-0003-4414-4965","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Beihang University, 37 Xueyuan Road, Haidian District, Beijing 100191, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Laboratory of Virtual Reality Technology and Systems, Beihang University, 37 Xueyuan Road, Haidian District, Beijing 100191, China","institution_ids":["https://openalex.org/I4392738276","https://openalex.org/I82880672"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5038117386"],"corresponding_institution_ids":["https://openalex.org/I4392738276","https://openalex.org/I82880672"],"apc_list":{"value":2600,"currency":"CHF","value_usd":3137},"apc_paid":{"value":2600,"currency":"CHF","value_usd":3137},"fwci":27.0166,"has_fulltext":true,"cited_by_count":65,"citation_normalized_percentile":{"value":0.99776897,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":"13","issue":"11","first_page":"1707","last_page":"1707"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9692000150680542,"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.9692000150680542,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.01810000091791153,"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/T13904","display_name":"Artificial Intelligence Applications","score":0.0035000001080334187,"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/ai-reasoning","display_name":"AI reasoning","score":0.9589999914169312},{"id":"https://openalex.org/keywords/symbolic-ai","display_name":"symbolic AI","score":0.8999999761581421},{"id":"https://openalex.org/keywords/abductive-learning","display_name":"abductive learning","score":0.9879999756813049},{"id":"https://openalex.org/keywords/program-induction","display_name":"program induction","score":0.996999979019165},{"id":"https://openalex.org/keywords/artificial-general-intelligence","display_name":"artificial general intelligence","score":0.7829999923706055},{"id":"https://openalex.org/keywords/explainable-reasoning","display_name":"explainable reasoning","score":0.5249999761581421}],"concepts":[{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6444478034973145},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.4936143159866333},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4664295017719269},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4620567858219147},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.46071773767471313},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.4457811713218689},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.2931165099143982},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.06058436632156372}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3390/math13111707","doi":"https://doi.org/10.3390/math13111707","is_oa":true,"landing_page_url":"https://doi.org/10.3390/math13111707","pdf_url":"https://www.mdpi.com/2227-7390/13/11/1707/pdf?version=1747964166","source":{"id":"https://openalex.org/S4210192031","display_name":"Mathematics","issn_l":"2227-7390","issn":["2227-7390"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","cwts-core","doaj","poland-20","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:gam:jmathe:v:13:y:2025:i:11:p:1707-:d:1662345","doi":null,"is_oa":false,"landing_page_url":"https://www.mdpi.com/2227-7390/13/11/1707/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"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":"article"},{"id":"pmh:oai:doaj.org/article:c63f809acea54401b015b3f9e6ebee98","doi":null,"is_oa":true,"landing_page_url":"https://doaj.org/article/c63f809acea54401b015b3f9e6ebee98","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mathematics, Vol 13, Iss 11, p 1707 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/math13111707","doi":"https://doi.org/10.3390/math13111707","is_oa":true,"landing_page_url":"https://doi.org/10.3390/math13111707","pdf_url":"https://www.mdpi.com/2227-7390/13/11/1707/pdf?version=1747964166","source":{"id":"https://openalex.org/S4210192031","display_name":"Mathematics","issn_l":"2227-7390","issn":["2227-7390"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","cwts-core","doaj","poland-20","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics","raw_type":"journal-article"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G1252428283","display_name":null,"funder_award_id":"Qiankehe[2024] General 058","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2125089672","display_name":null,"funder_award_id":"2022-2-2013","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3779957795","display_name":null,"funder_award_id":"HDCXZHKC2023203","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4211959618","display_name":null,"funder_award_id":"2021YFB2104800","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5506312942","display_name":null,"funder_award_id":"2021YF B2104800","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G6150179326","display_name":null,"funder_award_id":"62176016","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6381689754","display_name":null,"funder_award_id":"72274127","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410694526.pdf","grobid_xml":"https://content.openalex.org/works/W4410694526.grobid-xml"},"referenced_works_count":184,"referenced_works":["https://openalex.org/W188378287","https://openalex.org/W1480909796","https://openalex.org/W1487060125","https://openalex.org/W1507003511","https://openalex.org/W1585529040","https://openalex.org/W1612453857","https://openalex.org/W1640287562","https://openalex.org/W1643320849","https://openalex.org/W1752934815","https://openalex.org/W1824971879","https://openalex.org/W1968079292","https://openalex.org/W1976055110","https://openalex.org/W1976303542","https://openalex.org/W1977970897","https://openalex.org/W2001771035","https://openalex.org/W2020153579","https://openalex.org/W2023808162","https://openalex.org/W2035164592","https://openalex.org/W2037591014","https://openalex.org/W2039400313","https://openalex.org/W2064675550","https://openalex.org/W2073308541","https://openalex.org/W2076698873","https://openalex.org/W2086457680","https://openalex.org/W2088166168","https://openalex.org/W2099102189","https://openalex.org/W2100738443","https://openalex.org/W2104126268","https://openalex.org/W2104246439","https://openalex.org/W2108309071","https://openalex.org/W2112796928","https://openalex.org/W2116502002","https://openalex.org/W2119831128","https://openalex.org/W2127795553","https://openalex.org/W2135209143","https://openalex.org/W2143891888","https://openalex.org/W2145454741","https://openalex.org/W2149706766","https://openalex.org/W2155322595","https://openalex.org/W2159525276","https://openalex.org/W2163605009","https://openalex.org/W2168359464","https://openalex.org/W2173702800","https://openalex.org/W2257979135","https://openalex.org/W2328078142","https://openalex.org/W2337392266","https://openalex.org/W2416885651","https://openalex.org/W2546950329","https://openalex.org/W2547729384","https://openalex.org/W2561715562","https://openalex.org/W2617995259","https://openalex.org/W2767656849","https://openalex.org/W2770392471","https://openalex.org/W2788109215","https://openalex.org/W2788527488","https://openalex.org/W2796284132","https://openalex.org/W2804796373","https://openalex.org/W2888296173","https://openalex.org/W2889787757","https://openalex.org/W2890431379","https://openalex.org/W2890894339","https://openalex.org/W2891021031","https://openalex.org/W2898695519","https://openalex.org/W2899335602","https://openalex.org/W2900091806","https://openalex.org/W2911296969","https://openalex.org/W2911964244","https://openalex.org/W2919115771","https://openalex.org/W2920882913","https://openalex.org/W2943979673","https://openalex.org/W2945259913","https://openalex.org/W2945720633","https://openalex.org/W2950104027","https://openalex.org/W2952319120","https://openalex.org/W2963572185","https://openalex.org/W2964194917","https://openalex.org/W2970442801","https://openalex.org/W2970780738","https://openalex.org/W2998385486","https://openalex.org/W3007769740","https://openalex.org/W3020913839","https://openalex.org/W3023306850","https://openalex.org/W3034789704","https://openalex.org/W3035758390","https://openalex.org/W3038522363","https://openalex.org/W3041689858","https://openalex.org/W3086307406","https://openalex.org/W3089065531","https://openalex.org/W3100162962","https://openalex.org/W3113149630","https://openalex.org/W3115201256","https://openalex.org/W3117577445","https://openalex.org/W3123228431","https://openalex.org/W3135367836","https://openalex.org/W3151929433","https://openalex.org/W3174749057","https://openalex.org/W3175961224","https://openalex.org/W3176710589","https://openalex.org/W3176736844","https://openalex.org/W3176776997","https://openalex.org/W3187230413","https://openalex.org/W4206634230","https://openalex.org/W4221143046","https://openalex.org/W4224308101","https://openalex.org/W4239510810","https://openalex.org/W4253573210","https://openalex.org/W4255373292","https://openalex.org/W4283157303","https://openalex.org/W4285428875","https://openalex.org/W4285506593","https://openalex.org/W4285602153","https://openalex.org/W4292166681","https://openalex.org/W4294753225","https://openalex.org/W4300454389","https://openalex.org/W4304195432","https://openalex.org/W4312261477","https://openalex.org/W4324134086","https://openalex.org/W4379536072","https://openalex.org/W4380136079","https://openalex.org/W4383097638","https://openalex.org/W4385430086","https://openalex.org/W4385570051","https://openalex.org/W4385571855","https://openalex.org/W4385573027","https://openalex.org/W4385764391","https://openalex.org/W4386065691","https://openalex.org/W4387695265","https://openalex.org/W4389782456","https://openalex.org/W4390872747","https://openalex.org/W4391555710","https://openalex.org/W4392845094","https://openalex.org/W4393146968","https://openalex.org/W4394973237","https://openalex.org/W4400681438","https://openalex.org/W4402366710","https://openalex.org/W4402670989","https://openalex.org/W4402671271","https://openalex.org/W4402727020","https://openalex.org/W4403487987","https://openalex.org/W4403788025","https://openalex.org/W4403792806","https://openalex.org/W4404640823","https://openalex.org/W4409149663","https://openalex.org/W4409364569","https://openalex.org/W4409367442","https://openalex.org/W4409368309","https://openalex.org/W4415795269","https://openalex.org/W6602299119","https://openalex.org/W6627195111","https://openalex.org/W6629025635","https://openalex.org/W6630626424","https://openalex.org/W6638588478","https://openalex.org/W6640170060","https://openalex.org/W6681837462","https://openalex.org/W6683396604","https://openalex.org/W6712061694","https://openalex.org/W6739901393","https://openalex.org/W6740570033","https://openalex.org/W6758262585","https://openalex.org/W6761126846","https://openalex.org/W6787716438","https://openalex.org/W6788119346","https://openalex.org/W6790847995","https://openalex.org/W6798393724","https://openalex.org/W6809646742","https://openalex.org/W6810081322","https://openalex.org/W6839198299","https://openalex.org/W6840793632","https://openalex.org/W6848955558","https://openalex.org/W6849732303","https://openalex.org/W6851268924","https://openalex.org/W6853196127","https://openalex.org/W6853465110","https://openalex.org/W6861265062","https://openalex.org/W6874871927","https://openalex.org/W6874910592","https://openalex.org/W6879200827","https://openalex.org/W7075999237","https://openalex.org/W7133209886","https://openalex.org/W7133211296","https://openalex.org/W7133214447","https://openalex.org/W7133220405","https://openalex.org/W7133244791","https://openalex.org/W7196949775"],"related_works":["https://openalex.org/W2731899572","https://openalex.org/W3215138031","https://openalex.org/W3009238340","https://openalex.org/W4360585206","https://openalex.org/W4321369474","https://openalex.org/W4285208911","https://openalex.org/W3082895349","https://openalex.org/W4213079790","https://openalex.org/W2248239756","https://openalex.org/W3086377361"],"abstract_inverted_index":{"The":[0],"pursuit":[1],"of":[2,96,120],"Artificial":[3],"General":[4],"Intelligence":[5],"(AGI)":[6],"demands":[7],"AI":[8,97,121],"systems":[9,23],"that":[10,75,129],"not":[11],"only":[12],"perceive":[13],"but":[14],"also":[15],"reason":[16],"in":[17,27,51,59,70,99,220],"a":[18,73,90,105,112,117,125,183,214],"human-like":[19],"manner.":[20],"While":[21],"symbolic":[22,77,158,174],"pioneered":[24],"early":[25],"breakthroughs":[26],"logic-based":[28],"reasoning,":[29,181],"such":[30,199],"as":[31,200],"MYCIN":[32],"and":[33,39,61,85,92,123,138,156,164,178,188,206,209],"DENDRAL,":[34],"they":[35],"suffered":[36],"from":[37],"brittleness":[38],"poor":[40],"scalability.":[41],"Conversely,":[42],"modern":[43],"deep":[44,101],"learning":[45,102],"architectures":[46],"have":[47],"achieved":[48],"remarkable":[49],"success":[50],"perception":[52],"tasks,":[53],"yet":[54],"continue":[55],"to":[56,82,168,186,212],"fall":[57],"short":[58],"interpretable":[60],"structured":[62],"reasoning.":[63],"This":[64,87],"dichotomy":[65],"has":[66],"motivated":[67],"growing":[68],"interest":[69],"Neural\u2013Symbolic":[71,109],"AI,":[72],"paradigm":[74],"integrates":[76],"logic":[78],"with":[79,104],"neural":[80,176],"computation":[81],"unify":[83],"reasoning":[84,98,122,131,222],"learning.":[86],"survey":[88],"provides":[89],"comprehensive":[91],"technically":[93],"grounded":[94],"overview":[95],"the":[100],"era,":[103],"particular":[106],"focus":[107],"on":[108],"AI.":[110],"Beyond":[111],"historical":[113],"narrative,":[114],"we":[115,210],"introduce":[116],"formal":[118],"definition":[119],"propose":[124],"novel":[126],"three-dimensional":[127],"taxonomy":[128],"organizes":[130],"paradigms":[132],"by":[133,194],"representation":[134],"form,":[135],"task":[136],"structure,":[137],"application":[139],"context.":[140],"We":[141,192],"then":[142],"systematically":[143],"review":[144],"recent":[145],"advances\u2014including":[146],"Differentiable":[147],"Logic":[148],"Programming,":[149],"abductive":[150],"learning,":[151,205],"program":[152],"induction,":[153],"logic-aware":[154],"Transformers,":[155],"LLM-based":[157],"planning\u2014highlighting":[159],"their":[160],"technical":[161],"mechanisms,":[162],"capabilities,":[163],"limitations.":[165],"In":[166],"contrast":[167],"prior":[169],"surveys,":[170],"this":[171],"work":[172],"bridges":[173],"logic,":[175],"computation,":[177],"emergent":[179],"generative":[180],"offering":[182],"unified":[184,207],"framework":[185],"understand":[187],"compare":[189],"diverse":[190],"approaches.":[191],"conclude":[193],"identifying":[195],"key":[196],"open":[197],"challenges":[198],"symbolic\u2013continuous":[201],"alignment,":[202],"dynamic":[203],"rule":[204],"architectures,":[208],"aim":[211],"provide":[213],"conceptual":[215],"foundation":[216],"for":[217],"future":[218],"developments":[219],"general-purpose":[221],"systems.":[223]},"counts_by_year":[{"year":2026,"cited_by_count":44},{"year":2025,"cited_by_count":21}],"updated_date":"2026-10-14T16:39:01.820549","created_date":"2025-10-10T00:00:00"}