{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:28:34Z","timestamp":1729639714744,"version":"3.28.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1109\/ijcnn.2017.7966113","type":"proceedings-article","created":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T17:41:30Z","timestamp":1499708490000},"page":"2136-2143","source":"Crossref","is-referenced-by-count":8,"title":["Symbolic manipulation based on deep neural networks and its application to axiom discovery"],"prefix":"10.1109","author":[{"given":"Cheng-Hao","family":"Cai","sequence":"first","affiliation":[]},{"given":"Dengfeng","family":"Ke","sequence":"additional","affiliation":[]},{"given":"Yanyan","family":"Xu","sequence":"additional","affiliation":[]},{"given":"Kaile","family":"Su","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"first-page":"8","article-title":"Why ontology evolution is essential in modeling scientificdiscovery","year":"0","author":"bundy","key":"ref38"},{"journal-title":"The Wiener RMS (Root Mean Square) Error Criterion in Filter Design and Prediction","first-page":"129","year":"1949","author":"wiener","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1080\/00401706.1971.10488811"},{"key":"ref30","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-24797-2","volume":"385","author":"graves","year":"2012","journal-title":"Supervised Sequence Labelling with Recurrent Neural Networks"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.009"},{"key":"ref36","first-page":"338","article-title":"Long short-term memory recurrent neural network architectures for large scale acoustic modeling","author":"sak","year":"2014","journal-title":"INTERSPEECH 2014 15th Annual Conference of the International Speech Communication Association"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2013.6638947"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/978-3-642-35289-8_25","article-title":"Stochastic gradient descent tricks","author":"bottou","year":"2012","journal-title":"Neural Networks Tricks of the Trade - Second Edition"},{"key":"ref10","first-page":"861","article-title":"Refinement of approximate domain theories by knowledge-based neural networks","volume":"2","author":"towell","year":"1990","journal-title":"Proceedings of the 8th National Conference on Artificial Intelligence"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008328630915"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2010.5596491"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2007.4371178"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15822-3_13"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1162\/neco.2008.07-06-290"},{"journal-title":"Towards neural network-based reasoning","year":"2015","author":"peng","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0888-613X(91)90008-A"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(92)90086-J"},{"key":"ref19","first-page":"926","article-title":"Reasoning with neural tensor networks for knowledge base completion","author":"socher","year":"2013","journal-title":"Advances in Neural Information Processing Systems 26 27th Annual Conference on Neural Information Processing Systems 2013 Proceedings of a meeting"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068408003268"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TASL.2011.2109382"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/321978.321991"},{"journal-title":"DeepID3 Face Recognition with Very Deep Neural Networks","year":"2015","author":"sun","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TASLP.2014.2303296"},{"key":"ref29","first-page":"315","article-title":"Deep sparse rectifier neural networks","author":"glorot","year":"2011","journal-title":"Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics AISTATS 2011"},{"key":"ref5","first-page":"7962","article-title":"Statistical parametric speech synthesis using deep neural networks","author":"zen","year":"2013","journal-title":"IEEE International Conference on Acoustics Speech and Signal Processing ICASSP 2013"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1038\/nature16961"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1038\/nature14236"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1162\/NECO_a_00052"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF00993103"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/nature14539"},{"journal-title":"Logic tensor networks Deep learning and logical reasoning from data and knowledge","year":"2016","author":"serafini","key":"ref20"},{"journal-title":"Towards deep symbolic reinforcement learning","year":"0","author":"garnelo","key":"ref22"},{"journal-title":"Probabilistic reasoning via deep learning Neural associationmodels","year":"2016","author":"liu","key":"ref21"},{"key":"ref24","first-page":"384","article-title":"Word representations: A simple and general method for semi-supervised learning","author":"turian","year":"2010","journal-title":"ACL 2010-48th Annual Meeting of the Association for Computational Linguistics Proc"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1038\/nature20101"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.2307\/2268661"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0893-6080(88)90469-8"}],"event":{"name":"2017 International Joint Conference on Neural Networks (IJCNN)","start":{"date-parts":[[2017,5,14]]},"location":"Anchorage, AK, USA","end":{"date-parts":[[2017,5,19]]}},"container-title":["2017 International Joint Conference on Neural Networks (IJCNN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7958416\/7965814\/07966113.pdf?arnumber=7966113","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,29]],"date-time":"2019-09-29T06:29:04Z","timestamp":1569738544000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7966113\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/ijcnn.2017.7966113","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}