{"id":"https://openalex.org/W2295467019","doi":"https://doi.org/10.14279/tuj.eceasst.55.820","title":"String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations","display_name":"String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations","publication_year":2024,"publication_date":"2024-03-25","ids":{"openalex":"https://openalex.org/W2295467019","doi":"https://doi.org/10.14279/tuj.eceasst.55.820","mag":"2295467019"},"language":"en","primary_location":{"id":"doi:10.14279/tuj.eceasst.55.820","is_oa":true,"landing_page_url":"https://doi.org/10.14279/tuj.eceasst.55.820","pdf_url":null,"source":{"id":"https://openalex.org/S7407052985","display_name":"Technische Universit\u00e4t Berlin \u2013 Universit\u00e4tsbibliothek","issn_l":null,"issn":[],"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.14279/tuj.eceasst.55.820","any_repository_has_fulltext":true},"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":"Moreno, Gines","raw_affiliation_strings":["DEPARTMENT OF COMPUTING SYSTEMS UNIVERSITY OF CASTILLA-LA MANCHA","DEPARTMENT OF COMPUTING SYSTEMS#R##N#UNIVERSITY OF CASTILLA-LA MANCHA"],"affiliations":[{"raw_affiliation_string":"DEPARTMENT OF COMPUTING SYSTEMS UNIVERSITY OF CASTILLA-LA MANCHA","institution_ids":["https://openalex.org/I79189158"]},{"raw_affiliation_string":"DEPARTMENT OF COMPUTING SYSTEMS#R##N#UNIVERSITY OF CASTILLA-LA MANCHA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026605469","display_name":"Pedro J. Morcillo","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":"Morcillo, Pedro","raw_affiliation_strings":["DEPARTMENT OF COMPUTING SYSTEMS UNIVERSITY OF CASTILLA-LA MANCHA","DEPARTMENT OF COMPUTING SYSTEMS#R##N#UNIVERSITY OF CASTILLA-LA MANCHA"],"affiliations":[{"raw_affiliation_string":"DEPARTMENT OF COMPUTING SYSTEMS UNIVERSITY OF CASTILLA-LA MANCHA","institution_ids":["https://openalex.org/I79189158"]},{"raw_affiliation_string":"DEPARTMENT OF COMPUTING SYSTEMS#R##N#UNIVERSITY OF CASTILLA-LA MANCHA","institution_ids":[]}]},{"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":"Penabad, Jaime","raw_affiliation_strings":["DEPARTMENT OF MATHEMATICS UNIVERSITY OF CASTILLA-LA MANCHA","DEPARTMENT OF MATHEMATICS#R##N#UNIVERSITY OF CASTILLA-LA MANCHA"],"affiliations":[{"raw_affiliation_string":"DEPARTMENT OF MATHEMATICS UNIVERSITY OF CASTILLA-LA MANCHA","institution_ids":["https://openalex.org/I79189158"]},{"raw_affiliation_string":"DEPARTMENT OF MATHEMATICS#R##N#UNIVERSITY OF CASTILLA-LA MANCHA","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":"Vazquez, Carlos","raw_affiliation_strings":["DEPARTMENT OF COMPUTING SYSTEMS UNIVERSITY OF CASTILLA-LA MANCHA","DEPARTMENT OF COMPUTING SYSTEMS#R##N#UNIVERSITY OF CASTILLA-LA MANCHA"],"affiliations":[{"raw_affiliation_string":"DEPARTMENT OF COMPUTING SYSTEMS UNIVERSITY OF CASTILLA-LA MANCHA","institution_ids":["https://openalex.org/I79189158"]},{"raw_affiliation_string":"DEPARTMENT OF COMPUTING SYSTEMS#R##N#UNIVERSITY OF CASTILLA-LA MANCHA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5106028690"],"corresponding_institution_ids":["https://openalex.org/I79189158"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.00052981,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"55","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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.9994999766349792,"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.9957000017166138,"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/computer-science","display_name":"Computer science","score":0.6394968628883362},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6109259724617004},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.594643235206604},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5040130019187927},{"id":"https://openalex.org/keywords/functional-logic-programming","display_name":"Functional logic programming","score":0.4940543472766876},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.48594534397125244},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48088338971138},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4656071960926056},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.4436348080635071},{"id":"https://openalex.org/keywords/cartesian-product","display_name":"Cartesian product","score":0.43425604701042175},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.4280330538749695},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.39044564962387085},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.3608052730560303},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32913729548454285},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.3157448172569275},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28025054931640625},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2504647970199585},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.16076451539993286},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1120302677154541}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6394968628883362},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6109259724617004},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.594643235206604},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5040130019187927},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.4940543472766876},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.48594534397125244},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48088338971138},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4656071960926056},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.4436348080635071},{"id":"https://openalex.org/C65236422","wikidata":"https://www.wikidata.org/wiki/Q173740","display_name":"Cartesian product","level":2,"score":0.43425604701042175},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.4280330538749695},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.39044564962387085},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.3608052730560303},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32913729548454285},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.3157448172569275},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28025054931640625},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2504647970199585},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.16076451539993286},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1120302677154541},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.14279/tuj.eceasst.55.820","is_oa":true,"landing_page_url":"https://doi.org/10.14279/tuj.eceasst.55.820","pdf_url":null,"source":{"id":"https://openalex.org/S7407052985","display_name":"Technische Universit\u00e4t Berlin \u2013 Universit\u00e4tsbibliothek","issn_l":null,"issn":[],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:2295467019","is_oa":false,"landing_page_url":"http://journal.ub.tu-berlin.de/eceasst/article/view/820","pdf_url":null,"source":{"id":"https://openalex.org/S112260463","display_name":"Electronic Communication of The European Association of Software Science and Technology","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Electronic Communication of The European Association of Software Science and Technology","raw_type":null}],"best_oa_location":{"id":"doi:10.14279/tuj.eceasst.55.820","is_oa":true,"landing_page_url":"https://doi.org/10.14279/tuj.eceasst.55.820","pdf_url":null,"source":{"id":"https://openalex.org/S7407052985","display_name":"Technische Universit\u00e4t Berlin \u2013 Universit\u00e4tsbibliothek","issn_l":null,"issn":[],"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W6492780","https://openalex.org/W33192930","https://openalex.org/W42624393","https://openalex.org/W80379099","https://openalex.org/W87250395","https://openalex.org/W173228880","https://openalex.org/W1541434994","https://openalex.org/W1558959671","https://openalex.org/W1603461658","https://openalex.org/W1763499098","https://openalex.org/W1994009631","https://openalex.org/W2007452568","https://openalex.org/W2014489281","https://openalex.org/W2047218077","https://openalex.org/W2078972796","https://openalex.org/W2080268384","https://openalex.org/W2086169736","https://openalex.org/W2147915179"],"related_works":["https://openalex.org/W2951438880","https://openalex.org/W2395777174","https://openalex.org/W2577629414","https://openalex.org/W2151485489","https://openalex.org/W614375011","https://openalex.org/W1974148087","https://openalex.org/W2295208068","https://openalex.org/W1654334116","https://openalex.org/W1518458436","https://openalex.org/W2187529648","https://openalex.org/W2888471488","https://openalex.org/W78927986","https://openalex.org/W1870613593","https://openalex.org/W3114125013","https://openalex.org/W2977466362","https://openalex.org/W2736489244","https://openalex.org/W2375128084","https://openalex.org/W2952935384","https://openalex.org/W2164297069","https://openalex.org/W2009654690"],"abstract_inverted_index":{"Classically,":[0],"most":[1],"programming":[2],"languages":[3],"use":[4],"in":[5,28,80,145],"a":[6,19,33,47],"predefined":[7],"way":[8],"the":[9,62,73,89,112,134],"notion":[10],"of":[11,22,25,65,86,92],"\u201cstring\u201d":[12],"as":[13,118],"an":[14],"standard":[15],"data":[16],"structure":[17],"for":[18,82,142],"comfortable":[20],"management":[21],"arbitrary":[23],"sequences":[24],"characters.":[26],"However,":[27],"this":[29,37,60],"paper":[30],"we":[31,40],"assign":[32],"different":[34],"role":[35],"to":[36,52],"concept:":[38],"here":[39],"are":[41],"concerned":[42],"with":[43,111,122,129],"fuzzy":[44,54],"logic":[45,55,57],"programming,":[46],"somehow":[48],"recent":[49],"paradigm":[50],"trying":[51],"introduce":[53],"into":[56,72,133],"programming.":[58],"In":[59],"setting,":[61],"mathematical":[63],"concept":[64],"multi-adjoint":[66,114],"lattice":[67],"has":[68],"been":[69],"successfully":[70],"exploited":[71],"so-called":[74,113],"Multi-adjoint":[75],"Logic":[76],"Programming":[77,140],"approach,":[78],"MALP":[79],"brief,":[81],"modeling":[83],"flexible":[84],"notions":[85],"truth-degrees":[87],"beyond":[88],"simpler":[90],"case":[91],"true":[93],"and":[94],"false.":[95],"Our":[96],"main":[97],"goal":[98],"points":[99],"out":[100],"not":[101],"only":[102],"our":[103,146],"formal":[104],"proof":[105],"verifying":[106],"that":[107],"stringbased":[108],"lattices":[109],"accomplish":[110],"property":[115],"(as":[116],"well":[117],"its":[119,127],"Cartesian":[120],"product":[121],"similar":[123],"structures),":[124],"but":[125],"also":[126],"correspondence":[128],"interesting":[130],"debugging":[131],"tasks":[132],"FLOPER":[135],"system":[136],"(from":[137],"\u201cFuzzy":[138],"LOgic":[139],"Environment":[141],"Research\u201d)":[143],"developed":[144],"research":[147],"group.":[148]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}