{"id":"https://openalex.org/W2105003396","doi":"https://doi.org/10.1109/fuzzy.2010.5584193","title":"An efficient fuzzy unification method and its implementation into the Bousi~Prolog system","display_name":"An efficient fuzzy unification method and its implementation into the Bousi~Prolog system","publication_year":2010,"publication_date":"2010-07-01","ids":{"openalex":"https://openalex.org/W2105003396","doi":"https://doi.org/10.1109/fuzzy.2010.5584193","mag":"2105003396"},"language":"en","primary_location":{"id":"doi:10.1109/fuzzy.2010.5584193","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fuzzy.2010.5584193","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conference on Fuzzy Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/1268749","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028925247","display_name":"Pascual Juli\u00e1n-Iranzo","orcid":"https://orcid.org/0000-0002-6482-3220"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Pascual Julian-Iranzo","raw_affiliation_strings":["Department of Information Technologies and Systems, University of Castilla La Mancha, Ciudad Real, Spain","Dept. of Information Technologies and Systems, University of Castilla La Mancha, Paseo de la Universidad 4, 13071 Ciudad Real, Spain#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Information Technologies and Systems, University of Castilla La Mancha, Ciudad Real, Spain","institution_ids":["https://openalex.org/I79189158"]},{"raw_affiliation_string":"Dept. of Information Technologies and Systems, University of Castilla La Mancha, Paseo de la Universidad 4, 13071 Ciudad Real, Spain#TAB#","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053635560","display_name":"Clemente Rubio-Manzano","orcid":"https://orcid.org/0000-0001-5832-070X"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Clemente Rubio-Manzano","raw_affiliation_strings":["Department of Information Technologies and Systems, University of Castilla La Mancha, Ciudad Real, Spain","Dept. of Information Technologies and Systems, University of Castilla La Mancha, Paseo de la Universidad 4, 13071 Ciudad Real, Spain#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Information Technologies and Systems, University of Castilla La Mancha, Ciudad Real, Spain","institution_ids":["https://openalex.org/I79189158"]},{"raw_affiliation_string":"Dept. of Information Technologies and Systems, University of Castilla La Mancha, Paseo de la Universidad 4, 13071 Ciudad Real, Spain#TAB#","institution_ids":["https://openalex.org/I79189158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5028925247"],"corresponding_institution_ids":["https://openalex.org/I79189158"],"apc_list":null,"apc_paid":null,"fwci":1.8782,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.88050636,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.7895382642745972},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.7793295383453369},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6623862385749817},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5451913475990295},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.5432828664779663},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5428417325019836},{"id":"https://openalex.org/keywords/fuzzy-control-language","display_name":"Fuzzy Control Language","score":0.5167843103408813},{"id":"https://openalex.org/keywords/fuzzy-set-operations","display_name":"Fuzzy set operations","score":0.4590301811695099},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.41296637058258057},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4109199643135071},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35408902168273926},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.349761962890625}],"concepts":[{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.7895382642745972},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.7793295383453369},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6623862385749817},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5451913475990295},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.5432828664779663},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5428417325019836},{"id":"https://openalex.org/C125228749","wikidata":"https://www.wikidata.org/wiki/Q5511064","display_name":"Fuzzy Control Language","level":5,"score":0.5167843103408813},{"id":"https://openalex.org/C148671577","wikidata":"https://www.wikidata.org/wiki/Q5511133","display_name":"Fuzzy set operations","level":4,"score":0.4590301811695099},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.41296637058258057},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4109199643135071},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35408902168273926},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.349761962890625}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/fuzzy.2010.5584193","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fuzzy.2010.5584193","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conference on Fuzzy Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:zenodo.org:1268749","is_oa":true,"landing_page_url":"https://zenodo.org/record/1268749","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:1268749","is_oa":true,"landing_page_url":"https://zenodo.org/record/1268749","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.6800000071525574,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W79760435","https://openalex.org/W1590783430","https://openalex.org/W1849827041","https://openalex.org/W1973470183","https://openalex.org/W1974338077","https://openalex.org/W1984723670","https://openalex.org/W2018056115","https://openalex.org/W2051677363","https://openalex.org/W2053980763","https://openalex.org/W2057066113","https://openalex.org/W2063238431","https://openalex.org/W2072203301","https://openalex.org/W2078040181","https://openalex.org/W2097589612","https://openalex.org/W2128386928","https://openalex.org/W2142772413","https://openalex.org/W2157041604","https://openalex.org/W2229774222","https://openalex.org/W2912565176","https://openalex.org/W4211007335"],"related_works":["https://openalex.org/W2392892093","https://openalex.org/W4205459073","https://openalex.org/W1999702466","https://openalex.org/W1481700938","https://openalex.org/W2741053223","https://openalex.org/W1493824320","https://openalex.org/W592311106","https://openalex.org/W4319165641","https://openalex.org/W1516362967","https://openalex.org/W2053980763"],"abstract_inverted_index":{"Bousi~Prolog":[0,122,207],"is":[1,10,21,59,81,146,152,186,192],"a":[2,22,40,46,91,111,147,165,196,222],"fuzzy":[3,41,56,88,93,105,157,175,231],"logic":[4],"programming":[5,64],"language":[6,208],"whose":[7],"main":[8],"objective":[9],"to":[11,62,82,127,225],"make":[12],"flexible":[13],"the":[14,25,31,50,84,96,117,121,142,153,162,190,202,206,226],"query":[15],"answering":[16],"process.":[17],"Its":[18],"operational":[19,68,203],"mechanism":[20,119],"extension":[23],"of":[24,52,74,98,120,164,170,183,205],"SLD-resolution":[26],"(called":[27],"weak":[28,75,178],"resolution)":[29],"where":[30],"classical":[32],"syntactic":[33,138],"unification":[34,51,118],"algorithm":[35],"has":[36],"been":[37],"replaced":[38],"by":[39,87,168,229],"one.":[42],"This":[43,145],"paper":[44],"presents":[45],"generic":[47],"method":[48],"for":[49],"linguistic":[53,101,129],"terms":[54],"(i.e.":[55],"sets)":[57],"which":[58],"also":[60],"applicable":[61],"other":[63,137,230],"languages":[65],"with":[66,135,177,210],"an":[67,132],"semantics":[69,204],"based":[70],"on":[71,95,131],"some":[72],"kind":[73],"resolution":[76],"mechanism.":[77],"The":[78],"basic":[79],"idea":[80],"compile":[83],"information":[85],"provided":[86],"sets,":[89],"generating":[90],"binary":[92],"relation":[94,106],"set":[97],"their":[99],"associated":[100],"labels.":[102],"Subsequently,":[103],"this":[104,184],"can":[107],"be":[108],"used":[109,228],"in":[110,141,195,221],"standard,":[112],"completely":[113],"integrated":[114],"way":[115,199],"inside":[116],"system,":[123],"what":[124],"allows":[125],"us":[126],"handle":[128],"labels":[130],"equal":[133],"basis":[134],"regard":[136],"symbols":[139],"occurring":[140],"source":[143],"program.":[144],"novel":[148],"approach":[149,185,220],"because":[150],"it":[151],"first":[154],"time":[155],"that":[156],"sets":[158],"are":[159],"introduced":[160],"into":[161],"core":[163],"Prolog":[166,232],"system":[167],"means":[169],"compilation":[171],"techniques":[172,227],"and":[173,209],"combining":[174],"relations":[176],"unification.":[179],"An":[180],"important":[181],"feature":[182],"its":[187],"simplicity,":[188],"since":[189],"inclusion":[191],"carried":[193],"out":[194],"very":[197,211],"natural":[198],"without":[200],"affecting":[201],"few":[212],"syntactical":[213],"modifications.":[214],"All":[215],"these":[216],"reasons":[217],"convert":[218],"our":[219],"good":[223],"alternative":[224],"systems.":[233]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}