{"id":"https://openalex.org/W2902468824","doi":"https://doi.org/10.3233/fi-2021-2019","title":"Automated Comparative Study of Some Generalized Rough Approximations","display_name":"Automated Comparative Study of Some Generalized Rough Approximations","publication_year":2021,"publication_date":"2021-03-10","ids":{"openalex":"https://openalex.org/W2902468824","doi":"https://doi.org/10.3233/fi-2021-2019","mag":"2902468824"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2021-2019","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2021-2019","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-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/A5073856205","display_name":"Adam Grabowski","orcid":"https://orcid.org/0000-0001-5026-3990"},"institutions":[{"id":"https://openalex.org/I245364917","display_name":"University of Bia\u0142ystok","ror":"https://ror.org/01qaqcf60","country_code":"PL","type":"education","lineage":["https://openalex.org/I245364917"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Adam Grabowski","raw_affiliation_strings":["Institute of Informatics, University of Bia\u0142ystok, Konstantego Cio\u0142kowskiego 1M, 15-245 Bia\u0142ystok, Poland. adam@math.uwb.edu.pl"],"affiliations":[{"raw_affiliation_string":"Institute of Informatics, University of Bia\u0142ystok, Konstantego Cio\u0142kowskiego 1M, 15-245 Bia\u0142ystok, Poland. adam@math.uwb.edu.pl","institution_ids":["https://openalex.org/I245364917"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5073856205"],"corresponding_institution_ids":["https://openalex.org/I245364917"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.00557203,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"179","issue":"2","first_page":"165","last_page":"182"},"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.9998999834060669,"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.9998999834060669,"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/T11106","display_name":"Data Management and Algorithms","score":0.957099974155426,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.942799985408783,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/mathematics","display_name":"Mathematics","score":0.44151240587234497},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3662729263305664},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3630473017692566},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.36202752590179443}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44151240587234497},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3662729263305664},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3630473017692566},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36202752590179443},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/fi-2021-2019","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2021-2019","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"mag:2902468824","is_oa":false,"landing_page_url":"http://ceur-ws.org/Vol-2240/paper3.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306507201","display_name":"CS&P","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":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"CS&P","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1494553505","https://openalex.org/W1535538569","https://openalex.org/W1556028890","https://openalex.org/W1589305208","https://openalex.org/W1591618909","https://openalex.org/W1983426508"],"related_works":["https://openalex.org/W2923016587","https://openalex.org/W2801448456","https://openalex.org/W3183045647","https://openalex.org/W3177624608","https://openalex.org/W1994490711","https://openalex.org/W1998730025","https://openalex.org/W2390028074","https://openalex.org/W1969045113","https://openalex.org/W2363173839","https://openalex.org/W2489450018","https://openalex.org/W2076826037","https://openalex.org/W2391821288","https://openalex.org/W129188671","https://openalex.org/W2081601192","https://openalex.org/W2123304182","https://openalex.org/W3046024303","https://openalex.org/W2553641347","https://openalex.org/W2312556852","https://openalex.org/W2007247975","https://openalex.org/W2292993861"],"abstract_inverted_index":{"The":[0,64],"paper":[1,79],"contains":[2],"some":[3,13],"remarks":[4],"on":[5,33,97],"building":[6],"automated":[7],"counterpart":[8],"of":[9,12,17,42,73,83,110],"a":[10],"comparison":[11],"generalized":[14,25],"rough":[15],"approximations":[16],"sets,":[18],"where":[19],"the":[20,43,47,50,61,68,89,95,101,107,111],"classical":[21],"indiscernibility":[22],"relation":[23],"is":[24],"to":[26,99,105],"arbitrary":[27],"binary":[28],"relation.":[29],"Our":[30],"focus":[31],"was":[32,67],"translating":[34],"rationality":[35],"postulates":[36],"for":[37,54,60],"such":[38],"operators":[39],"by":[40],"means":[41],"Mizar":[44,112],"system":[45],"\u2013":[46],"software":[48],"and":[49,56],"database":[51],"which":[52],"allows":[53],"expressing":[55],"checking":[57],"mathematical":[58],"knowledge":[59],"logical":[62],"correctness.":[63],"main":[65],"objective":[66],"formal":[69],"(and":[70],"machine-checked)":[71],"proof":[72],"Theorem":[74],"4.1":[75],"from":[76],"A.":[77],"Gomoli\u0144ska\u2019s":[78],"\u201cA":[80],"Comparative":[81],"Study":[82],"Some":[84],"Generalized":[85],"Rough":[86],"Approximations\u201d,":[87],"hence":[88],"present":[90],"title.":[91],"We":[92],"provide":[93],"also":[94],"discussion":[96],"how":[98],"make":[100],"presentation":[102],"more":[103],"efficient":[104],"reuse":[106],"reasoning":[108],"techniques":[109],"verifier.":[113]},"counts_by_year":[{"year":2019,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}