↑ Official Homepage

Research

See also web pages of DAMOL.

Areas of interest: structures of fuzzy logic, formal concept analysis, modeling and simulation of systems (fuzzy and probabilistic automata), programming languages (functional programming), automatic programming, differential geometry.

Journal Papers

  1. Krupka M.: On complexity reduction of concept lattices: Three counterexamples. Information Retrieval, 2012, 15(2), 151–156.
    [doi:10.1007/s10791-011-9175-7, ISSN: 1386-4564 (print), 1573-7659 (electronic)]
  2. Krupka M.: Factorization of fuzzy concept lattices with hedges by modification of input data. Annals of Mathematics and Artificial Intelligence, 2010, 59(2), 187–200.
    [doi:10.1007/s10472-010-9189-7, ISSN: 1012-2443 (print), 1573-7470 (online)]
  3. Belohlavek R., Krupka M.: Central fuzzy sets. International Journal of General Systems, 2010, 39(5), 525–538.
    [doi:10.1080/03081071003791339, ISSN: 1563-5104 (electronic), 0308-1079 (paper)]
  4. Krupka D., Krupka M.: Higher order Grassmann fibrations and the calculus of variations. Balkan Journal of Geometry and its Applications, 2010, 15(1), 68–79.
    [ISSN: 1224-2780 (print), 1843-2875 (electronic)]
  5. Belohlavek R., Krupka M.: Grouping fuzzy sets by similarity. Information Sciences, 2009, 179(15), 2656–2661.
    [doi:10.1016/j.ins.2009.03.020, ISSN: 0020-0255]
  6. Krupka M.: Factorization of residuated lattices. Logic Journal of the IGPL, 2009, 17(2), 205–223.
    [doi:10.1093/jigpal/jzp004, ISSN 1367-0751 (print), 1368-9894 (online)]
  7. Belohlavek R., Krupka M.: On approximate minimization of fuzzy automata. Journal of Multiple-Valued Logic and Soft Computing 15(2-3), 2009, 125–135.
    [ISSN 1542-3980]
  8. Krupka M.: Anti-holonomic jets and the Lie bracket, Arch. Math. (Brno) 34(1998), 311–319.
    Full text.
  9. Krupka M.: Orientability of higher order Grassmannians, Math. Slovaca 44(1)(1994), 107–115.
    Full text.

Papers in Conference Proceedings

  1. Krupka M., Lastovicka J.: Fuzzy concept lattices with incomplete knowledge. In: S. Greco, B. Bouchon-Meunier, G. Coletti, M. Fedrizzi, B. Matarazzo, R. R. Yager (Eds.): Advances in Computational Intelligence, 14th International Conference on Information Processing and Management of Uncertainty, IPMU 2012, Catania, Italy, July 9 - July 13, 2012.
  2. Krupka M., Lastovicka J.: Concept lattices of incomplete data. In: F. Domenach, D.I. Ignatov, and J. Poelmans (Eds.): ICFCA 2012, LNAI 7278. Springer, Heidelberg, 2012, pp. 180–194.
  3. Konecny J., Krupka M.: Block relations in fuzzy setting. In: A. Napoli, V. Vychodil (Eds.): CLA 2011: Proceedings of the 8th International Conference on Concept Lattices and Their Applications, INRIA Nancy – Grand Est and LORIA, 2011, pp. 115–130.
    [ISBN: 978-2-905267-78-8] Full text.
  4. Krupka M.: On factorization of concept lattices by incompatible tolerances. In: P. Valtchev, R. Jäschke (Eds.): ICFCA 2011, LNAI 6628, Springer-Verlag Berlin Heidelberg, 2011, pp. 167–182.
    [doi:10.1007/978-3-642-20514-9_14, ISSN: 0302-9743, ISBN: 978-3-642-20513-2]
  5. Krupka M.: An alternative version of the main theorem of fuzzy concept lattices. In: R.Trappl (ed.): Cybernetics and Systems 2010. Austrian Society for Cybernetic Studies, Vienna, 2010, pp. 9–14.
    [ISBN 978-3-85206-178-8]
  6. Krupka M.: Factorization of Concept Lattices with hedges by means of factorization of Residuated Lattices. In: R. Belohlavek, S. O. Kuznetsov (Eds.): CLA 2008: Proceedings of the Sixth International Conference on Concept Lattices and Their Applications, Palacky University, Olomouc, 2008, pp. 231–241.
    [ISBN: 978-80-244-2111-7] Full text.
  7. Belohlavek R., Krupka M.: Factor structures and central points by similarity. In: R. R. Yager, V. S. Sgurev, V. S. Jotsov (Eds.): Proceedings of 4th International IEEE Conference on Intelligent Systems, Varna, Bulgaria, 2008, pp. 15-8 - 15-11.
    [doi:10.1109/IS.2008.4670531, IEEE Catalog Number: CFP08802-PRT, ISBN: 978-1-4244-1740-7]
  8. Belohlavek R., Krupka M.: Central points and approximation in residuated lattices. In: Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2008), Conference Proceedings, Málaga, Spain, 2008.
    Full text.
  9. Krupka M.: Factorization of residuated lattices with application to concept lattices. In: R.Trappl (ed.): Cybernetics and Systems 2008. Austrian Society for Cybernetic Studies, Vienna, 2008, pp. 21–25.
    [ISBN 978-3-85206-175-7]
  10. Belohlavek R., Krupka M., Vychodil V.: Approximating infinite solution sets by discretization of the scales of truth degrees. In: Reformat M., Berthold M. R. (Eds.): Proc. NAFIPS 2007, 2007, pp. 325–330.
    [doi:10.1109/NAFIPS.2007.383859, IEEE Catalog Number: 07TH8957C, ISBN 1-4244-1214-5]
  11. Belohlavek R., Krupka M.: Approximate minimization of fuzzy automata, in: Proc. 10th Joint Conference on Information Sciences. Salt Lake City: World Scientific Publishing Co. ISBN: 978-981-270-967-7, 2007.
    [doi:10.1142/9789812709677_0194]
  12. Krupka M.: Natural operators on frame bundles, proceedings of the 19th winter school “Geometry and physics” Srní – january 9–15, 1999, Supplemento ai Rendiconti del Circolo Matematico do Palermo Serie II – Numero 63 – 2000.
    Full text.
  13. Krupka D., Krupka M.: Jets and contact elements, in: Proceedings of the Seminar on Differential Geometry, D. Krupka, Ed., Mathematical Publications, Silesian Univ. in Opava, Opava, Czechia, 2000, 39–85.
    Full text.
  14. Krupka M.: On the order reduction of differential invariants, in: Diff. Geom. And its Appl. Proc. Conf. Opava (Czechoslovakia), August 24–28, 1992, Silesian University, Opava, 1993, 321–334.
Apr 26, 2012, Michal Krupka