{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T16:43:46Z","timestamp":1757781826110},"reference-count":13,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3893,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,12]]},"DOI":"10.1016\/s1571-0661(04)80516-4","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"86-103","source":"Crossref","is-referenced-by-count":1,"title":["Vague Domains, S-Unification and Logic Programming"],"prefix":"10.1016","volume":"66","author":[{"given":"Harry E.","family":"Virtanen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80516-4_NEWBIB1","first-page":"161","article-title":"Fuzzy Similitude and Approximate Reasoning","author":"Bouchon-Meunier","year":"1993"},{"key":"10.1016\/S1571-0661(04)80516-4_NEWBIB2","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/s005000050062","article-title":"A Fuzzy Approach to Analogical Reasoning","volume":"3","author":"Bouchon-Meunier","year":"1999","journal-title":"Soft Computing"},{"key":"10.1016\/S1571-0661(04)80516-4_NEWBIB3","doi-asserted-by":"crossref","unstructured":"M. Baaz, C.G. Ferm\u00fcUller,Resolution for Many-Valued Logics, Proc. Logic Programming and Automated Reasoning, LPAR'92, St. Petersburg, Russia, 1992, In Lecture Notes in Artificial Intelligence no. 624, Springer-Verlag, pp. 107\u2013118.","DOI":"10.1007\/BFb0013053"},{"issue":"No. 93","key":"10.1016\/S1571-0661(04)80516-4_NEWBIB4","first-page":"74","article-title":"A New Proof of Completeness of the Lukasiewicz Axioms","author":"Chang","year":"1959","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S1571-0661(04)80516-4_NEWBIB5","unstructured":"F. A. Fontana, F. Formato, G. Gerla, Fuzzy Unification as a Foundation of Fuzzy Logic Programming, in [10], pp. 51\u201368."},{"key":"10.1016\/S1571-0661(04)80516-4_NEWBIB6","first-page":"701","article-title":"Prolog-Elf - Incorporating Fuzzy Logic","author":"Ishizuka","year":"1985","journal-title":"Proc 9th IJCAI"},{"key":"10.1016\/S1571-0661(04)80516-4_NEWBIB7","first-page":"197","article-title":"Similarity in Fuzzy Reasoning","volume":"2","author":"Klawonn","year":"1995","journal-title":"Mathware and Soft Computing"},{"issue":"No. 1","key":"10.1016\/S1571-0661(04)80516-4_NEWBIB8","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":"Journal of the Association for Computing Machinery"},{"issue":"No 2","key":"10.1016\/S1571-0661(04)80516-4_NEWBIB9","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/357162.357169","article-title":"An efficient Unification Algorithm","volume":"Vol 4","author":"Martelli","year":"1982","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)80516-4_NEWBIB10","series-title":"Logic Programming and Soft Computing","year":"1998"},{"key":"10.1016\/S1571-0661(04)80516-4_NEWBIB11","unstructured":"H.E. Virtanen, A Study in Fuzzy Logic Programming, in Cybernetics and Systems'94, Proceeding of the 12th European Meeting on Cybernetics and Systems Research, Editor R. Trappl, Vienna, Austria, April 5-8, 1994, pp 249\u2013256"},{"key":"10.1016\/S1571-0661(04)80516-4_NEWBIB12","unstructured":"H. E. Virtanen, Fuzzy Unification, in Proc. 5th IPMU'94, Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France July 4-8, 1994, pp. 1147\u20131152"},{"issue":"No. 2","key":"10.1016\/S1571-0661(04)80516-4_NEWBIB13","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0888-613X(87)90015-6","article-title":"Measures of Similarity Among Fuzzy Concepts: A Comparative Analysis","volume":"Vol 1","author":"Zwick","year":"1987","journal-title":"Int. Jou. of Approximate Reasoning"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805164?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805164?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:54:57Z","timestamp":1549191297000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104805164"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":13,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["S1571066104805164"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80516-4","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}