{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T18:05:46Z","timestamp":1710266746763},"reference-count":30,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1995,8,1]],"date-time":"1995-08-01T00:00:00Z","timestamp":807235200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowledge-Based Systems"],"published-print":{"date-parts":[[1995,8]]},"DOI":"10.1016\/0950-7051(95)96214-c","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T02:24:36Z","timestamp":1027650276000},"page":"174-182","source":"Crossref","is-referenced-by-count":6,"title":["Towards a fuzzy logic programming system: a clausal form fuzzy logic"],"prefix":"10.1016","volume":"8","author":[{"given":"P.C.","family":"Rhodes","sequence":"first","affiliation":[]},{"given":"S.","family":"Merad-Menani","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0950-7051(95)96214-C_BIB1","series-title":"Programming in Prolog","author":"Clocksin","year":"1984"},{"key":"10.1016\/0950-7051(95)96214-C_BIB2","first-page":"149","article-title":"A theory of approximate reasoning","volume":"Vol 9","author":"Zadeh","year":"1979","journal-title":"Machine Intelligence"},{"key":"10.1016\/0950-7051(95)96214-C_BIB3","series-title":"Learning Systems and Intelligent Robots","first-page":"1","article-title":"The concept of a linguistic variable and its application to approximate reasoning","author":"Zadeh","year":"1974"},{"key":"10.1016\/0950-7051(95)96214-C_BIB4","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0165-0114(83)80081-5","article-title":"The role of fuzzy logic in the management of uncertainty in expert systems","volume":"Vol 11","author":"Zadeh","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/0950-7051(95)96214-C_BIB5","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","article-title":"Fuzzy sets","volume":"Vol 8","author":"Zadeh","year":"1965","journal-title":"Information and Control"},{"key":"10.1016\/0950-7051(95)96214-C_BIB6","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1016\/0165-0114(78)90029-5","article-title":"Fuzzy sets as a basis for a theory of possibility","volume":"Vol 1","author":"Zadeh","year":"1978","journal-title":"Fuzzy Sets and Systems"},{"issue":"No 1","key":"10.1016\/0950-7051(95)96214-C_BIB7","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/321679.321688","article-title":"Fuzzy logic and the resolution principle","volume":"Vol 19","author":"Lee","year":"1972","journal-title":"J. ACM"},{"key":"10.1016\/0950-7051(95)96214-C_BIB8","series-title":"Proc. 15th Int. Symp. Multiple Valued Logic","first-page":"68","article-title":"Operator fuzzy logic and fuzzy resolution","author":"Lui","year":"1985"},{"key":"10.1016\/0950-7051(95)96214-C_BIB9","article-title":"An implementation of F.R.I.L.","author":"Baldwin","year":"1983"},{"key":"10.1016\/0950-7051(95)96214-C_BIB10","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0165-0114(84)90098-8","article-title":"A fuzzy rational inference language","volume":"Vol 14","author":"Baldwin","year":"1984","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/0950-7051(95)96214-C_BIB11","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1016\/S0020-7373(86)80009-8","article-title":"Fuzzy Prolog","volume":"Vol 24","author":"Hinde","year":"1986","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/0950-7051(95)96214-C_BIB12","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0165-0114(87)90104-7","article-title":"The implementation of FPROLOG \u2014 a fuzzy PROLOG interpreter","volume":"Vol 23","author":"Martin","year":"1987","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/0950-7051(95)96214-C_BIB13","series-title":"COMSAC 86 Proc. 10th Anniversary Conf. IEEE Comput. Soc.","first-page":"154","article-title":"Fuzzy reasoning based on lambda-LH-resolution","author":"Liu","year":"1986"},{"key":"10.1016\/0950-7051(95)96214-C_BIB14","series-title":"Proc. North American Fuzzy Inf. Soc.","first-page":"516","article-title":"Concerning some axioms for a fragment of approximate reasoning","author":"Schwartz","year":"1986"},{"key":"10.1016\/0950-7051(95)96214-C_BIB15","series-title":"Proc. 10th Int. Joint Conf. AI","first-page":"984","article-title":"Theorem proving under uncertainty \u2014 a possibility theory-based approach","author":"Dubois","year":"1987"},{"issue":"No 3","key":"10.1016\/0950-7051(95)96214-C_BIB16","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1109\/TSMC.1987.4309063","article-title":"Necessity measures and the resolution principle","volume":"Vol SMC-17","author":"Dubois","year":"1987","journal-title":"IEEE Trans. Syst. Man & Cyber."},{"key":"10.1016\/0950-7051(95)96214-C_BIB17","series-title":"Proc. 18th Int. Symp. Multiple Valued Logic","first-page":"210","article-title":"Fuzzy resolution principle","author":"Shen","year":"1988"},{"key":"10.1016\/0950-7051(95)96214-C_BIB18","article-title":"A theory for a fuzzy logic programming system","author":"Menani","year":"1991"},{"issue":"No 1","key":"10.1016\/0950-7051(95)96214-C_BIB19","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0950-7051(91)90045-4","article-title":"Towards a fuzzy logic programming system: a fuzzy propositional logic","volume":"Vol 4","author":"Rhodes","year":"1991","journal-title":"Knowledge-Based Systems"},{"issue":"No 2","key":"10.1016\/0950-7051(95)96214-C_BIB20","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1016\/0950-7051(92)90001-V","article-title":"Towards a fuzzy logic programming system: a 1st-order fuzzy logic","volume":"Vol 5","author":"Rhodes","year":"1992","journal-title":"Knowledge-Based Systems"},{"key":"10.1016\/0950-7051(95)96214-C_BIB21","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1016\/S0020-7373(79)80038-3","article-title":"Fuzzy logic and fuzzy reasoning","volume":"Vol 11","author":"Baldwin","year":"1979","journal-title":"International Journal of Man-Machine Studies"},{"issue":"No 3","key":"10.1016\/0950-7051(95)96214-C_BIB22","doi-asserted-by":"crossref","first-page":"173","DOI":"10.3109\/14639238309016081","article-title":"Linguistic variables, approximate reasoning and disposition","volume":"Vol 18","author":"Zadeh","year":"1983","journal-title":"Med. Inf."},{"key":"10.1016\/0950-7051(95)96214-C_BIB23","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/S0020-7373(79)80031-0","article-title":"Fuzzy logic and approximate reasoning for mixed input arguments","volume":"Vol 11","author":"Baldwin","year":"1979","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/0950-7051(95)96214-C_BIB24","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0020-7373(79)80037-1","article-title":"Fuzzy truth definition of probability measures for decision classification","volume":"Vol 11","author":"Baldwin","year":"1979","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/0950-7051(95)96214-C_BIB25","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1016\/S0020-7373(79)80030-9","article-title":"A model of fuzzy reasoning through multi-valued logic and set theory","volume":"Vol 11","author":"Baldwin","year":"1979","journal-title":"International Journal of Man Machine Studies"},{"key":"10.1016\/0950-7051(95)96214-C_BIB26","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0165-0114(79)90004-6","article-title":"A new approach to approximate reasoning using fuzzy logic","volume":"Vol 2","author":"Baldwin","year":"1979","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/0950-7051(95)96214-C_BIB27","series-title":"IEEE Proc. 9th Int. Symp. on Multi-Valued Logic","first-page":"53","article-title":"A theory of fuzzy probability","author":"Baldwin","year":"1979"},{"key":"10.1016\/0950-7051(95)96214-C_BIB28","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0165-0114(80)90054-8","article-title":"Axiomatic approach to implication for approximate reasoning with fuzzy logic","volume":"Vol 3","author":"Baldwin","year":"1980","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/0950-7051(95)96214-C_BIB29","series-title":"IEEE. Proc. 11th Symp. on Multi-Valued Logic","first-page":"100","article-title":"Fuzzy reasoning with probability","author":"Baldwin","year":"1981"},{"key":"10.1016\/0950-7051(95)96214-C_BIB30","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0165-0114(86)90003-5","article-title":"Automated fuzzy and probabilistic inference","volume":"Vol 18","author":"Baldwin","year":"1986","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095070519596214C?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095070519596214C?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T16:56:39Z","timestamp":1555260999000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/095070519596214C"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,8]]},"references-count":30,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1995,8]]}},"alternative-id":["095070519596214C"],"URL":"https:\/\/doi.org\/10.1016\/0950-7051(95)96214-c","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[1995,8]]}}}