{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T07:21:13Z","timestamp":1725434473042},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/ijcnn.2015.7280713","type":"proceedings-article","created":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T17:48:02Z","timestamp":1443721682000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Neural-symbolic monitoring and adaptation"],"prefix":"10.1109","author":[{"given":"Alan","family":"Perotti","sequence":"first","affiliation":[]},{"given":"Artur d'Avila","family":"Garcez","sequence":"additional","affiliation":[]},{"given":"Guido","family":"Boella","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989799"},{"journal-title":"Neural Networks A Comprehensive Foundation","year":"1999","author":"haykin","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2014.6889961"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"journal-title":"Principles of Neurodynamics","year":"1962","author":"rosenblatt","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-005-6205-y"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/3477.558801"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.13"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2011.2170180"},{"key":"ref6","first-page":"323","article-title":"The temporal rover and the atg rover","author":"drusinsky","year":"2000","journal-title":"SPIN volume 1885 of Lecture Notes in Computer Science"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008328630915"},{"key":"ref8","first-page":"33","article-title":"Logical inference and inductive learning in artificial neural networks","author":"garcez","year":"1997","journal-title":"Neural Networks for Knowledge Representation"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00250-6"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/11944836_25","article-title":"Monitoring of real-time properties","author":"bauer","year":"2006","journal-title":"Lecture Notes in Computer Science"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn076"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989841"}],"event":{"name":"2015 International Joint Conference on Neural Networks (IJCNN)","start":{"date-parts":[[2015,7,12]]},"location":"Killarney, Ireland","end":{"date-parts":[[2015,7,17]]}},"container-title":["2015 International Joint Conference on Neural Networks (IJCNN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7256526\/7280295\/07280713.pdf?arnumber=7280713","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T16:36:41Z","timestamp":1498235801000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7280713\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ijcnn.2015.7280713","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}