{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:43:20Z","timestamp":1729615400185,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ijcnn.2005.1555874","type":"proceedings-article","created":{"date-parts":[[2006,1,5]],"date-time":"2006-01-05T09:52:38Z","timestamp":1136454758000},"page":"457-462","source":"Crossref","is-referenced-by-count":6,"title":["Modification of the ART-1 architecture based on category theoretic design principles"],"prefix":"10.1109","volume":"2","author":[{"given":"M.J.","family":"Healy","sequence":"first","affiliation":[]},{"given":"R.D.","family":"Olinger","sequence":"additional","affiliation":[]},{"given":"R.J.","family":"Young","sequence":"additional","affiliation":[]},{"given":"T.P.","family":"Caudell","sequence":"additional","affiliation":[]},{"given":"K.W.","family":"Larson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"275","article-title":"General logics","author":"meseguer","year":"1987","journal-title":"Logic Colloquium '87"},{"journal-title":"Topology Via Logic","year":"1993","author":"vickers","key":"22"},{"journal-title":"Conceptual mathematics A first introduction to categories","year":"1995","author":"lawvere","key":"17"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008759623876"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","author":"mac lane","year":"1971","journal-title":"Categories for the Working Mathematician"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/KBSE.1993.341202"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/0925-2312(95)00098-4"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2003.1223711"},{"key":"14","article-title":"Neural networks, knowledge, and cognition: A mathematical semantic model based upon category theory","volume":"eece tr 4 20","author":"healy","year":"2004","journal-title":"Technical Report"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2001.938988"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2002.1007566"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139166386"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/S0734-189X(87)80014-2"},{"key":"20","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","author":"pierce","year":"1991","journal-title":"Basic Category Theory for Computer Scientists"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICNN.1994.374307"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0950-7051(96)81920-4"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/72.572088"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S0303-2647(97)01690-0"},{"journal-title":"Categories for Types","year":"1993","author":"crole","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-55860-307-3.50016-2"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0893-6080(03)00105-9"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1080\/095400999116377"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/147508.147524"}],"event":{"name":"International Joint Conference on Neural Networks 2005","acronym":"IJCNN-05","location":"Montreal, Que., Canada"},"container-title":["Proceedings. 2005 IEEE International Joint Conference on Neural Networks, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10421\/33089\/01555874.pdf?arnumber=1555874","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T19:24:41Z","timestamp":1586633081000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1555874\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/ijcnn.2005.1555874","relation":{},"subject":[]}}