Automated Discovery of Properties of Rough Sets
Adam Grabowski · Fundamenta Informaticae · 2013
The computer certification of rough sets (the translation in a way understandable by machines) seems to be far beyond the test phase. To assure the feasibility of the approach, we try to encode selected problems within rough set theory and as the tes