{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T16:34:05Z","timestamp":1785342845986,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,19]]},"DOI":"10.1145\/3340531.3411949","type":"proceedings-article","created":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T05:31:04Z","timestamp":1603085464000},"page":"1365-1374","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":61,"title":["Neural Logic Reasoning"],"prefix":"10.1145","author":[{"given":"Shaoyun","family":"Shi","sequence":"first","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hanxiong","family":"Chen","sequence":"additional","affiliation":[{"name":"Rutgers University, New Brunswick, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Weizhi","family":"Ma","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiaxin","family":"Mao","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Min","family":"Zhang","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yongfeng","family":"Zhang","sequence":"additional","affiliation":[{"name":"Rutgers University, New Brunswick, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,10,19]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Thirty-third Conference on Neural Information Processing Systems.","author":"Bengio Yoshua","year":"2019","unstructured":"Yoshua Bengio . 2019 . From System 1 Deep Learning to System 2 Deep Learning . In Thirty-third Conference on Neural Information Processing Systems. Yoshua Bengio. 2019. From System 1 Deep Learning to System 2 Deep Learning. In Thirty-third Conference on Neural Information Processing Systems."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190039"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0893-6080(01)00109-5"},{"key":"e_1_3_2_2_4_1","volume-title":"NIPS 2014 Workshop on Deep Learning","author":"Chung Junyoung","year":"2014","unstructured":"Junyoung Chung , Caglar Gulcehre , Kyunghyun Cho , and Yoshua Bengio . 2014 . Empirical evaluation of gated recurrent neural networks on sequence modeling . In NIPS 2014 Workshop on Deep Learning , December 2014. Junyoung Chung, Caglar Gulcehre, Kyunghyun Cho, and Yoshua Bengio. 2014. Empirical evaluation of gated recurrent neural networks on sequence modeling. In NIPS 2014 Workshop on Deep Learning, December 2014."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"crossref","unstructured":"Ian Cloete and Jacek M Zurada. 2000. Knowledge-based neurocomputing. (2000).  Ian Cloete and Jacek M Zurada. 2000. Knowledge-based neurocomputing. (2000).","DOI":"10.7551\/mitpress\/4070.001.0001"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"crossref","unstructured":"Maurizio Ferrari Dacrema Paolo Cremonesi and Dietmar Jannach. 2019. Are we really making much progress? A worrying analysis of recent neural recommendation approaches. In RecSys. 101--109.  Maurizio Ferrari Dacrema Paolo Cremonesi and Dietmar Jannach. 2019. Are we really making much progress? A worrying analysis of recent neural recommendation approaches. In RecSys. 101--109.","DOI":"10.1145\/3298689.3347058"},{"key":"e_1_3_2_2_7_1","volume-title":"Neural logic machines. ICLR","author":"Dong Honghua","year":"2019","unstructured":"Honghua Dong , Jiayuan Mao , Tian Lin , Chong Wang , Lihong Li , and Denny Zhou . 2019. Neural logic machines. ICLR ( 2019 ). Honghua Dong, Jiayuan Mao, Tian Lin, Chong Wang, Lihong Li, and Denny Zhou. 2019. Neural logic machines. ICLR (2019)."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"crossref","unstructured":"Luis Antonio Gal\u00e1rraga Christina Teflioudi Katja Hose and Fabian Suchanek. 2013. AMIE: association rule mining under incomplete evidence in ontological knowledge bases. In WWW. ACM 413--422.  Luis Antonio Gal\u00e1rraga Christina Teflioudi Katja Hose and Fabian Suchanek. 2013. AMIE: association rule mining under incomplete evidence in ontological knowledge bases. In WWW. ACM 413--422.","DOI":"10.1145\/2488388.2488425"},{"key":"e_1_3_2_2_9_1","unstructured":"Artur S Garcez Lus C Lamb and Dov M Gabbay. 2008. Neural-Symbolic Cognitive Reasoning. (2008).  Artur S Garcez Lus C Lamb and Dov M Gabbay. 2008. Neural-Symbolic Cognitive Reasoning. (2008)."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008328630915"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2005.06.042"},{"key":"e_1_3_2_2_12_1","unstructured":"Will Hamilton Payal Bajaj Marinka Zitnik Dan Jurafsky and Jure Leskovec. 2018. Embedding logical queries on knowledge graphs. In Advances in Neural Information Processing Systems. 2026--2037.  Will Hamilton Payal Bajaj Marinka Zitnik Dan Jurafsky and Jure Leskovec. 2018. Embedding logical queries on knowledge graphs. In Advances in Neural Information Processing Systems. 2026--2037."},{"key":"e_1_3_2_2_13_1","first-page":"19","article-title":"The movielens datasets: History and context","volume":"5","author":"Maxwell Harper F","year":"2016","unstructured":"F Maxwell Harper and Joseph A Konstan . 2016 . The movielens datasets: History and context . Acm Trans. on Interactive Intelligent Systems (TIIS) , Vol. 5 , 4 (2016), 19 . F Maxwell Harper and Joseph A Konstan. 2016. The movielens datasets: History and context. Acm Trans. on Interactive Intelligent Systems (TIIS), Vol. 5, 4 (2016), 19.","journal-title":"Acm Trans. on Interactive Intelligent Systems (TIIS)"},{"key":"e_1_3_2_2_14_1","volume-title":"Artificial intelligence: The very idea","author":"Haugeland John","unstructured":"John Haugeland . 1989. Artificial intelligence: The very idea . MIT press . John Haugeland. 1989. Artificial intelligence: The very idea .MIT press."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872427.2883037"},{"key":"e_1_3_2_2_16_1","volume-title":"International Conference on Learning Representations","author":"Hidasi Bal\u00e1zs","year":"2016","unstructured":"Bal\u00e1zs Hidasi , Alexandros Karatzoglou , Linas Baltrunas , and Domonkos Tikk . 2016 . Session-based recommendations with recurrent neural networks . International Conference on Learning Representations (2016). Bal\u00e1zs Hidasi, Alexandros Karatzoglou, Linas Baltrunas, and Domonkos Tikk. 2016. Session-based recommendations with recurrent neural networks. International Conference on Learning Representations (2016)."},{"key":"e_1_3_2_2_17_1","volume-title":"Fg Wissensverarbeitung Ki, et al","author":"H\u00f6lldobler Steffen","year":"1994","unstructured":"Steffen H\u00f6lldobler , Yvonne Kalinke , Fg Wissensverarbeitung Ki, et al . 1994 . Towards a new massively parallel computational model for logic programming. In In ECAI?94 workshop on Combining Symbolic and Connectioninst Processing . Steffen H\u00f6lldobler, Yvonne Kalinke, Fg Wissensverarbeitung Ki, et al. 1994. Towards a new massively parallel computational model for logic programming. In In ECAI?94 workshop on Combining Symbolic and Connectioninst Processing."},{"key":"e_1_3_2_2_18_1","volume-title":"Inferring and Executing Programs for Visual Reasoning","author":"Johnson Justin","unstructured":"Justin Johnson , Bharath Hariharan , Laurens van der Maaten , Judy Hoffman , Li Fei-Fei , C Lawrence Zitnick , and Ross Girshick . 2017. Inferring and Executing Programs for Visual Reasoning . In ICCV. IEEE , 3008--3017. Justin Johnson, Bharath Hariharan, Laurens van der Maaten, Judy Hoffman, Li Fei-Fei, C Lawrence Zitnick, and Ross Girshick. 2017. Inferring and Executing Programs for Visual Reasoning. In ICCV. IEEE, 3008--3017."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/D14-1181"},{"key":"e_1_3_2_2_20_1","volume-title":"Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980","author":"Kingma Diederik P","year":"2014","unstructured":"Diederik P Kingma and Jimmy Ba . 2014 . Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980 (2014). Diederik P Kingma and Jimmy Ba. 2014. Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980 (2014)."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1401890.1401944"},{"key":"e_1_3_2_2_22_1","volume-title":"Deep learning. nature","author":"LeCun Yann","year":"2015","unstructured":"Yann LeCun , Yoshua Bengio , and Geoffrey Hinton . 2015. Deep learning. nature , Vol. 521 , 7553 ( 2015 ), 436--444. Yann LeCun, Yoshua Bengio, and Geoffrey Hinton. 2015. Deep learning. nature, Vol. 521, 7553 (2015), 436--444."},{"key":"e_1_3_2_2_23_1","volume-title":"Allan Pinkus, and Shimon Schocken.","author":"Leshno Moshe","year":"1993","unstructured":"Moshe Leshno , Vladimir Ya Lin , Allan Pinkus, and Shimon Schocken. 1993 . Multilayer feedforward networks with a nonpolynomial activation function can approximate any function. Neural networks, Vol. 6 , 6 (1993), 861--867. Moshe Leshno, Vladimir Ya Lin, Allan Pinkus, and Shimon Schocken. 1993. Multilayer feedforward networks with a nonpolynomial activation function can approximate any function. Neural networks, Vol. 6, 6 (1993), 861--867."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132847.3132926"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3219819.3219950"},{"key":"e_1_3_2_2_26_1","first-page":"2579","article-title":"Visualizing data using t-SNE","volume":"9","author":"van der Maaten Laurens","year":"2008","unstructured":"Laurens van der Maaten and Geoffrey Hinton . 2008 . Visualizing data using t-SNE . Journal of machine learning research , Vol. 9 , Nov (2008), 2579 -- 2605 . Laurens van der Maaten and Geoffrey Hinton. 2008. Visualizing data using t-SNE. Journal of machine learning research, Vol. 9, Nov (2008), 2579--2605.","journal-title":"Journal of machine learning research"},{"key":"e_1_3_2_2_27_1","volume-title":"A logical calculus of the ideas immanent in nervous activity. The bulletin of mathematical biophysics","author":"McCulloch Warren S","year":"1943","unstructured":"Warren S McCulloch and Walter Pitts . 1943. A logical calculus of the ideas immanent in nervous activity. The bulletin of mathematical biophysics , Vol. 5 , 4 ( 1943 ), 115--133. Warren S McCulloch and Walter Pitts. 1943. A logical calculus of the ideas immanent in nervous activity. The bulletin of mathematical biophysics, Vol. 5, 4 (1943), 115--133."},{"key":"e_1_3_2_2_28_1","volume-title":"Physical symbol systems. Cognitive science","author":"Newell Allen","year":"1980","unstructured":"Allen Newell . 1980. Physical symbol systems. Cognitive science , Vol. 4 , 2 ( 1980 ), 135--183. Allen Newell. 1980. Physical symbol systems. Cognitive science, Vol. 4, 2 (1980), 135--183."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297231.1297251"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/64.108949"},{"key":"e_1_3_2_2_31_1","volume-title":"BPR: Bayesian personalized ranking from implicit feedback. In UAI.","author":"Rendle Steffen","year":"2009","unstructured":"Steffen Rendle , Christoph Freudenthaler , Zeno Gantner , and Lars Schmidt-Thieme . 2009 . BPR: Bayesian personalized ranking from implicit feedback. In UAI. Steffen Rendle, Christoph Freudenthaler, Zeno Gantner, and Lars Schmidt-Thieme. 2009. BPR: Bayesian personalized ranking from implicit feedback. In UAI."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/78.650093"},{"key":"e_1_3_2_2_33_1","volume-title":"Proceedings of the 7th International Conference on Learning Representations","author":"Selsam Daniel","year":"2019","unstructured":"Daniel Selsam , Matthew Lamm , Benedikt B\u00fcnz , Percy Liang , Leonardo de Moura , and David L Dill . 2019 . Learning a SAT solver from single-bit supervision . In Proceedings of the 7th International Conference on Learning Representations (2019). Daniel Selsam, Matthew Lamm, Benedikt B\u00fcnz, Percy Liang, Leonardo de Moura, and David L Dill. 2019. Learning a SAT solver from single-bit supervision. In Proceedings of the 7th International Conference on Learning Representations (2019)."},{"key":"e_1_3_2_2_34_1","unstructured":"Fan Yang Zhilin Yang and William W Cohen. 2017. Differentiable learning of logical rules for knowledge base reasoning. In NIPS. 2316--2325.  Fan Yang Zhilin Yang and William W Cohen. 2017. Differentiable learning of logical rules for knowledge base reasoning. In NIPS. 2316--2325."},{"key":"e_1_3_2_2_35_1","unstructured":"Kexin Yi Jiajun Wu Chuang Gan Antonio Torralba Pushmeet Kohli and Josh Tenenbaum. 2018. Neural-symbolic vqa: Disentangling reasoning from vision and language understanding. In NIPS. 1031--1042.  Kexin Yi Jiajun Wu Chuang Gan Antonio Torralba Pushmeet Kohli and Josh Tenenbaum. 2018. Neural-symbolic vqa: Disentangling reasoning from vision and language understanding. In NIPS. 1031--1042."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1561\/9781680836592"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"crossref","unstructured":"Yongfeng Zhang Guokun Lai Min Zhang Yi Zhang Yiqun Liu and Shaoping Ma. 2014. Explicit factor models for explainable recommendation based on phrase-level sentiment analysis. In SIGIR. 83--92.  Yongfeng Zhang Guokun Lai Min Zhang Yi Zhang Yiqun Liu and Shaoping Ma. 2014. Explicit factor models for explainable recommendation based on phrase-level sentiment analysis. In SIGIR. 83--92.","DOI":"10.1145\/2600428.2609579"}],"event":{"name":"CIKM '20: The 29th ACM International Conference on Information and Knowledge Management","location":"Virtual Event Ireland","acronym":"CIKM '20","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","SIGIR ACM Special Interest Group on Information Retrieval"]},"container-title":["Proceedings of the 29th ACM International Conference on Information & Knowledge Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3340531.3411949","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3340531.3411949","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:22Z","timestamp":1750197682000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3340531.3411949"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,19]]},"references-count":37,"alternative-id":["10.1145\/3340531.3411949","10.1145\/3340531"],"URL":"https:\/\/doi.org\/10.1145\/3340531.3411949","relation":{},"subject":[],"published":{"date-parts":[[2020,10,19]]},"assertion":[{"value":"2020-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}