{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:23Z","timestamp":1725663563274},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540194026"},{"type":"electronic","value":"9783540392552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19402-9_74","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:07:37Z","timestamp":1330182457000},"page":"201-208","source":"Crossref","is-referenced-by-count":1,"title":["Checking a rule base with certainty factor for incompleteness and inconsistency"],"prefix":"10.1007","author":[{"given":"Sangchul","family":"Kim","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"26_CR1","volume-title":"Computer-based Medical Consultations: MYCIN","author":"E. H. Shorliffe","year":"1976","unstructured":"Shorliffe, E. H., \"Computer-based Medical Consultations: MYCIN\", Elsevier\/North-Holland, New York, 1976"},{"key":"26_CR2","unstructured":"Nguyen, T. A., Perkins, W. A., Laffey, T. J., Pecora, D., \"Checking an Expert Systems Knowledge Base For Consistency and Completeness\", IJCAI, 1985"},{"key":"26_CR3","unstructured":"Raatz, S., Drastal, G., \"Rule Interaction in Expert System Knowledge Bases\", CSCSI, 1986"},{"key":"26_CR4","unstructured":"Lim, E. L., Tsang, W. W., McCallum, J., \"Graph model for checking consistency and completeness of production rules\", TRB8\/86, Department of Computer Science, NUS, 1986"},{"key":"26_CR5","unstructured":"Suwa, M., Scott, A. C. and Shorliffe, E. H., \"An approach to verifying completeness and consistency in a rule-based expert system\", AI Magazine, Vol 3, no 3, Fall 1982"},{"key":"26_CR6","unstructured":"S. C. Kim, J. W. Yang, \"the Specification of UNIX File Management Expert Prototype\", TM87-1240-46, Computer Development Division, ETRI, 1987."}],"container-title":["Lecture Notes in Computer Science","Uncertainty and Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19402-9_74.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:20:48Z","timestamp":1619544048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19402-9_74"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540194026","9783540392552"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-19402-9_74","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}