{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:30Z","timestamp":1725663330692},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540506676"},{"type":"electronic","value":"9783540460633"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50667-5_73","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:30:06Z","timestamp":1330183806000},"page":"214-222","source":"Crossref","is-referenced-by-count":1,"title":["Fuzzy reasoning based on f-horn clause rules"],"prefix":"10.1007","author":[{"given":"Dongbo","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deyi","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L. A. Zadeh","year":"1965","unstructured":"Zadeh, L. A., \"Fuzzy Sets\", Inform, and Control 8: 338\u2013353 (1965)","journal-title":"Inform, and Control"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","volume":"1","author":"L. A. Zadeh","year":"1978","unstructured":"Zadeh, L. A., \"Fuzzy Sets as a Bases for a Theory of Possibility\", FSS. 1 (1978): 3\u201328","journal-title":"FSS."},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"van Emden, M. H. and Kowalski, R. A., \"The Semantics of Logic as a Programming Language\". J. Assoc. Comput. Mach. 23: 733\u2013742 (1976)","journal-title":"J. Assoc. Comput. Mach."},{"key":"21_CR4","volume-title":"Computer Based Medical Consultations: MYCIN","author":"E. Shortliffe","year":"1976","unstructured":"Shortliffe, E., \"Computer Based Medical Consultations: MYCIN\" American Elsevier, New York, 1976"},{"key":"21_CR5","series-title":"Proc. IFIP","first-page":"569","volume-title":"Predicate Logic as Programming Language","author":"R. A. Kowalski","year":"1974","unstructured":"R. A. Kowalski, \"Predicate Logic as Programming Language\", Proc. IFIP 74, North Holland, Amsterdam, 1974, 569\u2013574"},{"key":"21_CR6","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C. L. Chang","year":"1973","unstructured":"Chang, C. L., and Lee, R. C. T., \"Symbolic Logic and Mechanical Theorem Proving\", New York, Academic Press, 1973."},{"issue":"1","key":"21_CR7","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"Robinson, J. A., \"A Machine-oriented Logic Based on the Resolution Principl\u00e9\". J. ACM 12, 1 (Jan. 1965), 23\u201341","journal-title":"J. ACM"},{"key":"21_CR8","unstructured":"Winston, P. H., \"Artifical Intelligence\". Addison-Wesley, 1978"},{"key":"21_CR9","first-page":"26","volume":"5","author":"D. Liu","year":"1988","unstructured":"Dongbo Liu and Deyi Li, \"Fuzzy PROLOG and Expert Systems\", Min-Micro Computer System, 5 (1988), 26\u201331 (In Chinese)","journal-title":"Min-Micro Computer System"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50667-5_73","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,2]],"date-time":"2019-02-02T07:51:49Z","timestamp":1549093909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50667-5_73"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540506676","9783540460633"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-50667-5_73","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}