{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T10:08:10Z","timestamp":1775470090649,"version":"3.50.1"},"reference-count":264,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T00:00:00Z","timestamp":1738368000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T00:00:00Z","timestamp":1738368000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T00:00:00Z","timestamp":1738368000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Pattern Anal. Mach. Intell."],"published-print":{"date-parts":[[2025,2]]},"DOI":"10.1109\/tpami.2024.3483273","type":"journal-article","created":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T17:35:56Z","timestamp":1729186556000},"page":"878-899","source":"Crossref","is-referenced-by-count":33,"title":["Towards Data-And Knowledge-Driven AI: A Survey on Neuro-Symbolic Computing"],"prefix":"10.1109","volume":"47","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0802-9567","authenticated-orcid":false,"given":"Wenguan","family":"Wang","sequence":"first","affiliation":[{"name":"College of Computer Science and Technology, Zhejiang University, Zhejiang, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0512-880X","authenticated-orcid":false,"given":"Yi","family":"Yang","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Zhejiang University, Zhejiang, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2139-8807","authenticated-orcid":false,"given":"Fei","family":"Wu","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Zhejiang University, Zhejiang, China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1631\/fitee.2100463"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1170.001.0001"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.aiopen.2021.03.001"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1038\/nature14539"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.21236\/ADA164453"},{"key":"ref6","article-title":"Neurocompositional computing in human and machine intelligence: A tutorial","author":"Smolensky","year":"2022"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/aaai.12065"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0277(88)90031-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF02478259"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/S0140525X16001837"},{"key":"ref11","article-title":"Deep learning: A critical appraisal","author":"Marcus","year":"2018"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/602382.602410"},{"issue":"4","key":"ref13","first-page":"611","article-title":"Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning","volume":"6","author":"Garcez","year":"2019","journal-title":"J. Appl. Logics"},{"key":"ref14","article-title":"Neural-symbolic learning and reasoning: A survey and interpretation","volume":"342","author":"Besold","year":"2022","journal-title":"Neuro-Symbolic Artif. Intell.: State Art"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/221"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2021.3049156"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.12"},{"key":"ref18","article-title":"The neuro-symbolic concept learner: Interpreting scenes, words, and sentences from natural supervision","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Mao"},{"key":"ref19","first-page":"279","article-title":"Neuro-symbolic visual reasoning: Disentangling \u201cvisual\u201d from \u201creasoning\u201d","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Amizadeh"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2021.3055780"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR52688.2022.00131"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i6.16623"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58449-8_1"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/679"},{"key":"ref25","article-title":"A survey on neural-symbolic systems","author":"Yu","year":"2021"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/767"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/767"},{"key":"ref28","article-title":"Dimensions of neural-symbolic integration\u2013A structured survey","author":"Bader","year":"2005","journal-title":"arXiv:cs\/0511042"},{"key":"ref29","volume-title":"Neural-Symbolic Cognitive Reasoning","author":"Garcez","year":"2009"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3340531.3411949"},{"key":"ref31","first-page":"861","article-title":"Refinement of approximate domain theories by knowledge-based neural networks","volume-title":"Proc. Nat. Conf. Artif. Intell.","author":"Towell"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90005-K"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1017\/S0140525X00030910"},{"key":"ref34","first-page":"68","article-title":"Towards a new massively parallel computational model for logic programming","volume-title":"Proc. Workshop Combining Symbolic Connectioninst Process.","author":"H\u00f6lldobler"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008328630915"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90105-8"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/72.377968"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/4070.001.0001"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/S0893-6080(01)00109-5"},{"key":"ref40","volume-title":"Neural-Symbolic Learning Systems: Foundations and Applications","year":"2002"},{"key":"ref41","volume-title":"The Co-Evolution of Language and the Brain","volume":"2","author":"Deacon","year":"1997"},{"key":"ref42","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell","year":"2009"},{"key":"ref43","article-title":"The computational theory of mind","author":"Horst","year":"2003","journal-title":"Stanford Encyclopedia Philosophy"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1093\/nsr\/nwac035"},{"key":"ref45","article-title":"The next decade in AI: Four steps towards robust artificial intelligence","author":"Marcus","year":"2020"},{"key":"ref46","first-page":"129","article-title":"Symbolic and statistical theories of cognition: Towards integrated artificial intelligence","volume-title":"Proc. Int. Conf. Softw. Eng. Formal Methods","author":"Maruyama"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/502807.502810"},{"key":"ref48","volume-title":"Machine Learning","volume":"1","author":"Mitchell","year":"1997"},{"key":"ref49","article-title":"Visual knowledge in the big model era: Retrospect and prospect","author":"Wang","year":"2024","journal-title":"Front. Inf. Technol. Electron. Eng."},{"key":"ref50","volume-title":"The Computational Brain","author":"Churchland","year":"1994"},{"key":"ref51","first-page":"83","article-title":"Syntactic and semantic relations in PANINI","volume-title":"Foundations of Language","author":"Kiparsky","year":"1969"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1093\/oxfordhb\/9780199541072.013.0001"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1093\/oxfordhb\/9780199541072.013.0003"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1111\/j.1747-9991.2009.00228.x"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1017\/S0140525X00052432"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i17.17765"},{"key":"ref57","volume-title":"Thinking, Fast and Slow","author":"Kahneman","year":"2011"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v43i1.19122"},{"key":"ref59","article-title":"Efficient estimation of word representations in vector space","author":"Mikolov","year":"2013"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/D14-1162"},{"key":"ref61","first-page":"1877","article-title":"Language models are few-shot learners","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Brown"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.13140\/RG.2.2.18893.74727"},{"key":"ref63","first-page":"1690","article-title":"Compositional generalization via neural-symbolic stack machines","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Chen"},{"key":"ref64","first-page":"22445","article-title":"PLANS: Neuro-symbolic program learning from videos","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Dang-Nhu"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR52729.2023.01436"},{"key":"ref66","first-page":"38154","article-title":"HuggingGPT: Solving AI tasks with chatgpt and its friends in huggingface","volume-title":"Proc. 37th Int. Conf. Neural Inf. Process. Syst.","author":"Shen"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV51070.2023.01092"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.21428\/bf6fb269.1f033948"},{"key":"ref69","first-page":"1039","article-title":"Neural-symbolic VQA: Disentangling reasoning from vision and language understanding","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Yi"},{"key":"ref70","article-title":"Neuro-symbolic program synthesis","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Parisotto"},{"key":"ref71","article-title":"Neural symbolic reader: Scalable integration of distributed and symbolic representations for reading comprehension","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Chen"},{"key":"ref72","first-page":"10832","article-title":"Learning compositional rules via neural program synthesis","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Nye"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P17-1003"},{"key":"ref74","first-page":"7144","article-title":"Learning neurosymbolic generative models via program synthesis","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Young"},{"key":"ref75","article-title":"Towards deep symbolic reinforcement learning","author":"Garnelo","year":"2016"},{"key":"ref76","first-page":"2518","article-title":"Coupling distributed and symbolic execution for natural language queries","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Mou"},{"key":"ref77","first-page":"1653","article-title":"A neural-symbolic cognitive agent for online learning and reasoning","volume-title":"Proc. Int. Joint Conf. Artif. Intell.","author":"de Penning"},{"key":"ref78","first-page":"8701","article-title":"HOUDINI: Lifelong learning as program synthesis","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Valkov"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/675"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33012970"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i6.20663"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.11661"},{"key":"ref83","first-page":"3110","article-title":"Neural logic reinforcement learning","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Jiang"},{"key":"ref84","first-page":"2815","article-title":"Bridging machine learning and logical reasoning by abductive learning","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Dai"},{"key":"ref85","first-page":"2316","article-title":"Differentiable learning of logical rules for knowledge base reasoning","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Yang"},{"key":"ref86","first-page":"3791","article-title":"End-to-end differentiable proving","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Rockt\u00e4schel"},{"key":"ref87","first-page":"6938","article-title":"Learning reasoning strategies in end-to-end differentiable proving","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Minervini"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P19-1618"},{"key":"ref89","first-page":"3753","article-title":"Deepproblog: Neural probabilistic logic programming","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Manhaeve"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i6.16639"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/847"},{"key":"ref92","article-title":"Tensorlog: A differentiable deductive database","author":"Cohen","year":"2016"},{"key":"ref93","article-title":"Neurosymbolic AI: The 3rd wave","author":"Garcez","year":"2020"},{"key":"ref94","article-title":"Syntax-directed variational autoencoder for structured data","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Dai"},{"key":"ref95","first-page":"2552","article-title":"Tree-to-tree neural networks for program translation","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Chen"},{"key":"ref96","first-page":"2323","article-title":"Junction tree variational autoencoder for molecular graph generation","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Jin"},{"key":"ref97","first-page":"80","article-title":"Learning continuous semantic representations of symbolic expressions","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Allamanis"},{"key":"ref98","article-title":"Deep learning for symbolic mathematics","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Lample"},{"key":"ref99","first-page":"5884","article-title":"Closed loop neural-symbolic learning via integrating neural perception, grammar parsing, and symbolic reasoning","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Li"},{"key":"ref100","article-title":"Combining symbolic expressions and black-box function evaluations in neural programs","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Arabshahi"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.325"},{"key":"ref102","article-title":"Differentiable reasoning over a virtual knowledge base","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Dhingra"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/842"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5714"},{"key":"ref105","first-page":"1744","article-title":"Neural guided constraint logic programming for program synthesis","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Zhang"},{"key":"ref106","first-page":"908","article-title":"Neural Markov logic networks","volume-title":"Proc. Uncertainty Artif. Intell.","author":"Marra"},{"key":"ref107","article-title":"Learn to explain efficiently via neural logic inductive learning","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Yang"},{"key":"ref108","first-page":"5903","article-title":"Learning by abstraction: The neural state machine","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Hudson"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2019.00857"},{"key":"ref110","first-page":"6428","article-title":"Probabilistic neural symbolic models for interpretable visual question answering","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Vedantam"},{"key":"ref111","first-page":"4233","article-title":"Embedding symbolic knowledge into deep networks","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Xie"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2019.00580"},{"key":"ref113","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR42600.2020.00895"},{"key":"ref114","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D19-1282"},{"key":"ref115","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i05.6364"},{"key":"ref116","first-page":"9448","article-title":"Inductive relation prediction by subgraph reasoning","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Teru"},{"key":"ref117","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2019.00207"},{"key":"ref118","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR46437.2021.01389"},{"key":"ref119","first-page":"17429","article-title":"Discovering symbolic models from deep learning with inductive biases","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Cranmer"},{"key":"ref120","first-page":"1858","article-title":"Symbolic graph reasoning meets convolutions","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Liang"},{"key":"ref121","first-page":"3397","article-title":"Symbolic network: Generalized neural policies for relational MDPs","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Garg"},{"key":"ref122","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i05.6264"},{"key":"ref123","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i5.20512"},{"key":"ref124","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12850"},{"key":"ref125","first-page":"9662","article-title":"Coherent hierarchical multi-label classification networks","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Giunchiglia"},{"key":"ref126","first-page":"29944","article-title":"Semantic probabilistic layers for neuro-symbolic learning","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Ahmed"},{"key":"ref127","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2024.109124"},{"key":"ref128","first-page":"40932","article-title":"Tractable control for autoregressive language generation","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Zhang"},{"key":"ref129","first-page":"2462","article-title":"ProbLog: A probabilistic prolog and its application in link discovery","volume-title":"Proc. Int. Joint Conf. Artif. Intell.","author":"De Raedt"},{"issue":"8","key":"ref130","article-title":"Language models are unsupervised multitask learners","volume":"1","author":"Radford","year":"2019","journal-title":"OpenAI Blog"},{"key":"ref131","article-title":"Logic tensor networks: Deep learning and logical reasoning from data and knowledge","volume-title":"Proc. 11th Int. Workshop Neural-Symbolic Learn. Reasoning","author":"Serafini"},{"key":"ref132","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103649"},{"key":"ref133","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33014277"},{"key":"ref134","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D16-1146"},{"key":"ref135","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P16-1228"},{"key":"ref136","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v31i1.10934"},{"key":"ref137","first-page":"5502","article-title":"A semantic loss function for deep learning with symbolic knowledge","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Xu"},{"key":"ref138","first-page":"18325","article-title":"A pseudo-semantic loss for autoregressive models with logical constraints","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Ahmed"},{"key":"ref139","doi-asserted-by":"publisher","DOI":"10.1109\/BigData.2018.8621955"},{"key":"ref140","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103602"},{"key":"ref141","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i05.6460"},{"key":"ref142","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P19-1028"},{"key":"ref143","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.08.011"},{"key":"ref144","first-page":"283","article-title":"Lyrics: A general interface layer to integrate logic inference and deep learning","volume-title":"Proc. Joint Eur. Conf. Mach. Learn. Knowl. Discov. Databases","author":"Marra"},{"key":"ref145","first-page":"1931","article-title":"DL2: Training and querying neural networks with logic","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Fischer"},{"key":"ref146","first-page":"5075","article-title":"Hierarchical multi-label classification networks","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Wehrmann"},{"key":"ref147","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR42600.2020.01252"},{"key":"ref148","article-title":"Neural logic machines","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Dong"},{"key":"ref149","first-page":"6545","article-title":"SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Wang"},{"key":"ref150","article-title":"Making neural programming architectures generalize via recursion","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Cai"},{"key":"ref151","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV51070.2023.00381"},{"key":"ref152","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5217-8"},{"key":"ref153","article-title":"Scalable neural methods for reasoning with a symbolic knowledge base","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Cohen"},{"key":"ref154","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2009.5206848"},{"key":"ref155","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.350"},{"key":"ref156","doi-asserted-by":"publisher","DOI":"10.1145\/219717.219748"},{"key":"ref157","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-023-06322-z"},{"key":"ref158","first-page":"7712","article-title":"Probabilistic logic neural networks for reasoning","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Qu"},{"key":"ref159","article-title":"Efficient probabilistic logic reasoning with graph neural networks","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Zhang"},{"key":"ref160","first-page":"1340","article-title":"Relational neural machines","volume-title":"Proc. Eur. Conf. Artif. Intell.","author":"Marra"},{"key":"ref161","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-5833-1"},{"key":"ref162","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55481-0"},{"key":"ref163","first-page":"983","article-title":"Action language BC: Preliminary report","volume-title":"Proc. Int. Joint Conf. Artif. Intell.","author":"Lee"},{"key":"ref164","doi-asserted-by":"publisher","DOI":"10.1002\/chem.201605499"},{"key":"ref165","doi-asserted-by":"publisher","DOI":"10.1126\/sciadv.aay2631"},{"key":"ref166","first-page":"4940","article-title":"Learning differentiable programs with admissible neural heuristics","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Shah"},{"key":"ref167","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-021-03819-2"},{"key":"ref168","doi-asserted-by":"publisher","DOI":"10.1021\/acs.jcim.1c00537"},{"key":"ref169","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-023-38851-5"},{"key":"ref170","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR52688.2022.00225"},{"key":"ref171","doi-asserted-by":"publisher","DOI":"10.1038\/nature25978"},{"key":"ref172","first-page":"8872","article-title":"Retrosynthesis prediction with conditional graph logic network","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Dai"},{"key":"ref173","article-title":"Neural sketch learning for conditional program generation","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Murali"},{"key":"ref174","article-title":"DeepCoder: Learning to write programs","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Balog"},{"key":"ref175","first-page":"18984","article-title":"Neural program generation modulo static analysis","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Mukherjee"},{"key":"ref176","first-page":"6062","article-title":"Learning to infer graphics programs from hand-drawn images","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Ellis"},{"key":"ref177","first-page":"3678","article-title":"Adaptable and interpretable neural memory over symbolic knowledge","volume-title":"Proc. North Amer. Chapter Assoc. Comput. Linguistics","author":"Verga"},{"key":"ref178","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i6.16625"},{"key":"ref179","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i15.17593"},{"key":"ref180","article-title":"Neural module networks for reasoning over text","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Gupta"},{"key":"ref181","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2022.findings-emnlp.408"},{"key":"ref182","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2022.acl-long.417"},{"key":"ref183","article-title":"Compositional attention networks for machine reasoning","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Hudson"},{"key":"ref184","first-page":"3070","article-title":"Multimodal graph networks for compositional generalization in visual question answering","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Saqur"},{"key":"ref185","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N16-1181"},{"key":"ref186","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.93"},{"key":"ref187","article-title":"The neuro-symbolic concept learner: Interpreting scenes, words, and sentences from natural supervision","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Mao"},{"key":"ref188","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00519"},{"key":"ref189","first-page":"21","article-title":"Neuro-symbolic program search for autonomous driving decision module design","volume-title":"Proc. Conf. Robot Learn.","author":"Sun"},{"key":"ref190","first-page":"701","article-title":"Learning neuro-symbolic skills for bilevel planning","volume-title":"Proc. Conf. Robot Learn.","author":"Silver"},{"key":"ref191","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561548"},{"key":"ref192","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460689"},{"key":"ref193","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D19-1241"},{"key":"ref194","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/736"},{"key":"ref195","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.acl-main.362"},{"key":"ref196","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i03.5689"},{"key":"ref197","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i5.16547"},{"key":"ref198","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.acl-long.456"},{"key":"ref199","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2022.findings-acl.195"},{"key":"ref200","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-022-05172-4"},{"key":"ref201","article-title":"Softened symbol grounding for neuro-symbolic systems","volume-title":"Proc. 11th Int. Conf. Learn. Representations","author":"Li"},{"key":"ref202","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v38i3.2704"},{"key":"ref203","first-page":"1","article-title":"A roadmap for neuro-argumentative learning","volume-title":"Proc. 17th Int. Workshop Neural-Symbolic Learn. Reasoning","author":"Proietti"},{"key":"ref204","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi057"},{"key":"ref205","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2013.08.004"},{"key":"ref206","first-page":"1261","article-title":"Extracting dialogical explanations for review aggregations with argumentative dialogical agents.","volume-title":"Proc. 18th Int. Conf. Auton. Agents MultiAgent Syst.","author":"Cocarascu"},{"key":"ref207","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24797-2_4"},{"key":"ref208","doi-asserted-by":"publisher","DOI":"10.24963\/kr.2020\/90"},{"key":"ref209","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21940-5_11"},{"key":"ref210","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-015-9435-9"},{"key":"ref211","first-page":"1153","article-title":"Argumentation-based multi-agent decision making with privacy preserved","volume-title":"Proc. 2016 Int. Conf. Auton. Agents Multiagent Syst.","author":"Gao"},{"key":"ref212","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-024-02101-x"},{"key":"ref213","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/371"},{"key":"ref214","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.naacl-main.339"},{"key":"ref215","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2022.naacl-main.57"},{"key":"ref216","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2021.3079836"},{"key":"ref217","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-021-04590-0"},{"key":"ref218","doi-asserted-by":"publisher","DOI":"10.1038\/s42254-022-00518-3"},{"key":"ref219","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR52729.2023.00257"},{"key":"ref220","first-page":"522","article-title":"Using abstract models of behaviours to automatically generate reinforcement learning hierarchies","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Ryan"},{"key":"ref221","volume-title":"Reinforcement Learning: An Introduction","author":"Sutton","year":"2018"},{"key":"ref222","article-title":"Towards tractable mathematical reasoning: Challenges, strategies, and opportunities for solving math word problems","author":"Faldu","year":"2021"},{"key":"ref223","article-title":"Analysing mathematical reasoning abilities of neural models","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Saxton"},{"key":"ref224","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"ref225","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00015-5"},{"key":"ref226","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.3.429"},{"key":"ref227","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3051315"},{"key":"ref228","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i12.26740"},{"key":"ref229","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV51070.2023.01484"},{"key":"ref230","doi-asserted-by":"publisher","DOI":"10.1093\/nsr\/nwx106"},{"key":"ref231","doi-asserted-by":"publisher","DOI":"10.1021\/acs.jcim.6b00564"},{"key":"ref232","doi-asserted-by":"publisher","DOI":"10.1021\/acscentsci.7b00303"},{"key":"ref233","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i1.16131"},{"key":"ref234","doi-asserted-by":"publisher","DOI":"10.1016\/j.cej.2021.129845"},{"key":"ref235","first-page":"10186","article-title":"Towards understanding retrosynthesis by energy-based models","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Sun"},{"key":"ref236","first-page":"9405","article-title":"Learning graph models for retrosynthesis prediction","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Somnath"},{"key":"ref237","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.644"},{"key":"ref238","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1802.02611"},{"key":"ref239","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR42600.2020.00899"},{"key":"ref240","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV48922.2021.00721"},{"key":"ref241","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR52688.2022.00261"},{"key":"ref242","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR52688.2022.00135"},{"key":"ref243","first-page":"31360","article-title":"GMMSeg: Gaussian mixture based generative semantic segmentation models","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Liang"},{"key":"ref244","first-page":"20787","article-title":"CLUSTSEG: Clustering for universal segmentation","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Liang"},{"key":"ref245","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D17-1088"},{"key":"ref246","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D18-1132"},{"key":"ref247","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33017144"},{"key":"ref248","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P19-1619"},{"key":"ref249","article-title":"On the capabilities of logic tensor networks for deductive reasoning","volume-title":"Proc. AAAI Spring Symp.: Combining Mach. Learn. Knowl. Eng.","author":"Bianchi"},{"key":"ref250","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31095-0_11"},{"key":"ref251","article-title":"Completion reasoning emulation for the description logic EL","volume-title":"Proc. AAAI Spring Symp.: Combining Mach. Learn. Knowl. Eng.","author":"Eberhart"},{"key":"ref252","doi-asserted-by":"publisher","DOI":"10.1016\/j.patrec.2019.04.024"},{"key":"ref253","first-page":"24586","article-title":"A-NeSI: A scalable approximate method for probabilistic neurosymbolic inference","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"van Krieken"},{"key":"ref254","first-page":"60804","article-title":"Soft-unification in deep probabilistic logic","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Maene"},{"key":"ref255","first-page":"21635","article-title":"Neuro-symbolic learning yielding logical constraints","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Li"},{"key":"ref256","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.acl-short.81"},{"key":"ref257","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.043"},{"key":"ref258","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.10.023"},{"key":"ref259","doi-asserted-by":"publisher","DOI":"10.1145\/265910.265918"},{"key":"ref260","doi-asserted-by":"publisher","DOI":"10.21236\/ada046289"},{"key":"ref261","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2021.3070843"},{"key":"ref262","doi-asserted-by":"publisher","DOI":"10.1037\/0033-2909.121.1.133"},{"key":"ref263","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR52688.2022.01512"},{"key":"ref264","first-page":"55976","article-title":"DoraemonGPT: Toward understanding dynamic scenes with large language models (exemplified as a video agent)","volume-title":"Proc. ACM Int. Conf. Mach. Learn.","author":"Yang"}],"container-title":["IEEE Transactions on Pattern Analysis and Machine Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/34\/10835210\/10721277.pdf?arnumber=10721277","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T05:45:23Z","timestamp":1736487923000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10721277\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2]]},"references-count":264,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tpami.2024.3483273","relation":{},"ISSN":["0162-8828","2160-9292","1939-3539"],"issn-type":[{"value":"0162-8828","type":"print"},{"value":"2160-9292","type":"electronic"},{"value":"1939-3539","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,2]]}}}