{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T17:58:44Z","timestamp":1769018324661,"version":"3.49.0"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Knowl. Data Eng."],"published-print":{"date-parts":[[2003,3]]},"DOI":"10.1109\/tkde.2003.1185845","type":"journal-article","created":{"date-parts":[[2003,3,13]],"date-time":"2003-03-13T19:56:46Z","timestamp":1047585406000},"page":"457-473","source":"Crossref","is-referenced-by-count":44,"title":["Fuzzy rule base systems verification using high-level petri nets"],"prefix":"10.1109","volume":"15","author":[{"given":"S.J.H.","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.J.P.","family":"Tsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Chyun-Chyi Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7373(92)90043-K"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/21.384255"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/91.277962"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/21.376489"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/69.60794"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1995.375559"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1999.814327"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/69.494164"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-84524-6_2"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/69.485639"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MEX.1986.5006493"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/69.224194"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/int.4550060303"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1987.6499319"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/21.87067"},{"key":"ref16","first-page":"437","article-title":"A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach","volume-title":"Proc. Ninth European Conf. AI","author":"Meseguer"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/175247.175254"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/32.4671"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/69.91059"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(89)80002-1"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/69.224193"},{"issue":"49","key":"ref23","first-page":"69","article-title":"Knowledge Base Verification","volume-title":"AI Magazine","author":"Nguyen","year":"1987"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(80)90032-0"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/32.21746"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/69.591448"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/91.531771"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538116"},{"key":"ref29","first-page":"16","article-title":"An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System","volume-title":"AI Magazine","author":"Suwa","year":"1982"},{"issue":"3","key":"ref30","first-page":"341","article-title":"Verification of Knowledge Based Redundancy and Subsumption Using Graph Transformations","volume":"6","author":"Valiente","year":"1993","journal-title":"Int\u2019l J. Expert Systems"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/64.621230"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/3477.623230"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/3477.865181"},{"key":"ref34","first-page":"23","article-title":"The Calculus of Fuzzy If\/Then Rules","author":"Zadeh","year":"1992","journal-title":"AI Expert"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/69.334887"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1997.625031"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1998.716699"}],"container-title":["IEEE Transactions on Knowledge and Data Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/69\/26607\/01185845.pdf?arnumber=1185845","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:00:13Z","timestamp":1742097613000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1185845\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,3]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,3]]}},"URL":"https:\/\/doi.org\/10.1109\/tkde.2003.1185845","relation":{},"ISSN":["1041-4347"],"issn-type":[{"value":"1041-4347","type":"print"}],"subject":[],"published":{"date-parts":[[2003,3]]}}}