{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T21:49:59Z","timestamp":1776808199828,"version":"3.51.2"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ijcnn.2005.1556388","type":"proceedings-article","created":{"date-parts":[[2006,1,5]],"date-time":"2006-01-05T09:52:38Z","timestamp":1136454758000},"page":"2915-2920","source":"Crossref","is-referenced-by-count":14,"title":["Rule extraction as a formal method for the verification and validation of neural networks"],"prefix":"10.1109","volume":"5","author":[{"given":"B.J.","family":"Taylor","sequence":"first","affiliation":[]},{"given":"M.A.","family":"Darrah","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39878-3_7"},{"key":"11","article-title":"Connectionist knowledge base representation by generic rules from trained feedforward neural networks","author":"nayak","year":"1997","journal-title":"Proceeding of Connectionist Systems for Knowledge Representation and Deduction Workshop"},{"key":"12","article-title":"Weaving it all together - A methodology for the verification and validation of adaptive neural networks","author":"taylor","year":"2004","journal-title":"NIPS-2004 Workshop on Verification Validation and Testing of Learning Systems"},{"key":"3","article-title":"Verification and validation of autonomy software at NASA","author":"pecheur","year":"2000","journal-title":"NASA\/TM 2000-209602"},{"key":"2","article-title":"Methods and procedures for the independent verification and validation of neural networks","author":"taylor","year":"2004","journal-title":"Technical Report Prepared by Institute for Scientific Research Inc for NASA Independent Verification and Validation Facility under Grant NAGS-12069"},{"key":"1","article-title":"Industrial use of safety-related artificial neural networks","volume":"327","author":"lisboa","year":"2001","journal-title":"Health and Safety Executive Contract Research Report"},{"key":"10","article-title":"A geometric rule extraction approach used for verification and validation of a safety critical application","author":"darrah","year":"2005","journal-title":"2005 Florida Artificial Intelligence Research Society Conference"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/0950-7051(96)81920-4"},{"key":"6","author":"tickle","year":"1998","journal-title":"The Truth is in There Directions and Challenges in Extracting Rules from Trained Artificial Neural Networks"},{"key":"5","author":"pecheur","year":"2002","journal-title":"V&V of Advanced Systems at NASA"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45720-8_19"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-55860-335-6.50013-1"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/72.557661"}],"event":{"name":"2005 IEEE International Joint Conference on Neural Networks, 2005.","location":"MOntreal, QC, Canada","acronym":"IJCNN-05"},"container-title":["Proceedings. 2005 IEEE International Joint Conference on Neural Networks, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10421\/33093\/01556388.pdf?arnumber=1556388","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T16:22:09Z","timestamp":1489508529000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1556388\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/ijcnn.2005.1556388","relation":{},"subject":[]}}