Computer Certification of Generalized Rough Sets Based on Relations
From MaRDI portal
Publication:5082208
DOI10.1007/978-3-319-60837-2_7zbMath1489.68284OpenAlexW2664924000MaRDI QIDQ5082208
Publication date: 15 June 2022
Published in: Rough Sets (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-60837-2_7
Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Formalization of mathematics in connection with theorem provers (68V20)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- Binary relations-based rough sets -- an automated approach
- Covering based rough set approximations
- Topological approaches to covering rough sets
- Obvious inferences
- Variable precision rough set model
- Flexary connectives in Mizar
- Two views of the theory of rough sets in finite universes
- Monitoring, security, and rescue techniques in multiagent systems. Selected contributions presented at the international workshop ``Monitoring, security, and rescue techniques in multiagent systems (MSRAS 2004), Płock, Poland, June 7--9, 2004.
- Generalized rough sets based on relations
- ROUGH FUZZY SETS AND FUZZY ROUGH SETS*
- On conflicts
- Mining the Archive of Formal Proofs
- Mizar: State-of-the-art and Beyond
- Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
- Lattice Theory for Rough Sets
- Lattice Theory for Rough Sets – A Case Study with Mizar
- Efficient Rough Set Theory Merging
- Automated Discovery of Properties of Rough Sets
- Fuzzy sets
This page was built for publication: Computer Certification of Generalized Rough Sets Based on Relations
