{"id":"https://openalex.org/W4285280108","doi":"https://doi.org/10.1109/tfuzz.2022.3179847","title":"Parameterized Simplification Logic: Reasoning With Implications in an Automated Way","display_name":"Parameterized Simplification Logic: Reasoning With Implications in an Automated Way","publication_year":2022,"publication_date":"2022-06-03","ids":{"openalex":"https://openalex.org/W4285280108","doi":"https://doi.org/10.1109/tfuzz.2022.3179847"},"language":"en","primary_location":{"id":"doi:10.1109/tfuzz.2022.3179847","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tfuzz.2022.3179847","pdf_url":null,"source":{"id":"https://openalex.org/S134177497","display_name":"IEEE Transactions on Fuzzy Systems","issn_l":"1063-6706","issn":["1063-6706","1941-0034"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Fuzzy Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/10630/29665","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021844036","display_name":"Pablo Cordero","orcid":"https://orcid.org/0000-0002-5506-6467"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pablo Cordero","raw_affiliation_strings":["University of M&#x00E1;laga, Andaluc&#x00ED;a Tech, M&#x00E1;laga, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of M&#x00E1;laga, Andaluc&#x00ED;a Tech, M&#x00E1;laga, Spain","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039917096","display_name":"Manuel Enciso","orcid":"https://orcid.org/0000-0002-0531-4055"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Manuel Enciso","raw_affiliation_strings":["University of M&#x00E1;laga, Andaluc&#x00ED;a Tech, M&#x00E1;laga, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of M&#x00E1;laga, Andaluc&#x00ED;a Tech, M&#x00E1;laga, Spain","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044022589","display_name":"\u00c1ngel Mora","orcid":"https://orcid.org/0000-0003-4548-8030"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Angel Mora","raw_affiliation_strings":["University of M&#x00E1;laga, Andaluc&#x00ED;a Tech, M&#x00E1;laga, Spain"],"raw_orcid":"https://orcid.org/0000-0003-4548-8030","affiliations":[{"raw_affiliation_string":"University of M&#x00E1;laga, Andaluc&#x00ED;a Tech, M&#x00E1;laga, Spain","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019589936","display_name":"Vil\u00e9m Vychodil","orcid":null},"institutions":[{"id":"https://openalex.org/I70703428","display_name":"Palack\u00fd University Olomouc","ror":"https://ror.org/04qxnmv42","country_code":"CZ","type":"education","lineage":["https://openalex.org/I70703428"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Vilem Vychodil","raw_affiliation_strings":["Department of Computer Science, Palacky University, Olomouc, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Palacky University, Olomouc, Czech Republic","institution_ids":["https://openalex.org/I70703428"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1437,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.47108373,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"30","issue":"12","first_page":"5534","last_page":"5543"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9995999932289124,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9995999932289124,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9987999796867371,"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/T10538","display_name":"Data Mining Algorithms and Applications","score":0.9898999929428101,"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.7070139050483704},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.6981021761894226},{"id":"https://openalex.org/keywords/generality","display_name":"Generality","score":0.6438298225402832},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.5808482766151428},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5165364146232605},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5111091732978821},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5024254322052002},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.5015671253204346},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"Model-based reasoning","score":0.49033188819885254},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.48661693930625916},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4663585424423218},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.42599648237228394},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3546598553657532},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20170831680297852}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7070139050483704},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.6981021761894226},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.6438298225402832},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.5808482766151428},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5165364146232605},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5111091732978821},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5024254322052002},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.5015671253204346},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.49033188819885254},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.48661693930625916},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4663585424423218},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.42599648237228394},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3546598553657532},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20170831680297852},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tfuzz.2022.3179847","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tfuzz.2022.3179847","pdf_url":null,"source":{"id":"https://openalex.org/S134177497","display_name":"IEEE Transactions on Fuzzy Systems","issn_l":"1063-6706","issn":["1063-6706","1941-0034"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Fuzzy Systems","raw_type":"journal-article"},{"id":"pmh:oai:riuma.uma.es:10630/29665","is_oa":true,"landing_page_url":"https://hdl.handle.net/10630/29665","pdf_url":null,"source":{"id":"https://openalex.org/S4306401385","display_name":"Repositorio Institucional de la Universidad de M\u00e1laga (University of M\u00e1laga)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I82767444","host_organization_name":"Universidad de M\u00e1laga","host_organization_lineage":["https://openalex.org/I82767444"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"journal article"}],"best_oa_location":{"id":"pmh:oai:riuma.uma.es:10630/29665","is_oa":true,"landing_page_url":"https://hdl.handle.net/10630/29665","pdf_url":null,"source":{"id":"https://openalex.org/S4306401385","display_name":"Repositorio Institucional de la Universidad de M\u00e1laga (University of M\u00e1laga)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I82767444","host_organization_name":"Universidad de M\u00e1laga","host_organization_lineage":["https://openalex.org/I82767444"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"journal article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5144910276","display_name":null,"funder_award_id":"TIN2017-89023-P","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G6473810213","display_name":null,"funder_award_id":"UMA-CEIATECH-24","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G8315808142","display_name":null,"funder_award_id":"UMA2018-FEDERJA-001","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G8627990595","display_name":null,"funder_award_id":"UMA18-FEDERJA-158","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"}],"funders":[{"id":"https://openalex.org/F4320311265","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28"},{"id":"https://openalex.org/F4320326754","display_name":"Junta de Andaluc\u00eda","ror":"https://ror.org/01jem9c82"},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W180578187","https://openalex.org/W253023745","https://openalex.org/W274644046","https://openalex.org/W1503729935","https://openalex.org/W1711140305","https://openalex.org/W2011103514","https://openalex.org/W2050815550","https://openalex.org/W2093397547","https://openalex.org/W2135105491","https://openalex.org/W2165467455","https://openalex.org/W2202489923","https://openalex.org/W2475315881","https://openalex.org/W2576294068","https://openalex.org/W2963301870","https://openalex.org/W2998574808","https://openalex.org/W3094020677","https://openalex.org/W4249816584","https://openalex.org/W4254931243"],"related_works":["https://openalex.org/W2650743995","https://openalex.org/W1545212651","https://openalex.org/W2361142061","https://openalex.org/W2131907548","https://openalex.org/W2099370658","https://openalex.org/W2163265599","https://openalex.org/W2095688747","https://openalex.org/W2004116709","https://openalex.org/W846065076","https://openalex.org/W177560025"],"abstract_inverted_index":{"In":[0],"this":[1,144],"sequel":[2],"to":[3,29,37,42,71],"our":[4],"previous":[5],"article":[6,145],"(Cordero":[7],"<italic":[8],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[9],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">et":[10],"al.</i>":[11],",":[12],"2020)":[13],"on":[14,79,149,188],"general":[15,53,81],"inference":[16,152],"systems":[17,62],"for":[18,99],"reasoning":[19,43,101,169],"with":[20,44,102,135],"if\u2013then":[21,27,34,55,106,129,133,154,190],"dependencies,":[22],"we":[23,96],"study":[24,97],"transformations":[25],"of":[26,33,52,63,92,105,120,128,138,153,158,163,165,175,183],"rules":[28,35,56,107,134],"semantically":[30],"equivalent":[31],"collections":[32,157,164],"suitable":[36],"solve":[38],"several":[39],"problems":[40],"related":[41],"data":[45],"dependencies.":[46],"We":[47,171],"work":[48],"in":[49,108,143],"a":[50,80,109,125],"framework":[51,68,111,177],"lattice-based":[54],"whose":[57],"semantics":[58],"is":[59],"parameterized":[60],"by":[61,88,181],"isotone":[64],"Galois":[65],"connections.":[66],"This":[67,94],"allows":[69],"us":[70],"obtain":[72],"theoretical":[73],"insight":[74],"as":[75,77,115,117],"well":[76,116],"algorithms":[78],"level":[82],"and":[83,167,178],"observe":[84],"their":[85,184],"special":[86],"cases":[87,186],"choosing":[89],"various":[90,136],"types":[91,104,119,137],"parameterizations.":[93],"way,":[95],"methods":[98],"automated":[100,168],"different":[103],"single":[110],"that":[112],"covers":[113],"existing":[114],"novel":[118],"rules.":[121,191],"Our":[122],"approach":[123],"supports":[124],"large":[126],"family":[127],"rules,":[130,155,159,166],"including":[131],"fuzzy":[132,189],"semantics.":[139],"The":[140],"main":[141],"results":[142,180],"include":[146],"new":[147],"observations":[148],"the":[150,173,176,179],"syntactic":[151],"complete":[156],"reduced":[160],"normal":[161],"forms":[162],"methods.":[170],"demonstrate":[172],"generality":[174],"examples":[182],"particular":[185],"focusing":[187]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-07-14T00:00:00"}