Efficient rough set theory merging

DOI10.3233/FI-2014-1129zbMATH Open1329.68247OpenAlexW1938825438MaRDI QIDQ5259298FDOQ5259298

Authors: Adam Grabowski 

Publication date: 26 June 2015

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2014-1129

Recommendations

• Mathematical Knowledge Management
• Rough sets and other mathematics: ten research programs
• Lattice theory for rough sets -- a case study with Mizar
• Topological structures in rough set theory: a survey
• Formalizing lattice-theoretical aspects of rough and fuzzy sets

zbMATH Keywords

rough setsknowledge managementformal topologyrough concept analysis

Mathematics Subject Classification ID

Knowledge representation (68T30) Topological spaces and generalizations (closure spaces, etc.) (54A05)

Cited In (13)

• Stone lattices.
• Improving legibility of formal proofs based on the close reference principle is NP-hard
• Computer certification of generalized rough sets based on relations
• Developing complementary rough inclusion functions
• Accessing the Mizar library with a weakly strict Mizar parser
• Flexary connectives in Mizar
• Binary relations-based rough sets -- an automated approach
• Tarski geometry axioms. II
• Formal development of rough inclusion functions
• Mizar: state-of-the-art and beyond
• Automated Comparative Study of Some Generalized Rough Approximations
• The formal construction of fuzzy numbers
• Basic formal properties of triangular norms and conorms

Uses Software

• Mizar

This page was built for publication: Efficient rough set theory merging

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5259298)