Binary Relations-based Rough Sets – an Automated Approach

Grabowski, Adam

doi:10.1515/forma-2016-0011

References

[1] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1): 55–65, 1990.
Search in Google Scholar Back to article
[2] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990.
Search in Google Scholar Back to article
[3] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990.
Search in Google Scholar Back to article
[4] Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165–167, 1990.
Search in Google Scholar Back to article
[5] Adam Grabowski. On the computer-assisted reasoning about rough sets. In B. Dunin-Kȩplicz, A. Jankowski, A. Skowron, and M. Szczuka, editors, International Workshop on Monitoring, Security, and Rescue Techniques in Multiagent Systems Location, volume 28 of Advances in Soft Computing, pages 215–226, Berlin, Heidelberg, 2005. Springer-Verlag. doi:10.1007/3-540-32370-8_15.10.1007/3-540-32370-8_15
Search in Google Scholar Back to article
[6] Adam Grabowski. Efficient rough set theory merging. Fundamenta Informaticae, 135(4): 371–385, 2014. doi:10.3233/FI-2014-1129.10.3233/FI-2014-1129
Search in Google Scholar Back to article
[7] Adam Grabowski. Mechanizing complemented lattices within Mizar system. Journal of Automated Reasoning, 55:211–221, 2015. doi:10.1007/s10817-015-9333-5.10.1007/s10817-015-9333-5
Search in Google Scholar Back to article
[8] Adam Grabowski. Relational formal characterization of rough sets. Formalized Mathematics, 21(1):55–64, 2013. doi:10.2478/forma-2013-0006.10.2478/forma-2013-0006
Search in Google Scholar Back to article
[9] Adam Grabowski and Magdalena Jastrzębska. A note on a formal approach to rough operators. In Marcin S. Szczuka and Marzena Kryszkiewicz et al., editors, Rough Sets and Current Trends in Computing – 7th International Conference, RSCTC 2010, Warsaw, Poland, June 28-30, 2010. Proceedings, volume 6086 of Lecture Notes in Computer Science, pages 307–316. Springer, 2010. doi:10.1007/978-3-642-13529-3_33.10.1007/978-3-642-13529-3_33
Search in Google Scholar Back to article
[10] Adam Grabowski and Magdalena Jastrzębska. Rough set theory from a math-assistant perspective. In Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28–30, 2007, Proceedings, pages 152–161, 2007. doi:10.1007/978-3-540-73451-2_17.10.1007/978-3-540-73451-2_17
Search in Google Scholar Back to article
[11] Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.10.1007/s10817-015-9345-1
Search in Google Scholar Back to article
[12] Zdzisław Pawlak. Rough sets. International Journal of Parallel Programming, 11:341–356, 1982. doi:10.1007/BF01001956.10.1007/BF01001956
Search in Google Scholar Back to article
[13] Krzysztof Retel. Properties of first and second order cutting of binary relations. Formalized Mathematics, 13(3):361–365, 2005.
Search in Google Scholar Back to article
[14] Andrzej Trybulec and Agata Darmochwał. Boolean domains. Formalized Mathematics, 1 (1):187–190, 1990.
Search in Google Scholar Back to article
[15] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.
Search in Google Scholar Back to article
[16] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73–83, 1990.
Search in Google Scholar Back to article
[17] Y.Y. Yao. Two views of the theory of rough sets in finite universes. International Journal of Approximate Reasoning, 15(4):291–317, 1996. doi:10.1016/S0888-613X(96)00071-0.10.1016/S0888-613X(96)00071-0
Search in Google Scholar Back to article
[18] William Zhu. Generalized rough sets based on relations. Information Sciences, 177: 4997–5011, 2007.10.1016/j.ins.2007.05.037
Search in Google Scholar Back to article