{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:37:15Z","timestamp":1760708235357,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/fuzzy.2010.5584193","type":"proceedings-article","created":{"date-parts":[[2010,9,29]],"date-time":"2010-09-29T14:06:18Z","timestamp":1285769178000},"page":"1-8","source":"Crossref","is-referenced-by-count":9,"title":["An efficient fuzzy unification method and its implementation into the Bousi~Prolog system"],"prefix":"10.1109","author":[{"given":"Pascual","family":"Julian-Iranzo","sequence":"first","affiliation":[]},{"given":"Clemente","family":"Rubio-Manzano","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"FuzzyClips Version 6.04A","author":"orchard","year":"1998","journal-title":"User's Guide Integrated Reasoning"},{"key":"ref11","first-page":"131","article-title":"Bousi~Prolog: a Prolog extension language for flexible query answering","volume":"248","author":"juli\u00e1n","year":"2009","journal-title":"ENTCS"},{"key":"ref12","first-page":"245","article-title":"A similarity-based WAM for Bousi~Prolog","volume":"5517","author":"juli\u00e1n","year":"2009","journal-title":"LNCS"},{"key":"ref13","article-title":"A Declarative Semantics for Bousi~Prolog","author":"juli\u00e1n","year":"2009","journal-title":"Proc of 11th Intl Symposium on PPDP'09"},{"key":"ref14","article-title":"UNICORN: A Programming Environment for Bousi~ Prolog","author":"juli\u00e1n","year":"2009","journal-title":"Proc of PROLE'09"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/321679.321688"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/FUZZ.2001.1009038"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0888-613X(89)90005-4"},{"journal-title":"A First Course in Fuzzy Logic","year":"2000","author":"nguyen","key":"ref18"},{"key":"ref19","first-page":"81","article-title":"Contextual Fuzzy Unification","author":"rios-filho","year":"1995","journal-title":"Proc of IFSA'95"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0165-0114(87)90104-7","article-title":"The implementation of FProlog - a fuzzy prolog interpreter","volume":"23","author":"baldwin","year":"1987","journal-title":"Fuzzy Sets and Systems"},{"key":"ref27","article-title":"The Concept of a Linguistic Variable and its Applications to Approximate Reasoning I, II and III.","author":"zadeh","year":"1975","journal-title":"J of Information Sciences 8 and 9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(87)90110-2"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(88)90038-3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1108\/eb005612"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/int.10067"},{"key":"ref7","first-page":"260","article-title":"Likelog: A logic programming language for flexible data retrieval","author":"fontana","year":"1999","journal-title":"Proc of the ACM SAC"},{"key":"ref2","article-title":"Fuzzy Unification Degree","volume":"18","author":"alsinet","year":"1998","journal-title":"Proc of the 2nd Intl Workshop on Logic Programming and Soft Computing'98"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"393","DOI":"10.3233\/FI-2000-41402","article-title":"Similarity-based unification","volume":"41","author":"formato","year":"2000","journal-title":"Fundam Inform"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","author":"at-kaci","year":"1991","journal-title":"Warren's Abstract Machine A Tutorial Reconstruction"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00188-8"},{"key":"ref22","first-page":"1147","article-title":"Fuzzy Unification","author":"virtanen","year":"1994","journal-title":"Proc of IPMU'94"},{"journal-title":"LPA-PROLOG Flint Reference","year":"2005","author":"shalfield","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(01)00106-3"},{"key":"ref23","first-page":"91","article-title":"Linguistic Logic Programming","author":"virtanen","year":"1998","journal-title":"Proc of the 2nd Intl Workshop on Logic Programming and Soft Computing'98"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90241-X"},{"journal-title":"An Abstract Prolog Instruction Set Technical Note 309","year":"1983","author":"warren","key":"ref25"}],"event":{"name":"2010 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2010,7,18]]},"location":"Barcelona, Spain","end":{"date-parts":[[2010,7,23]]}},"container-title":["International Conference on Fuzzy Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5573642\/5583929\/05584193.pdf?arnumber=5584193","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,12]],"date-time":"2020-06-12T03:26:40Z","timestamp":1591932400000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5584193\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/fuzzy.2010.5584193","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}