{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T10:06:35Z","timestamp":1782381995348,"version":"3.54.5"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2017,7,1]],"date-time":"2017-07-01T00:00:00Z","timestamp":1498867200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61370196"],"award-info":[{"award-number":["61370196"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61272520"],"award-info":[{"award-number":["61272520"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Research Fund for Doctoral Program of Higher Education","award":["20110005110007"],"award-info":[{"award-number":["20110005110007"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Emerg. Topics Comput."],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/tetc.2016.2531288","type":"journal-article","created":{"date-parts":[[2016,2,19]],"date-time":"2016-02-19T14:09:29Z","timestamp":1455890969000},"page":"367-379","source":"Crossref","is-referenced-by-count":23,"title":["A Rule Verification System for Smart Buildings"],"prefix":"10.1109","volume":"5","author":[{"given":"Yan","family":"Sun","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tin-Yu","family":"Wu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xinming","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohsen","family":"Guizani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1998.716699"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1185845"},{"key":"ref12","first-page":"69","article-title":"Knowledge base verification","volume":"8","author":"nguyen","year":"1987","journal-title":"AI Mag"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/69.334887"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/69.224193"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7373(92)90043-K"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/69.591448"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.896995"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2188511"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"616","DOI":"10.1109\/3477.865181","article-title":"A token-flow paradigm for verification of rule-based expert systems","volume":"30","author":"wu","year":"2000","journal-title":"IEEE Trans Syst Man Cybern B Cybern"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS.2013.74"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICTC.2012.6387131"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1049\/iet-com.2010.0615"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.2010.5416348"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2013.2293714"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2014.2345385"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICTEL.2010.5478832"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2010.2044113"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2252356"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2010.44"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10922-012-9237-1"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2009.15"},{"key":"ref20","first-page":"669","article-title":"Rule flow logic verification: A simulation based approach","author":"tian","year":"2009","journal-title":"Proc Winter Simulation Conf"},{"key":"ref22","first-page":"236","article-title":"Feature interactions in integrated services of networked home appliances—An object-oriented approach","author":"nakamura","year":"2005","journal-title":"Proc Int Conf Feature Interactions Telecommun Netw Distrib Syst"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IDC.2007.374566"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2006.08.011"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.11.002"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2008.158"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/APCC.2007.4433447"}],"container-title":["IEEE Transactions on Emerging Topics in Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6245516\/8023987\/07410028.pdf?arnumber=7410028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:41:34Z","timestamp":1641987694000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7410028\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":29,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tetc.2016.2531288","relation":{},"ISSN":["2168-6750"],"issn-type":[{"value":"2168-6750","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7]]}}}