Efficient Rough Set Theory Merging

DOI10.3233/FI-2014-1129zbMath1329.68247MaRDI QIDQ5259298

Adam Grabowski

Publication date: 26 June 2015

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

zbMATH Keywords

rough sets; knowledge management; formal topology; rough concept analysis

Mathematics Subject Classification ID

68T30: Knowledge representation

54A05: Topological spaces and generalizations (closure spaces, etc.)

Uses Software

• Mizar