{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T04:11:40Z","timestamp":1770351100753,"version":"3.49.0"},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2020AAA0106300"],"award-info":[{"award-number":["2020AAA0106300"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62250008"],"award-info":[{"award-number":["62250008"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62102222"],"award-info":[{"award-number":["62102222"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Pattern Anal. Mach. Intell."],"published-print":{"date-parts":[[2023,4,1]]},"DOI":"10.1109\/tpami.2022.3191093","type":"journal-article","created":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T19:39:33Z","timestamp":1657913973000},"page":"4321-4334","source":"Crossref","is-referenced-by-count":9,"title":["DeepLogic: Joint Learning of Neural Perception and Logical Reasoning"],"prefix":"10.1109","volume":"45","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9108-9618","authenticated-orcid":false,"given":"Xuguang","family":"Duan","sequence":"first","affiliation":[{"name":"Department of Computer Science and Technology, Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0351-2939","authenticated-orcid":false,"given":"Xin","family":"Wang","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8543-3953","authenticated-orcid":false,"given":"Peilin","family":"Zhao","sequence":"additional","affiliation":[{"name":"Teccent AI Lab, Shenzhen, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7530-332X","authenticated-orcid":false,"given":"Guangyao","family":"Shen","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2236-9290","authenticated-orcid":false,"given":"Wenwu","family":"Zhu","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"1097","article-title":"ImageNet classification with deep convolutional neural networks","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Krizhevsky"},{"key":"ref2","article-title":"Sequence to sequence learning with neural networks","author":"Sutskever","year":"2014"},{"key":"ref3","first-page":"2873","article-title":"Generalization without systematicity: On the compositional skills of sequence-to-sequence recurrent networks","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Lake"},{"key":"ref4","article-title":"Neural arithmetic logic units","author":"Trask","year":"2018"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0606-3","volume-title":"Abduction and Induction: Essays on Their Relation and Integration","volume":"18","author":"Flach","year":"2000"},{"key":"ref6","volume-title":"Found. Log. Program.","author":"Lloyd","year":"2012"},{"key":"ref7","first-page":"2811","article-title":"Bridging machine learning and logical reasoning by abductive learning","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Dai"},{"key":"ref8","article-title":"From system 1 deep learning to system 2 deep learning","volume-title":"Proc. 33rd Conf. Neural Inf. Process. Syst.","author":"Bengio"},{"key":"ref9","article-title":"Neural-symbolic VQA: Disentangling reasoning from vision and language understanding","author":"Yi","year":"2018"},{"key":"ref10","article-title":"Learn to explain efficiently via neural logic inductive learning","author":"Yang","year":"2019"},{"key":"ref11","first-page":"3749","article-title":"DeepProbLog: Neural probabilistic logic programming","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Manhaeve"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5714"},{"key":"ref13","first-page":"547","article-title":"Programming with a differentiable forth interpreter","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Bo\u0161njak"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2019.00546"},{"key":"ref16","article-title":"Neural turing machines","author":"Graves","year":"2014"},{"key":"ref17","article-title":"Neural logic machines","author":"Dong","year":"2019"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.97.3.404"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0402_2"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1956.1056797"},{"key":"ref21","article-title":"Compositional attention networks for machine reasoning","author":"Hudson","year":"2018"},{"key":"ref22","article-title":"Differentiable logic machines","author":"Zimmer","year":"2021"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.12"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.93"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i10.21374"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000494"},{"key":"ref27","first-page":"5884","article-title":"Closed loop neural-symbolic learning via integrating neural perception, grammar parsing, and symbolic reasoning","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Li"},{"key":"ref28","article-title":"The neuro-symbolic concept learner: Interpreting scenes, words, and sentences from natural supervision","author":"Mao","year":"2019"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.215"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.322"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v30i1.10289"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0615-1"},{"key":"ref33","first-page":"4095","article-title":"Efficient neural architecture search via parameters sharing","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Pham"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.2307\/jj.8501520"},{"key":"ref35","first-page":"1057","article-title":"Policy gradient methods for reinforcement learning with function approximation","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Sutton"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/BF00992696"},{"key":"ref37","first-page":"1073","article-title":"Learning perceptual inference by contrasting","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Zhang"},{"key":"ref38","volume-title":"The Perceptron, A Perceiving and Recognizing Automaton Project Para","author":"Rosenblatt","year":"1957"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"ref40","first-page":"4967","article-title":"A simple neural network module for relational reasoning","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Santoro"}],"container-title":["IEEE Transactions on Pattern Analysis and Machine Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/34\/10061515\/09831049.pdf?arnumber=9831049","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T19:24:39Z","timestamp":1743794679000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9831049\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,1]]},"references-count":40,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tpami.2022.3191093","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":[[2023,4,1]]}}}