{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T14:02:16Z","timestamp":1760709736269,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1109\/fuzz-ieee.2018.8491593","type":"proceedings-article","created":{"date-parts":[[2018,10,19]],"date-time":"2018-10-19T18:18:38Z","timestamp":1539973118000},"page":"1-8","source":"Crossref","is-referenced-by-count":6,"title":["An Efficient Proximity-based Unification Algorithm<sup>\u22c6<\/sup>"],"prefix":"10.1109","author":[{"given":"Pascual","family":"Julian-Iranzo","sequence":"first","affiliation":[]},{"given":"Fernando","family":"Saenz-Perez","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2016.12.016"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1599410.1599430"},{"key":"ref12","first-page":"658","article-title":"An Efficient Fuzzy Unification Method and its Implementation into the Bousi?Prolog System","author":"juli\u00e1n-iranzo","year":"2010","journal-title":"in 2010 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2010)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/357162.357169"},{"journal-title":"A First Course in Fuzzy Logic","year":"2000","author":"nguyen","key":"ref15"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"1503","DOI":"10.3233\/IFS-130834","article-title":"Fuzzy Linguistic Prolog and its Applications","volume":"26","author":"rubio-manzano","year":"2014","journal-title":"Journal of Intelligent and Fuzzy Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00188-8"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.06.015"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/int.10067"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2543629"},{"key":"ref6","first-page":"397","author":"formato","year":"1999","journal-title":"APPIA-GULP-PRODE"},{"key":"ref5","article-title":"Similitude-based unification as a foundation of fuzzy logic programming","author":"fontana","year":"1996","journal-title":"Workshop of Logic Programming and Soft Computing"},{"key":"ref8","first-page":"1","article-title":"Fuzzydes or how DES met bousi-prolog","author":"iranzo","year":"2017","journal-title":"2017 IEEE International Conference on Fuzzy Systems FUZZ-IEEE 2017"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2000-41402"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/362342.362367"},{"key":"ref1","first-page":"493","article-title":"Introduction to Logic Programming","author":"apt","year":"1990","journal-title":"Handbook of Theoretical Computer Science"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2014.07.006"}],"event":{"name":"2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2018,7,8]]},"location":"Rio de Janeiro","end":{"date-parts":[[2018,7,13]]}},"container-title":["2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8466242\/8491438\/08491593.pdf?arnumber=8491593","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T23:00:45Z","timestamp":1598223645000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8491593\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/fuzz-ieee.2018.8491593","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}