{"id":"https://openalex.org/W2028103213","doi":"https://doi.org/10.15439/2014f387","title":"Fuzzy Logic Rules Modeling Similarity-based Strict Equality","display_name":"Fuzzy Logic Rules Modeling Similarity-based Strict Equality","publication_year":2014,"publication_date":"2014-09-29","ids":{"openalex":"https://openalex.org/W2028103213","doi":"https://doi.org/10.15439/2014f387","mag":"2028103213"},"language":"en","primary_location":{"id":"doi:10.15439/2014f387","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2014f387","pdf_url":null,"source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.15439/2014f387","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5106028690","display_name":"Gin\u00e9s Moreno","orcid":"https://orcid.org/0000-0001-5522-3496"},"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":"Gin\u00e9s Moreno","raw_affiliation_strings":["Faculty of Computer Science Engineering, University of Castilla-La Mancha, Albacete (02071), Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science Engineering, University of Castilla-La Mancha, Albacete (02071), Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010725717","display_name":"Jaime Penabad","orcid":null},"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":"Jaime Penabad","raw_affiliation_strings":["Faculty of Computer Science Engineering, University of Castilla-La Mancha, Albacete (02071), Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science Engineering, University of Castilla-La Mancha, Albacete (02071), Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101880955","display_name":"Carlos Renato V\u00e1zquez","orcid":"https://orcid.org/0000-0003-4191-4143"},"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":"Carlos V\u00e1zquez","raw_affiliation_strings":["Faculty of Computer Science Engineering, University of Castilla-La Mancha, Albacete (02071), Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science Engineering, University of Castilla-La Mancha, Albacete (02071), Spain","institution_ids":["https://openalex.org/I79189158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5106028690"],"corresponding_institution_ids":["https://openalex.org/I79189158"],"apc_list":null,"apc_paid":null,"fwci":0.5133,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.64396709,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"2","issue":null,"first_page":"119","last_page":"128"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"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.9995999932289124,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9908999800682068,"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/prolog","display_name":"Prolog","score":0.8007186651229858},{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.7207828164100647},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.6953638792037964},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.6463335752487183},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6362453699111938},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6026257872581482},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.5960832834243774},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.5432215929031372},{"id":"https://openalex.org/keywords/fuzzy-control-language","display_name":"Fuzzy Control Language","score":0.4773697555065155},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46489161252975464},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4414808750152588},{"id":"https://openalex.org/keywords/functional-logic-programming","display_name":"Functional logic programming","score":0.4106357991695404},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35922104120254517},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.34613046050071716},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.31991368532180786},{"id":"https://openalex.org/keywords/fuzzy-set-operations","display_name":"Fuzzy set operations","score":0.3010244369506836},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.27257657051086426},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.1802644431591034}],"concepts":[{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.8007186651229858},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.7207828164100647},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6953638792037964},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.6463335752487183},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6362453699111938},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6026257872581482},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.5960832834243774},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.5432215929031372},{"id":"https://openalex.org/C125228749","wikidata":"https://www.wikidata.org/wiki/Q5511064","display_name":"Fuzzy Control Language","level":5,"score":0.4773697555065155},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46489161252975464},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4414808750152588},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.4106357991695404},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35922104120254517},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.34613046050071716},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.31991368532180786},{"id":"https://openalex.org/C148671577","wikidata":"https://www.wikidata.org/wiki/Q5511133","display_name":"Fuzzy set operations","level":4,"score":0.3010244369506836},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.27257657051086426},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.1802644431591034}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.15439/2014f387","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2014f387","pdf_url":null,"source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.653.3492","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.653.3492","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://fedcsis.org/proceedings/2014/pliks/387.pdf","raw_type":"text"},{"id":"pmh:oai:doaj.org/article:1548d36fbc0c4d42b37bfb23ebf98c11","is_oa":false,"landing_page_url":"https://doaj.org/article/1548d36fbc0c4d42b37bfb23ebf98c11","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Annals of computer science and information systems, Vol 2, Pp 119-128 (2014)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.15439/2014f387","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2014f387","pdf_url":null,"source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.5400000214576721,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W6492780","https://openalex.org/W33192930","https://openalex.org/W87250395","https://openalex.org/W122588048","https://openalex.org/W151391846","https://openalex.org/W1523712082","https://openalex.org/W1528500212","https://openalex.org/W1541434994","https://openalex.org/W1558959671","https://openalex.org/W1578451667","https://openalex.org/W1593843499","https://openalex.org/W1603461658","https://openalex.org/W1695640212","https://openalex.org/W1973470183","https://openalex.org/W1974338077","https://openalex.org/W1983937740","https://openalex.org/W2019529630","https://openalex.org/W2028137109","https://openalex.org/W2057066113","https://openalex.org/W2065881354","https://openalex.org/W2072203301","https://openalex.org/W2086169736","https://openalex.org/W2102885020","https://openalex.org/W2113788696","https://openalex.org/W2142772413","https://openalex.org/W2409610629","https://openalex.org/W2950891592","https://openalex.org/W3105758438","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W3004782279","https://openalex.org/W2060445097","https://openalex.org/W1559321437","https://openalex.org/W1980428548","https://openalex.org/W76619263","https://openalex.org/W1879548647","https://openalex.org/W2110317952","https://openalex.org/W2052701393","https://openalex.org/W4205481509","https://openalex.org/W2286281461"],"abstract_inverted_index":{"Abstract\u2014A":[0],"classical,":[1],"but":[2,188],"even":[3,220],"nowadays":[4],"challenging":[5],"research":[6],"topic":[7],"in":[8,12,62,83,120,155,183,191,198,213],"declarative":[9,37],"programming,":[10],"consists":[11],"the":[13,23,54,75,113,195,214,222,230],"design":[14],"of":[15,18,56,79,129,139,150,168,172,216,226,236],"powerful":[16],"notions":[17],"\u201cequality\u201d,":[19],"as":[20,89,126],"occurs":[21],"with":[22,112,135],"flexible":[24,77],"(fuzzy)":[25],"and":[26,66,70,91],"efficient":[27],"(lazy)":[28],"model":[29],"that":[30],"we":[31,109,145],"have":[32],"recently":[33],"proposed":[34],"for":[35],"hybrid":[36],"languages":[38,87,202],"amalgamating":[39],"functional-fuzzy-logic":[40],"features.":[41],"The":[42,175],"crucial":[43],"idea":[44],"is":[45],"that,":[46],"by":[47,71,166],"extending":[48],"at":[49,105,160],"a":[50,136,161,169],"very":[51,162],"low":[52],"cost":[53],"notion":[55,149],"\u201cstrict":[57],"equality":[58,81],"\u201d":[59],"typically":[60],"used":[61,82],"lazy":[63],"functional":[64],"(HASKELL)":[65],"functional-logic":[67],"(CURRY)":[68],"languages,":[69],"relaxing":[72],"it":[73,159],"to":[74,157],"more":[76,209],"one":[78],"similarity-based":[80],"modern":[84],"fuzzy-logic":[85],"programming":[86],"(such":[88],"LIKELOG":[90],"BOUSI\u223cPROLOG),":[92],"similarity":[93,205],"relations":[94,206],"can":[95,123,179],"be":[96,124,180],"successfully":[97],"treated":[98],"while":[99],"mathematical":[100],"functions":[101],"are":[102,110],"lazily":[103],"evaluated":[104],"execution":[106],"time.":[107],"Now,":[108],"concerned":[111],"so-called":[114],"Multi-Adjoint":[115],"Logic":[116],"Programming":[117],"approach,":[118],"MALP":[119,173,227],"brief,":[121],"which":[122],"seen":[125],"an":[127],"enrichment":[128],"PROLOG":[130],"based":[131,203],"on":[132,204,229],"weighted":[133],"rules":[134],"wide":[137],"range":[138],"fuzzy":[140,200],"connectives.":[141],"In":[142],"this":[143],"work,":[144],"revisit":[146],"our":[147,192],"initial":[148],"SSE":[151],"(Similarity-based":[152],"Strict":[153],"Equality)":[154],"order":[156],"re-model":[158],"high":[163],"abstraction":[164],"level":[165],"means":[167],"simple":[170],"set":[171],"rules.":[174],"resulting":[176],"technique":[177],"(which":[178],"tested":[181],"on-line":[182],"dectau.uclm.es/sse)":[184],"not":[185],"only":[186],"simulates,":[187],"also":[189],"surpass":[190],"target":[193],"framework,":[194],"effects":[196],"obtained":[197],"other":[199],"logic":[201],"(with":[207],"much":[208],"complex/reinforced":[210],"unification":[211,234],"algorithms":[212],"core":[215],"their":[217],"procedural":[218],"principles),":[219],"when":[221],"current":[223],"operational":[224],"semantics":[225],"relies":[228],"simpler,":[231],"purely":[232],"syntactic":[233],"method":[235],"PROLOG.":[237]},"counts_by_year":[{"year":2015,"cited_by_count":2}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}