{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:10:10Z","timestamp":1747807810661,"version":"3.41.0"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"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":[[2012,6]]},"DOI":"10.1109\/cbms.2012.6266387","type":"proceedings-article","created":{"date-parts":[[2012,9,7]],"date-time":"2012-09-07T19:57:35Z","timestamp":1347047855000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["A Consistency Checker for verifying the knowledge encoded into clinical DSSs"],"prefix":"10.1109","author":[{"given":"Eugenio","family":"Cesario","sequence":"first","affiliation":[{"name":"ICAR-CNR, Italy"}]},{"given":"Massimo","family":"Esposito","sequence":"additional","affiliation":[{"name":"ICAR-CNR, Italy"}]},{"given":"Giuseppe","family":"De Pietro","sequence":"additional","affiliation":[{"name":"ICAR-CNR, Italy"}]},{"given":"Domenico","family":"Talia","sequence":"additional","affiliation":[{"name":"ICAR-CNR, Italy"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ISDA.2009.117"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(87)80076-7"},{"key":"ref3","first-page":"114","article-title":"Experiences of using verification tools for maintenance of rule-based systems","volume-title":"Working Notes from Workshop on Validation and Verification of Knowledge-Based Systems","author":"Dahl"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0933-3657(00)00098-1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1053\/ajkd.2002.30943"},{"key":"ref6","first-page":"120","article-title":"A review of expert systems evaluation techniques","volume-title":"Workshop on Validation and Verification of Knowledge-Based Systems","author":"Grogono"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IEMBS.2006.260937"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7643-8547-7_3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-6736(06)68770-9"},{"key":"ref10","first-page":"375","article-title":"Checking an expert systems knowledge base for consistency and completeness","volume-title":"Proceedings of the 9th international joint conference on Artificial intelligence","volume":"1","author":"Nguyen"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ITAB.2009.5394341"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1373\/clinchem.2006.084707"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1136\/jamia.1997.0040382"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1177\/0272989X9401400306"},{"issue":"4","key":"ref15","article-title":"An approach to verifying completeness and consistency in a rule-based expert system","volume":"3","author":"Suwa","year":"1982","journal-title":"AI Magazine"},{"issue":"3","key":"ref16","first-page":"341","article-title":"Verification of knowledge base redundancy and subsumption using graph transformations","volume":"6","author":"Valiente","year":"1993","journal-title":"International Journal of Expert Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAI.1989.65347"}],"event":{"name":"2012 25th IEEE International Symposium on Computer-Based Medical Systems (CBMS)","start":{"date-parts":[[2012,6,20]]},"location":"Rome, Italy","end":{"date-parts":[[2012,6,22]]}},"container-title":["2012 25th IEEE International Symposium on Computer-Based Medical Systems (CBMS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6255878\/6266284\/06266387.pdf?arnumber=6266387","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:36:18Z","timestamp":1747805778000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6266387\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/cbms.2012.6266387","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}