{"id":"https://openalex.org/W3081925466","doi":"https://doi.org/10.1109/fuzz48607.2020.9177798","title":"Using SAT/SMT Solvers for Efficiently Tuning Fuzzy Logic Programs","display_name":"Using SAT/SMT Solvers for Efficiently Tuning Fuzzy Logic Programs","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3081925466","doi":"https://doi.org/10.1109/fuzz48607.2020.9177798","mag":"3081925466"},"language":"en","primary_location":{"id":"doi:10.1109/fuzz48607.2020.9177798","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fuzz48607.2020.9177798","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060491910","display_name":"Jos\u00e9 A. Riaza","orcid":"https://orcid.org/0000-0003-0156-9074"},"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":"Jose A. Riaza","raw_affiliation_strings":["Department of Computing Systems, University of Castilla-La Mancha, Albacete, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Computing Systems, University of Castilla-La Mancha, Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"last","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":false,"raw_author_name":"Gines Moreno","raw_affiliation_strings":["Department of Computing Systems, University of Castilla-La Mancha, Albacete, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Computing Systems, University of Castilla-La Mancha, Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5060491910"],"corresponding_institution_ids":["https://openalex.org/I79189158"],"apc_list":null,"apc_paid":null,"fwci":0.2814,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.62221917,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"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/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"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/T10820","display_name":"Fuzzy Logic and Control Systems","score":0.995199978351593,"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/T10260","display_name":"Software Engineering Research","score":0.9886999726295471,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.7930183410644531},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.6971437931060791},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5709533095359802},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.5322641730308533},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4547105133533478},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4518248438835144},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43010199069976807},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.41017958521842957},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38720619678497314},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.37775495648384094}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7930183410644531},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.6971437931060791},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5709533095359802},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.5322641730308533},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4547105133533478},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4518248438835144},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43010199069976807},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.41017958521842957},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38720619678497314},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.37775495648384094}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fuzz48607.2020.9177798","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fuzz48607.2020.9177798","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W182181318","https://openalex.org/W190675889","https://openalex.org/W574511412","https://openalex.org/W1480909796","https://openalex.org/W1481397690","https://openalex.org/W1772180890","https://openalex.org/W1903342974","https://openalex.org/W1980717258","https://openalex.org/W2047713898","https://openalex.org/W2086854199","https://openalex.org/W2102791214","https://openalex.org/W2102885020","https://openalex.org/W2130946693","https://openalex.org/W2137035823","https://openalex.org/W2159595840","https://openalex.org/W2168144545","https://openalex.org/W2234462756","https://openalex.org/W2406142465","https://openalex.org/W2462177013","https://openalex.org/W2557184974","https://openalex.org/W2592974517","https://openalex.org/W2626091086","https://openalex.org/W2739034799","https://openalex.org/W2757232759","https://openalex.org/W2810872903","https://openalex.org/W2892952105","https://openalex.org/W2964510579","https://openalex.org/W2973062581","https://openalex.org/W2980040700","https://openalex.org/W4206370914","https://openalex.org/W4243399171","https://openalex.org/W4301754034","https://openalex.org/W6628836516","https://openalex.org/W6683303659","https://openalex.org/W6719667052"],"related_works":["https://openalex.org/W4205762803","https://openalex.org/W2535856026","https://openalex.org/W2265065644","https://openalex.org/W2134699697","https://openalex.org/W2322875716","https://openalex.org/W2468698815","https://openalex.org/W2383516975","https://openalex.org/W2374878784","https://openalex.org/W2147679489","https://openalex.org/W2371642785"],"abstract_inverted_index":{"During":[0],"the":[1,17,20,110,115],"last":[2],"years":[3],"we":[4,60,79,94],"have":[5,80],"developed":[6],"advanced":[7],"tools":[8],"for":[9,36,43,69],"tuning":[10],"fuzzy":[11,27],"logic":[12],"programs":[13,31],"devoted":[14],"to":[15,53,100],"facilitate":[16],"selection":[18],"of":[19,24,63],"more":[21],"appropriate":[22],"set":[23],"weights":[25],"and":[26,65,103,106],"connectives":[28],"used":[29],"in":[30,57,82,89],"rules.":[32],"Designing":[33],"accurate":[34],"techniques":[35],"automating":[37],"these":[38],"tasks":[39],"is":[40,87],"very":[41],"useful":[42],"programmers,":[44],"even":[45],"when":[46],"they":[47],"are":[48],"time":[49],"consuming.":[50],"In":[51],"order":[52],"increase":[54],"its":[55],"performance,":[56],"this":[58,83],"paper":[59],"make":[61],"use":[62],"powerful":[64],"well-known":[66],"SAT/SMT":[67],"solvers":[68],"improving":[70],"our":[71],"original":[72],"approaches.":[73],"Inspired":[74],"by":[75,114],"some":[76,96],"previous":[77],"experiences":[78],"acquired":[81],"setting,":[84],"whose":[85],"impact":[86],"growing":[88],"many":[90],"modern":[91],"software":[92],"tools,":[93],"show":[95],"representative":[97],"experiments":[98],"(related":[99],"circuit":[101],"validation":[102],"linear":[104],"regression)":[105],"benchmarks":[107],"which":[108],"illustrate":[109],"significant":[111],"advantages":[112],"enjoyed":[113],"new":[116],"empowered":[117],"method.":[118]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}