Efficient Rough Set Theory Merging
From MaRDI portal
Publication:5259298
DOI10.3233/FI-2014-1129zbMath1329.68247OpenAlexW1938825438MaRDI QIDQ5259298
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
Knowledge representation (68T30) Topological spaces and generalizations (closure spaces, etc.) (54A05)
Related Items
Stone lattices. ⋮ Improving legibility of formal proofs based on the close reference principle is NP-hard ⋮ Mizar: State-of-the-art and Beyond ⋮ Computer Certification of Generalized Rough Sets Based on Relations ⋮ Developing complementary rough inclusion functions ⋮ Basic formal properties of triangular norms and conorms ⋮ Binary relations-based rough sets -- an automated approach ⋮ Tarski geometry axioms. II ⋮ Flexary connectives in Mizar ⋮ Automated Comparative Study of Some Generalized Rough Approximations ⋮ Accessing the Mizar Library with a Weakly Strict Mizar Parser ⋮ Formal development of rough inclusion functions ⋮ The formal construction of fuzzy numbers
Uses Software