Automated Discovery of Properties of Rough Sets
From MaRDI portal
Publication:5411648
DOI10.3233/FI-2013-933zbMath1285.68180OpenAlexW1556028890MaRDI QIDQ5411648
Publication date: 25 April 2014
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2013-933
Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items (13)
Four decades of {\textsc{Mizar}}. Foreword ⋮ Mechanizing complemented lattices within Mizar type system ⋮ Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver ⋮ Improving legibility of formal proofs based on the close reference principle is NP-hard ⋮ Computer Certification of Generalized Rough Sets Based on Relations ⋮ Topological interpretation of rough sets ⋮ Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets ⋮ Two axiomatizations of Nelson algebras. ⋮ Flexary connectives in Mizar ⋮ Automated Comparative Study of Some Generalized Rough Approximations ⋮ Initial Comparison of Formal Approaches to Fuzzy and Rough Sets ⋮ Accessing the Mizar Library with a Weakly Strict Mizar Parser ⋮ Formalizing two generalized approximation operators
Uses Software
This page was built for publication: Automated Discovery of Properties of Rough Sets
