{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T00:06:38Z","timestamp":1756425998772,"version":"3.44.0"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2008,8,1]],"date-time":"2008-08-01T00:00:00Z","timestamp":1217548800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2008,8,1]],"date-time":"2008-08-01T00:00:00Z","timestamp":1217548800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1109\/coginf.2008.4639164","type":"proceedings-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T14:47:34Z","timestamp":1223390854000},"page":"160-167","source":"Crossref","is-referenced-by-count":0,"title":["Verification and validation of a Neural-Symbolic Hybrid System using an enhanced Petri net"],"prefix":"10.1109","author":[{"given":"Ricardo Rodriguez","family":"Jorge","sequence":"first","affiliation":[{"name":"National Centre of Investigation and Technological Development, Mexico"}]},{"given":"Gerardo Reyes","family":"Salgado","sequence":"additional","affiliation":[{"name":"National Centre of Investigation and Technological Development, Mexico"}]},{"given":"Vianey Guadalupe Cruz","family":"Sanchez","sequence":"additional","affiliation":[{"name":"National Centre of Investigation and Technological Development, Mexico"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/3477.865181"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/69.224193"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/69.591448"},{"year":"0","key":"3"},{"journal-title":"INSS - Un Syste?me Hybride Neuro-Symbolique pour l'Apprentissage Automatique Constructif","year":"1998","author":"oso?rio","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CONIELECOMP.2006.5"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2005.1528267"},{"key":"7","article-title":"enhanced high level petri nets with multiple colors for knowledge verification\/validation of rule-based expert systems","volume":"27","author":"wu","year":"1997","journal-title":"IEEE Trans On Systems Man and Cybernetics Part B"},{"year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1999.814327"},{"key":"4","article-title":"extracting refined rules from hybrid neuro-symbolic systems","author":"villanueva","year":"2006","journal-title":"Proc Int Joint Conf Neural Networks (IJCNN'06)"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/69.755629"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1185845"}],"event":{"name":"2008 7th IEEE International Conference on Cognitive Informatics (ICCI)","start":{"date-parts":[[2008,8,14]]},"location":"Stanford, CA, USA","end":{"date-parts":[[2008,8,16]]}},"container-title":["2008 7th IEEE International Conference on Cognitive Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4629860\/4639143\/04639164.pdf?arnumber=4639164","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T18:03:34Z","timestamp":1756404214000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4639164\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/coginf.2008.4639164","relation":{},"subject":[],"published":{"date-parts":[[2008,8]]}}}