monographs

  1. Fuzzy Equational Logic.
    Studies in Fuzziness and Soft Computing 186, 2005, xii+283 pages, 47 illustrations (coauthor Bělohlávek R.).
    [Springer-Verlag Berlin Heidelberg, DOI 10.1007/b105121, ISBN 978–3–540–26254–1, bibtex, xml]

book chapters

  1. Data Dependencies in Codd's Relational Model with Similarities.
    In: Galindo J. (Ed.): Handbook of Research on Fuzzy Information Processing in Databases, 2008, pp. 634–657 (Volume II, coauthor Bělohlávek R.).
    [Hershey, PA, USA: Information Science Reference, DOI 10.4018/978–1–59904–853–6, ISBN 978–1–59904–853–6, bibtex, xml]
  2. Formal Concept Analysis with Attribute Priorities.
    In: Ohsawa Y., Yada K. (Eds.): Data Mining for Design and Marketing, 2009, pp. 211–222 (coauthor Bělohlávek R.).
    [Chapman & Hall/CRC, ISBN 978–1420070194]

journal papers

  1. Fuzzy closure operators with truth stressers.
    Logic J. of IGPL 13(5)(2005), pp. 503–513 (coauthors Bělohlávek R., Funioková T.).
    [Oxford University Press, DOI 10.1093/jigpal/jzi038, ISSN 1367–0751 (paper) 1368–9894 (on-line), bibtex, xml, pdf]
  2. Cut and weakening in fuzzy Horn logic.
    Logic J. of IGPL 13(5)(2005), pp. 599–609.
    [Oxford University Press, DOI 10.1093/jigpal/jzi044, ISSN 1367–0751 (paper) 1368–9894 (on-line), bibtex, xml, pdf]
  3. Algebras with fuzzy equalities.
    Fuzzy Sets and Systems 157(2)(2006), pp. 161–201 (coauthor Bělohlávek R.).
    [Elsevier Science, DOI 10.1016/j.fss.2005.05.044, ISSN 0165–0114, bibtex, xml, pdf]
  4. An answer to Demirci's open question, a clarification of his result, and a correction of his interpretation of the result.
    Fuzzy Sets and Systems 157(2)(2006), pp. 205–211 (coauthor Bělohlávek R.).
    [Elsevier Science, DOI 10.1016/j.fss.2005.06.016, ISSN 0165–0114, bibtex, xml, pdf]
  5. Fuzzy Horn logic I: proof theory.
    Arch. Math. Logic 45(1)(2006), pp. 3–51 (coauthor Bělohlávek R.).
    [Springer-Verlag, DOI 10.1007/s00153–005–0287–x, ISSN 0933–5846 (paper) 1432–0665 (on-line), bibtex, xml, pdf]
  6. Fuzzy Horn logic II: implicationally defined classes.
    Arch. Math. Logic 45(2)(2006), pp. 149–177 (coauthor Bělohlávek R.).
    [Springer-Verlag, DOI 10.1007/s00153–005–0303–1, ISSN 0933–5846 (paper) 1432–0665 (on-line), bibtex, xml, pdf]
  7. A note on congruence permutability and fuzzy logic.
    Soft Computing 10(3)(2006), pp. 279–284.
    [Springer-Verlag, DOI 10.1007/s00500–005–0508–6, ISSN 1432–7643 (paper) 1433–7479 (on-line), bibtex, xml, pdf]
  8. Continuous fuzzy Horn logic.
    Math. Logic Quarterly 52(2)(2006), pp. 171–186.
    [WILEY-VCH Verlag GmbH & Co. KGaA, DOI 10.1002/malq.200510025, ISSN 0942–5616 (paper) 1521–3870 (on-line), bibtex, xml, pdf]
  9. Truth-depressing hedges and BL-logic.
    Fuzzy Sets and Systems 157(15)(2006), pp. 2074–2090.
    [Elsevier Science, DOI 10.1016/j.fss.2006.03.022, ISSN 0165–0114, bibtex, xml, pdf]
  10. A note on residuated lattices with globalization.
    Int. J. Pure Appl. Math. 27(3)(2006), pp. 299–303 (coauthor Chajda I.).
    [Academic Publications, ISSN 1311–8080, pdf]
  11. Fuzzy attribute logic over complete residuated lattices.
    J. Exp. Theor. Artif. Intelligence 18(4)(2006), pp. 471–480 (coauthor Bělohlávek R.).
    [Taylor & Francis Group, DOI 10.1080/09528130600975816, ISSN 0952–813X (paper) 1362–3079 (on-line), bibtex, xml, pdf]
  12. Extended fuzzy equational logic.
    J. Mult. Val. Log. Soft Comput. (MVLSC) 12(5/6)(2006), pp. 491–508.
    [Old City Publishing, ISSN 1542–3980, pdf]
  13. Threshold Boolean logic.
    Int. J. General Systems 36(1)(2007), pp. 59–78.
    [Taylor & Francis Group, DOI 10.1080/03081070600913635, ISSN 0308–1079 (paper) 1563–5104 (on-line), pdf]
  14. Direct limits and reduced products of algebras with fuzzy equalities.
    J. Mult. Val. Log. Soft Comput. (MVLSC) 13(1/2)(2007), pp. 1–28.
    [Old City Publishing, ISSN 1542–3980, bibtex, xml, pdf]
  15. Fuzzy concept lattices constrained by hedges.
    J. Adv. Comp. Int. and Intelligent Inf. (JACIII) 11(6)(2007), pp. 536–545 (coauthor Bělohlávek R.).
    [Fuji Technology Press Ltd., ISSN 1343–0130, bibtex, xml, pdf]
  16. Fast factorization by similarity of fuzzy concept lattices with hedges.
    Int. J. Found. Comp. Sci. 19(2)(2008), pp. 255–269 (coauthors Bělohlávek R., Outrata J.).
    [World Scientific, DOI 10.1142/S012905410800567X, ISSN 0129–0541, bibtex, xml]
  17. Basic algorithm for attribute implications and functional dependencies in graded setting.
    Int. J. Found. Comp. Sci. 19(2)(2008), pp. 297–317 (coauthor Bělohlávek R.).
    [World Scientific, DOI 10.1142/S0129054108005693, ISSN 0129–0541, bibtex, xml, pdf]
  18. Characterizing trees in concept lattices.
    Int. J. Uncertainty, Fuzziness and Knowledge-Based Systems (IJUFKS) 16(1)(2008), pp. 1–15 (coauthors Bělohlávek R., De Baets B., Outrata J.).
    [World Scientific, DOI 10.1142/S0218488508005212, ISSN 0218–4885 (paper) 1793–6411 (on-line), bibtex, xml, pdf]
  19. Inducing decision trees via concept lattices.
    Int. J. General Systems 38(4)(2009), pp. 455–467 (coauthors Bělohlávek R., De Baets B., Outrata J.).
    [Taylor & Francis Group, DOI 10.1080/03081070902857563, ISSN 0308–1079 (paper) 1563–5104 (on-line), bibtex, xml, pdf]
  20. Formal concept analysis with background knowledge: attribute priorities.
    IEEE Trans. Systems, Man, and Cybernetics, Part C 39(4)(2009), pp. 399–409 (coauthor Bělohlávek R.).
    [IEEE, DOI 10.1109/TSMCC.2008.2012168, ISSN 1094–6977, bibtex, xml, pdf]
  21. Discovery of optimal factors in binary data via a novel method of matrix decomposition.
    J. Comput. System Sci. 76(1)(2010), pp. 3–20 (dedicated to Professor Rudolf Wille, coauthor Bělohlávek R.).
    [Elsevier Science, DOI 10.1016/j.jcss.2009.05.002, ISSN 0022–0000, bibtex, xml, pdf]
  22. Residuated Lattices of Size ≤12.
    Order 27(2)(2010), pp. 147–161 (coauthor Bělohlávek R.).
    [Springer Netherlands, DOI 10.1007/s11083–010–9143–7, ISSN 0167–8094 (paper) 1572–9273 (on-line), bibtex, xml]
  23. Confluence and termination of fuzzy relations.
    Information Sciences 180(17)(2010), pp. 3288–3303 (coauthors Bělohlávek R., Kühr T.).
    [Elsevier Science, DOI 10.1007/j.ins.2010.04.007, ISSN 0020–0255, bibtex, xml]
  24. Computing the lattice of all fixpoints of a fuzzy closure operator.
    IEEE Trans. Fuzzy Systems 18(3)(2010), pp. 546–557 (coauthors Bělohlávek R., De Baets B., Outrata J.).
    [IEEE, DOI 10.1109/TFUZZ.2010.2041006, ISSN 1063–6706, bibtex, xml, pdf]
  25. Parallel algorithm for computing fixpoints of Galois connections.
    Ann. Math. Artif. Intell. 59(2)(2010), pp. 257–272 (coauthors Krajča P., Outrata J.).
    [Springer-Verlag, DOI 10.1007/s10472–010–9199–5, ISSN 1012–2443 (paper) 1573–7470 (on-line), bibtex, xml]
  26. Codd's relational model from the point of view of fuzzy logic.
    J. Logic Computation 21(5)(2011), pp. 851–862 (coauthor Bělohlávek R.).
    [Oxford University Press, DOI 10.1093/logcom/exp056, ISSN 0955–792X (paper) 1465–363X (on-line), bibtex, xml]
  27. Bivalent and other solutions of fuzzy relational equations via linguistic hedges.
    Fuzzy Sets and Systems 187(1)(2012), pp. 103–112 (coauthors Bartl E., Bělohlávek R.).
    [Elsevier Science, DOI 10.1016/j.fss.2011.05.020, ISSN 0165–0114, bibtex, xml]
  28. Fast algorithm for computing fixpoints of Galois connections induced by object-attribute relational data.
    Information Sciences 185(1)(2012), pp. 114–127 (coauthor Outrata J.).
    [Elsevier Science, DOI 10.1016/j.ins.2011.09.023, ISSN 0020–0255, bibtex, xml]
  29. Similarity issues of confluence of fuzzy relations.
    Int. J. General Systems 41(3)(2012), pp. 313–328 (coauthor Kühr T.).
    [Taylor & Francis Group, DOI 10.1080/03081079.2012.664142, ISSN 0308–1079 (paper) 1563–5104 (on-line), bibtex, xml]
  30. Formal concept analysis and linguistic hedges.
    Int. J. General Systems 41(5)(2012), pp. 503–532 (coauthor Bělohlávek R.).
    [Taylor & Francis Group, DOI 10.1080/03081079.2012.685936, ISSN 0308–1079 (paper) 1563–5104 (on-line), bibtex, xml]
  31. On terminological issues regarding linguistic hedges.
    Int. J. General Systems 41(5)(2012), pp. 533–536.
    [Taylor & Francis Group, DOI 10.1080/03081079.2012.686979, ISSN 0308–1079 (paper) 1563–5104 (on-line), bibtex, xml]
  32. Computing formal concepts by attribute sorting.
    Fundam. Inform. 115(4)(2012), pp. 395–417 (coauthors Krajča P., Outrata J.).
    [IOS Press, DOI 10.3233/FI-2012-661, ISSN 0169–2968, bibtex, xml]
  33. Optimal factorization of three-way binary data using triadic concepts.
    Order 30(2)(2013), pp. 437–454 (coauthors Bělohlávek R., Glodeanu C.).
    [Springer Netherlands, DOI 10.1007/s11083–012–9254–4, ISSN 1063–6706 (paper) 1572–9273 (on-line), bibtex, xml]
  34. Closure-based constraints in formal concept analysis.
    Discrete Appl. Math. 161(13–14)(2013), pp. 1894–1911 (coauthor Bělohlávek R.).
    [Elsevier Science, DOI 10.1016/j.dam.2013.02.029, ISSN 0166–218X]
  35. Fuzzy attribute implications and their expressive power.
    Int. J. Uncertainty, Fuzziness and Knowledge-Based Systems (IJUFKS) 21(4)(2013), pp. 483–496.
    [World Scientific, DOI 10.1142/S0218488513500244, ISSN 0218–4885 (paper) 1793–6411 (on-line), bibtex, xml]
  36. Computing minimal sets of descriptive conditions for binary data.
    Int. J. General Systems 43(5)(2014), pp. 521–534 (coauthor Bělohlávek R.).
    [Taylor & Francis Group, DOI 10.1080/03081079.2014.885166, ISSN 0308–1079 (paper) 1563–5104 (on-line), bibtex, xml]
  37. Derivation digraphs for dependencies in ordinal and similarity-based data.
    Information Sciences 268(2014), pp. 381–396 (coauthor Urbanová L.).
    [Elsevier Science, DOI 10.1016/j.ins.2013.12.046, ISSN 0020–0255, bibtex, xml]
  38. On minimal sets of graded attribute implications.
    Information Sciences 294(2015), pp. 478–488 (CoRR abs/1405.7076).
    [Elsevier Science, DOI 10.1016/j.ins.2014.09.059, ISSN 0020–0255, bibtex, xml, pdf]
  39. Pseudovarieties of algebras with fuzzy equalities.
    Fuzzy Sets and Systems 260(2015), pp. 110–120.
    [Elsevier Science, DOI 10.1016/j.fss.2014.07.014, ISSN 0165–0114, bibtex, xml]
  40. Fuzzy logic programming reduced to reasoning with attribute implications.
    Fuzzy Sets and Systems 262(2015), pp. 1–20 (coauthor Kühr T.).
    [Elsevier Science, DOI 10.1016/j.fss.2014.04.013, ISSN 0165–0114, bibtex, xml]
  41. Fuzzy inequational logic.
    Int. J. Approx. Reasoning 60(2015), pp. 23–36 (CoRR abs/1408.2447).
    [Elsevier Science, DOI 10.1016/j.ijar.2015.03.003, ISSN 0888–613X, bibtex, xml, pdf]
  42. Rewriting systems over similarity and generalized pseudometric spaces and their properties.
    Fuzzy Sets and Systems 275(2015), pp. 110–129 (coauthor Kühr T.).
    [Elsevier Science, DOI 10.1016/j.fss.2014.11.001, ISSN 0165–0114, bibtex, xml]
  43. Monoidal functional dependencies.
    J. Comput. System Sci. 81(7)(2015), pp. 1357–1372 (CoRR abs/1409.0980).
    [Elsevier Science, DOI 10.1016/j.jcss.2015.03.006, ISSN 0022–0000, pdf]
  44. A logic of graded attributes.
    Arch. Math. Logic 54(7–8)(2015), pp. 785–802 (coauthor Bělohlávek R.).
    [Springer-Verlag, DOI 10.1007/s00153–015–0440–0, ISSN 0933–5846 (paper) 1432–0665 (on-line), bibtex, xml]
  45. On sets of graded attribute implications with witnessed non-redundancy.
    Information Sciences 329(2016), pp. 434–446 (CoRR abs/1505.04677).
    [Elsevier Science, DOI 10.1016/j.ins.2015.09.044, ISSN 0020–0255, bibtex, xml, pdf]
  46. Automated prover for attribute dependencies in data with grades.
    Int. J. Approx. Reasoning 70(2016), pp. 51–67 (coauthors Bělohlávek R., Cordero P., Enciso M., Mora A.).
    [Elsevier Science, DOI 10.1016/j.ijar.2015.12.007, ISSN 0888–613X, bibtex, xml]
  47. Factorization of matrices with grades.
    Fuzzy Sets and Systems 292(2016), pp. 85–97 (coauthor Bělohlávek R.).
    [Elsevier Science, DOI 10.1016/j.fss.2015.03.020, ISSN 0165–0114, bibtex, xml]
  48. Parameterizing the semantics of fuzzy attribute implications by systems of isotone Galois connections.
    IEEE Trans. Fuzzy Systems 24(3)(2016), pp. 645–660 (CoRR abs/1410.6960).
    [IEEE, DOI 10.1109/TFUZZ.2015.2470530, ISSN 1063–6706, bibtex, xml, pdf]
  49. Computing sets of graded attribute implications with witnessed non-redundancy.
    Information Sciences 351(2016), pp. 90–100 (CoRR abs/1511.01640).
    [Elsevier Science, DOI 10.1016/j.ins.2016.03.004, ISSN 0020–0255, bibtex, xml, pdf]
  50. Relational division in rank-aware databases.
    Information Sciences 366(2016), pp. 48–69 (CoRR abs/1507.00541, coauthor Vaverka O.).
    [Elsevier Science, DOI 10.1016/j.ins.2016.02.060, ISSN 0020–0255, bibtex, xml, pdf]
  51. Variety theorem for algebras with fuzzy orders.
    Fuzzy Sets and Systems 303(2016), pp. 114–127 (CoRR abs/abs/1406.7702).
    [Elsevier Science, DOI 10.1016/j.fss.2015.11.017, ISSN 0165–0114, bibtex, xml, pdf]
  52. Attribute dependencies for data with grades I.
    Int. J. General Systems 45(7–8)(2016), pp. 864–888 (coauthor Bělohlávek R.).
    [Taylor & Francis Group, DOI 10.1080/03081079.2016.1205711, ISSN 0308–1079 (paper) 1563–5104 (on-line), bibtex, xml]
  53. Invariance to ordinal transformations in rank-aware databases.
    Information Sciences 378(2017), pp. 75–98 (CoRR abs/1601.02848).
    [Elsevier Science, DOI 10.1016/j.ins.2016.10.044, ISSN 0020–0255, bibtex, xml, pdf]
  54. Attribute dependencies for data with grades II.
    Int. J. General Systems 46(1)(2017), pp. 66–92 (coauthor Bělohlávek R.).
    [Taylor & Francis Group, DOI 10.1080/03081079.2016.1205712, ISSN 0308–1079 (paper) 1563–5104 (on-line), bibtex, xml]
  55. Logic of temporal attribute implications.
    Ann. Math. Artif. Intell. 79(4)(2017), pp. 307–335 (CoRR abs/1412.3633, coauthor Tříska J.).
    [Springer-Verlag, DOI 10.1007/s10472–016–9526–6, ISSN 1573–7470, bibtex, xml, pdf]
  56. Relational similarity-based model of data, Part 1: Foundations and query systems.
    Int. J. General Systems 46(7)(2017), pp. 671–751 (coauthor Bělohlávek R.).
    [Taylor & Francis Group, DOI 10.1080/03081079.2017.1357550, ISSN 0308–1079 (paper) 1563–5104 (on-line)]
  57. Closure structures parameterized by systems of isotone Galois connections.
    Int. J. Approx. Reasoning 91(2017), pp. 1–21 (CoRR abs/1701.02445).
    [Elsevier Science, DOI 10.1016/j.ijar.2017.08.013, ISSN 0888–613X, pdf]

papers in conference proceedings

  1. Algebras with fuzzy equalities.
    Proceedings of the 10th IFSA World Congress, 2003, pp. 1–4 (coauthor Bělohlávek R.).
    [Boğaziçi University, İstanbul, Turkey, ISBN 975–518–208–X, pdf]
  2. Galois connections with truth stressers: foundations for formal concept analysis of object-attribute data with fuzzy attributes.
    In: Reusch B. (Ed.): Computational Intelligence, Theory and Applications, Advances in Soft Computing 2, 2005, pp. 205–219 (coauthors Bělohlávek R., Funioková T.).
    [Springer-Verlag Berlin Heidelberg 2005, DOI 10.1007/3–540–31182–3_18, ISBN 3–540–22807–1, bibtex, xml, pdf]
  3. Implications from data with fuzzy attributes.
    AISTA 2004 in Cooperation with the IEEE Computer Society Proceedings, 2004, 5 pages (coauthors Bělohlávek R., Chlupová M.).
    [University of Canberra, Centre de Recherche Public Henri Tudor, ISBN 2–9599776–8–8, pdf]
  4. Reducing the size of fuzzy concept lattices by hedges.
    Proceedings of FUZZ-IEEE 2005: The 14th IEEE International Conference on Fuzzy Systems, 2005, pp. 663–668 (coauthor Bělohlávek R.).
    [IEEE Computer Society, ISBN 0–7803–9158–6, ISSN 1098–7584, Catalog Number: 05CH37680, pdf]
  5. Implications from data with fuzzy attributes vs. scaled binary attributes.
    Proceedings of FUZZ-IEEE 2005: The 14th IEEE International Conference on Fuzzy Systems, 2005, pp. 1050–1055 (coauthor Bělohlávek R.).
    [IEEE Computer Society, ISBN 0–7803–9158–6, ISSN 1098–7584, Catalog Number: 05CH37680, pdf]
  6. Fuzzy attribute implications as formulas of logics with truth-evaluated syntax.
    Proceedings of the 8th Joint Conference on Information Sciences, 2005, pp. 74–77.
    [Joint Conference on Information Sciences, ISBN 0–9707890–3–3, pdf]
  7. Fuzzy attribute logic: syntactic entailment and completeness.
    Proceedings of the 8th Joint Conference on Information Sciences, 2005, pp. 78–81 (coauthor Bělohlávek R.).
    [Joint Conference on Information Sciences, ISBN 0–9707890–3–3, pdf]
  8. Reducing attribute implications from data tables with fuzzy attributes to tables with binary attributes.
    Proceedings of the 8th Joint Conference on Information Sciences, 2005, pp. 82–85 (coauthor Bělohlávek R.).
    [Joint Conference on Information Sciences, ISBN 0–9707890–3–3, pdf]
  9. Fuzzy attribute logic: attribute implications, their validity, entailment, and non-redundant basis.
    In: Liu Y., Chen G., Ying M. (Eds.): Fuzzy Logic, Soft Computing & Computational Intelligence: Eleventh International Fuzzy Systems Association World Congress, 2005, pp. 622–627 (Volume I, coauthor Bělohlávek R.).
    [Tsinghua University Press and Springer, ISBN 7–302–11377–7, pdf]
  10. Galois connections with hedges.
    In: Liu Y., Chen G., Ying M. (Eds.): Fuzzy Logic, Soft Computing & Computational Intelligence: Eleventh International Fuzzy Systems Association World Congress, 2005, pp. 1250–1255 (Volume II, coauthors Bělohlávek R., Funioková T.).
    [Tsinghua University Press and Springer, ISBN 7–302–11377–7, pdf]
  11. What is a fuzzy concept lattice?.
    In: Bělohlávek R., Snášel V. (Eds.): Proc. CLA 2005, pp. 34–45 (CEUR WS, Vol. 162, coauthor Bělohlávek R.).
    [Palacký University in Olomouc, VŠB – Technical University of Ostrava, ISBN 80–248–0863–3, ISSN 1613–0073, pdf]
  12. Fuzzy attribute implications: computing non-redundant bases using maximal independent sets.
    In: Zhang S., Jarvis R. (Eds.): AI 2005: Advances in Artificial Intelligence: 18th Australian Joint Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 3809, 2005, pp. 1126–1129 (coauthor Bělohlávek R.).
    [Springer-Verlag Berlin Heidelberg 2005, DOI 10.1007/11589990_153, ISBN 3–540–30462–2, bibtex, xml, pdf]
  13. Axiomatizations of fuzzy attribute logic.
    In: Prasad B. (Ed.): IICAI 2005, Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005, pp. 2178–2193 (coauthor Bělohlávek R.).
    [IICAI 2005, ISBN 0–9727412–1–6, bibtex, xml, pdf]
  14. Functional dependencies of data tables over domains with similarity.
    In: Prasad B. (Ed.): IICAI 2005, Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005, pp. 2486–2504 (coauthor Bělohlávek R.).
    [IICAI 2005, ISBN 0–9727412–1–6, bibtex, xml, pdf]
  15. Attribute implications in a fuzzy setting.
    In: Missaoui R., Schmid J. (Eds.): Formal Concept Analysis: 4th International Conference, ICFCA 2006, Proceedings, Lecture Notes in Artificial Intelligence 3874, 2006, pp. 45–60 (coauthor Bělohlávek R.).
    [Springer-Verlag Berlin Heidelberg 2006, DOI 10.1007/11671404_3, ISBN 3–540–32203–5, bibtex, xml, pdf]
  16. Data tables with similarity relations: functional dependencies, complete rules, and non-redundant bases.
    In: Lee M. L., Tan K. L., Wuwongse V. (Eds.): Database Systems for Advanced Applications: 11th International Conference, DASFAA 2006, Proceedings, Lecture Notes in Computer Science 3882, 2006, pp. 644–658 (coauthor Bělohlávek R.).
    [Springer-Verlag Berlin Heidelberg 2006, DOI 10.1007/11733836_45, ISBN 3–540–33337–1, bibtex, xml, pdf]
  17. Computing non-redundant bases of if-then rules from data tables with graded attributes.
    In: Zhang Y. Q., Lin T. Y. (Eds.): 2006 IEEE International Conference on Granular Computing, 2006, pp. 205–210 (coauthor Bělohlávek R.).
    [IEEE Computer Society, ISBN 1–4244–0133–X, Catalog Number: 06EX1286, bibtex, xml, pdf]
  18. Dense rectangles in object-attribute data.
    In: Zhang Y. Q., Lin T. Y. (Eds.): 2006 IEEE International Conference on Granular Computing, 2006, pp. 586–591 (coauthor Bělohlávek R.).
    [IEEE Computer Society, ISBN 1–4244–0133–X, Catalog Number: 06EX1286, bibtex, xml, pdf]
  19. Estimations of similarity in formal concept analysis of data with graded attributes.
    In: Last M., Szczepaniak P. S., Volkovich Z., Kandel A. (Eds.): Advances in Web Intelligence and Data Mining, Studies in Computational Intelligence 23, 2006, pp. 243–252 (coauthor Bělohlávek R.).
    [Springer-Verlag Berlin Heidelberg 2006, DOI 10.1007/3–540–33880–2_25, ISBN 3–540–33879–9, bibtex, xml, pdf]
  20. Thresholds and shifted attributes in formal concept analysis of data with fuzzy attributes.
    In: Schärfe H., Hitzler P., Øhrstrøm P. (Eds.): Proc. ICCS 2006, Lecture Notes in Artificial Intelligence 4068, 2006, pp. 117–130 (coauthors Bělohlávek R., Outrata J.).
    [Springer-Verlag Berlin Heidelberg 2006, DOI 10.1007/11787181_9, ISBN 3–540–35893–5, bibtex, xml, pdf]
  21. Formal concept analysis with constraints by closure operators.
    In: Schärfe H., Hitzler P., Øhrstrøm P. (Eds.): Proc. ICCS 2006, Lecture Notes in Artificial Intelligence 4068, 2006, pp. 131–143 (coauthor Bělohlávek R.).
    [Springer-Verlag Berlin Heidelberg 2006, DOI 10.1007/11787181_10, ISBN 3–540–35893–5, bibtex, xml, pdf]
  22. Replacing full rectangles by dense rectangles: concept lattices and attribute implications.
    The 2006 IEEE International Conference on Information Reuse and Integration, IEEE IRI–2006 (Heuristic Systems Engineering), 2006, pp. 117–122 (coauthor Bělohlávek R.).
    [IEEE Computer Society, ISBN 0–7803–9788–6, Catalog Number: 06EX1467, bibtex, xml, pdf]
  23. Similarity issues in attribute implications from data with fuzzy attributes.
    The 2006 IEEE International Conference on Information Reuse and Integration, IEEE IRI–2006 (Heuristic Systems Engineering), 2006, pp. 132–135 (coauthor Bělohlávek R.).
    [IEEE Computer Society, ISBN 0–7803–9788–6, Catalog Number: 06EX1467, bibtex, xml, pdf]
  24. Relational model of data over domains with similarities: an extension for similarity queries and knowledge extraction.
    The 2006 IEEE International Conference on Information Reuse and Integration, IEEE IRI–2006 (Heuristic Systems Engineering), 2006, pp. 207–213 (coauthor Bělohlávek R.).
    [IEEE Computer Society, ISBN 0–7803–9788–6, Catalog Number: 06EX1467, bibtex, xml, pdf]
  25. Properties of models of fuzzy attribute implications.
    Proceedings of SCIS & ISIS 2006: Joint 3rd International Conference on Soft Computing and Intelligent Systems and 7th International Symposium on advanced Intelligent Systems, 2006, pp. 291–296 (coauthor Bělohlávek R.).
    [Tokyo Institute of Technology, Japan Society for Fuzzy Theory and Intelligent Informatics, ISSN 1880–3741, pdf]
  26. Reducing the size of fuzzy concept lattices by fuzzy closure operators.
    Proceedings of SCIS & ISIS 2006: Joint 3rd International Conference on Soft Computing and Intelligent Systems and 7th International Symposium on advanced Intelligent Systems, 2006, pp. 309–314 (coauthor Bělohlávek R.).
    [Tokyo Institute of Technology, Japan Society for Fuzzy Theory and Intelligent Informatics, ISSN 1880–3741, pdf]
  27. On Boolean factor analysis with formal concept as factors.
    Proceedings of SCIS & ISIS 2006: Joint 3rd International Conference on Soft Computing and Intelligent Systems and 7th International Symposium on advanced Intelligent Systems, 2006, pp. 1054–1059 (coauthor Bělohlávek R.).
    [Tokyo Institute of Technology, Japan Society for Fuzzy Theory and Intelligent Informatics, ISSN 1880–3741, pdf]
  28. On generating of proofs.
    Proceedings of SCIS & ISIS 2006: Joint 3rd International Conference on Soft Computing and Intelligent Systems and 7th International Symposium on advanced Intelligent Systems, 2006, pp. 1071–1078.
    [Tokyo Institute of Technology, Japan Society for Fuzzy Theory and Intelligent Informatics, ISSN 1880–3741, pdf]
  29. Semantic entailment of attribute-dependency formulas and their non-redundant bases.
    In: Cheng H. D., Chen S. D., Lin R. Y. (Eds.): Proceedings of the 9th Joint Conference on Information Sciences, Advances in Intelligent Systems Research, 2006, pp. 747–750 (coauthor Bělohlávek R.).
    [Joint Conference on Information Sciences, Atlantis Press, DOI 10.2991/jcis.2006.234, ISBN 978–90–78677–01–7, bibtex, xml, pdf]
  30. Axiomatization of fuzzy attribute logic over complete residuated lattices.
    In: Cheng H. D., Chen S. D., Lin R. Y. (Eds.): Proceedings of the 9th Joint Conference on Information Sciences, Advances in Intelligent Systems Research, 2006, pp. 1152–1155 (coauthor Bělohlávek R.).
    [Joint Conference on Information Sciences, DOI 10.2991/jcis.2006.281, ISBN 978–90–78677–01–7, bibtex, xml, pdf]
  31. Pavelka-style fuzzy logic for attribute implications.
    In: Cheng H. D., Chen S. D., Lin R. Y. (Eds.): Proceedings of the 9th Joint Conference on Information Sciences, Advances in Intelligent Systems Research, 2006, pp. 1156–1159 (coauthor Bělohlávek R.).
    [Joint Conference on Information Sciences, DOI 10.2991/jcis.2006.282, ISBN 978–90–78677–01–7, bibtex, xml, pdf]
  32. On factorization by similarity of fuzzy concept lattices with hedges.
    In: Ben Yahia S., Nguifo E. M. (Eds.): Proc. CLA 2006, pp. 57–69 (coauthors Bělohlávek R., Outrata J.).
    [Faculté des Sciences de Tunis, Université Centrale, ISBN 978–9973–61–481–0]
  33. Graded LinClosure.
    In: Ben Yahia S., Nguifo E. M. (Eds.): Proc. CLA 2006, pp. 71–84 (coauthor Bělohlávek R.).
    [Faculté des Sciences de Tunis, Université Centrale, ISBN 978–9973–61–481–0]
  34. Reducing the size of if-then rules generated from data tables with graded attributes.
    In: Mohammadian M. (Ed.): Proc. International Conference on Computational Intelligence for Modelling Control and Automation – CIMCA 2006, 6 pages (coauthor Bělohlávek R.).
    [IEEE Computer Society, ISBN 0–7695–2731–0, bibtex, xml, pdf]
  35. Codd's relational model of data and fuzzy logic: comparisons, observations, and some new results.
    In: Mohammadian M. (Ed.): Proc. International Conference on Computational Intelligence for Modelling Control and Automation – CIMCA 2006, 6 pages (coauthor Bělohlávek R.).
    [IEEE Computer Society, ISBN 0–7695–2731–0, bibtex, xml, pdf]
  36. Scales behind computational intelligence: exploring properties of finite lattices.
    Proceedings of the 2007 IEEE Symposium Series on Computational Intelligence (IEEE SSCI 2007), 2007, pp. 556–563 (coauthor Bělohlávek R.).
    [IEEE Computer Society, ISBN 1–4244–0698–6, bibtex, xml, pdf]
  37. Counting finite residuated lattices.
    In: Melin P., Castillo O., Aguilar L. T., Kacprzyk J., Pedrycz W. (Eds.): Foundations of Fuzzy Logic and Soft Computing: 12th International Fuzzy Systems Association World Congress, Lecture Notes in Artificial Intelligence 4529, 2007, pp. 461–470 (coauthor Bělohlávek R.).
    [Springer Berlin Heidelberg New York 2007, DOI 10.1007/978-3-540-72950-1_46, ISBN 978–3–540–72917–4, bibtex, xml, pdf]
  38. On proofs and rule of multiplication in fuzzy attribute logic.
    In: Melin P., Castillo O., Aguilar L. T., Kacprzyk J., Pedrycz W. (Eds.): Foundations of Fuzzy Logic and Soft Computing: 12th International Fuzzy Systems Association World Congress, Lecture Notes in Artificial Intelligence 4529, 2007, pp. 471–480 (coauthor Bělohlávek R.).
    [Springer Berlin Heidelberg New York 2007, DOI 10.1007/978-3-540-72950-1_47, ISBN 978–3–540–72917–4, bibtex, xml, pdf]
  39. Relational factor analysis with o-matrix decomposition.
    In: Reformat M., Berthold M. R. (Eds.): Proc. NAFIPS 2007, 2007, pp. 152–157 (coauthor Bělohlávek R.).
    [IEEE Computer Society, ISBN 1–4244–1214–5, Catalog Number: 07TH8957C, pdf]
  40. 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 (coauthors Bělohlávek R., Krupka M.).
    [IEEE Computer Society, ISBN 1–4244–1214–5, Catalog Number: 07TH8957C, pdf]
  41. On construction of MRAP-sequences.
    Proceedings of the 10th Joint Conference on Information Sciences, 2007, 7 pages (coauthor Bělohlávek R.).
    [World Scientific Publishing Co. Pte. Ltd., DOI 10.1142/9789812709677_0171, ISBN 978–981–270–967–7, pdf]
  42. Completeness of inference and efficient computation of attribute-dependency formulas for tabular data.
    Proceedings of the 10th Joint Conference on Information Sciences, 2007, 7 pages (coauthor Bělohlávek R.).
    [World Scientific Publishing Co. Pte. Ltd., DOI 10.1142/9789812709677_0027, ISBN 978–981–270–967–7, pdf]
  43. Generating non-redundant bases of data tables with fuzzy attributes by reduction of complete sets of fuzzy attribute implications.
    Proceedings of FUZZ-IEEE 2007: The 16th IEEE International Conference on Fuzzy Systems, 2007, pp. 936–941 (coauthor Horák Z.).
    [IEEE Computer Society, ISBN 1–4244–1210–2, ISSN 1098–7584, Catalog Number: 07CH37904C, bibtex, xml, pdf]
  44. Lindig's algorithm for concept lattices over graded attributes.
    In: Torra V., Narukawa Y., Yoshida  Y. (Eds.): Modeling Decisions for Artificial Intelligence: 4th International Conference, Lecture Notes in Artificial Intelligence 4617, 2007, pp. 156–167 (coauthors Bělohlávek R., De Baets B., Outrata J.).
    [Springer Berlin Heidelberg 2007, DOI 10.1007/978–3–540–73729–2_15, ISBN 978–3–540–73728–5, bibtex, xml, pdf]
  45. Trees in concept lattices.
    In: Torra V., Narukawa Y., Yoshida  Y. (Eds.): Modeling Decisions for Artificial Intelligence: 4th International Conference, Lecture Notes in Artificial Intelligence 4617, 2007, pp. 174–184 (coauthors Bělohlávek R., De Baets B., Outrata J.).
    [Springer Berlin Heidelberg 2007, DOI 10.1007/978–3–540–73729–2_17, ISBN 978–3–540–73728–5, bibtex, xml, pdf]
  46. Relational algebra for ranked tables with similarities: properties and implementation.
    In: Berthold M. R., Shawe-Taylor J., Lavrac N. (Eds.): Advances in Intelligent Data Analysis VII, Lecture Notes in Computer Science 4723, 2007, pp. 140–151 (coauthors Bělohlávek R., Opichal S.).
    [Springer Berlin Heidelberg 2007, DOI 10.1007/978–3–540–74825–0_13, ISBN 978–3–540–74824–3, ISSN 0302–9743 (paper) 1611–3349 (on-line), bibtex, xml, pdf]
  47. Formal concepts as optimal factors in Boolean factor analysis: implications and experiments.
    In: Diatta J., Eklund P., Liquière M. (Eds.): Proc. CLA 2007, 2007, pp. 192–202 (CEUR WS, Vol. 331, coauthor Bělohlávek R.).
    [LIRMM & University of Montpellier II, 2007, bibtex, xml, pdf]
  48. Inducing decision trees via concept lattices.
    In: Diatta J., Eklund P., Liquière M. (Eds.): Proc. CLA 2007, 2007, pp. 274–285 (CEUR WS, Vol. 331, coauthors Bělohlávek R., De Baets B., Outrata J.).
    [LIRMM & University of Montpellier II, 2007, bibtex, xml, pdf]
  49. Direct factorization by similarity of fuzzy concept lattices by factorization of input data.
    In: Ben Yahia S., Mephu Nguifo E., Belohlavek R. (Eds.): Concept Lattices and their Applications, Lecture Notes in Artificial Intelligence 4923, 2008, pp. 68–79 (coauthors Bělohlávek R., Outrata J.).
    [Springer Berlin Heidelberg 2008, DOI 10.1007/978–3–540–78921–5_4, ISBN 978–3–540–78920–8, ISSN 0302–9743 (paper) 1611–3349 (on-line), bibtex, xml, pdf]
  50. Graded LinClosure and its role in relational data analysis.
    In: Ben Yahia S., Mephu Nguifo E., Belohlavek R. (Eds.): Concept Lattices and their Applications, Lecture Notes in Artificial Intelligence 4923, 2008, pp. 139–154 (coauthor Bělohlávek R.).
    [Springer Berlin Heidelberg 2008, DOI 10.1007/978–3–540–78921–5_9, ISBN 978–3–540–78920–8, ISSN 0302–9743 (paper) 1611–3349 (on-line), bibtex, xml, pdf]
  51. Adding background knowledge to formal concept analysis via attribute dependency formulas.
    ACM SAC 2008, pp. 938–943 (coauthor Bělohlávek R.).
    [ACM Press, DOI 10.1145/1363686.1363900, ISBN 978–1–59593–753–7/08/0003, bibtex, xml, pdf]
  52. A new algorithm for computing formal concepts.
    In: Trappl R. (Ed.): Cybernetics and Systems 2008: Proceedings of the 19th European Meeting on Cybernetics and Systems Research, 2008, pp. 15–21.
    [Austrian Society for Cybernetics Studies, Vienna, ISBN 978–3–85206–175–7, pdf]
  53. Compositions of fuzzy relations with hedges II.
    Proc. NAFIPS 2008, 2008, 5 pages (coauthors Bartl E., Bělohlávek R.).
    [IEEE Computer Society, ISBN 978–1–4244–2352–1, Catalog Number: CFP08750–CDR, pdf]
  54. On the importance of fuzzy attribute implications.
    Proceedings of FUZZ-IEEE 2008: The 17th IEEE International Conference on Fuzzy Systems, 2008, pp. 281–286.
    [IEEE Computer Society, ISBN 978–1–4244–1819–0, ISSN 1098–7584, Catalog Number: CFP08FUZ–CDR, bibtex, xml, pdf]
  55. Compositions of fuzzy relations with hedges.
    Proceedings of FUZZ-IEEE 2008: The 17th IEEE International Conference on Fuzzy Systems, 2008, pp. 1100–1105 (coauthors Bartl E., Bělohlávek R.).
    [IEEE Computer Society, ISBN 978–1–4244–1819–0, ISSN 1098–7584, Catalog Number: CFP08FUZ–CDR, bibtex, xml, pdf]
  56. Isotone Galois connections and concept lattices with hedges.
    Proceedings of IEEE CIS 2008: The Fourth International IEEE Conference on Intelligent Systems, 2008, pp. 15-24–15-28 (coauthors Bartl E., Bělohlávek R., Konečný J.).
    [IEEE Computer Society, ISBN 978–1–4244–1740–7, Catalog Number: CFP08802–CDR, pdf]
  57. Parallel Recursive Algorithm for FCA.
    In: Bělohlávek R., Kuznetsov S. O. (Eds.): Proc. CLA 2008, 2008, pp. 71–82 (CEUR WS, Vol. 433, coauthors Krajča P., Outrata J.).
    [Palacký University, Olomouc, Czech Republic, ISBN 978–80–244–2111–7, pdf]
  58. Data parallel dialect of Scheme: Outline of the formal model, implementation, and performance.
    ACM SAC 2009, pp. 1938–1939 (coauthor Krajča P.).
    [ACM Press, DOI 10.1145/1529282.1529713, ISBN 978–1–60558–166–8/09/03, bibtex, xml, pdf]
  59. Factor analysis of incidence data via novel decomposition of matrices.
    In: Ferré S., Rudolph S. (Eds.): Formal Concept Analysis: 7th International Conference, ICFCA 2009, Proceedings, Lecture Notes in Artificial Intelligence 5548, 2009, pp. 83–97 (coauthor Bělohlávek R.).
    [Springer Berlin Heidelberg 2009, DOI 10.1007/978–3–642–01815–2_8, ISBN 978–3–642–1814–5, bibtex, xml, pdf]
  60. A novel approach to cell formation.
    In: Ferré S., Rudolph S. (Eds.): Formal Concept Analysis: 7th International Conference, ICFCA 2009, Proceedings, Lecture Notes in Artificial Intelligence 5548, 2009, pp. 210–223 (coauthors Bělohlávek R., Kulkarni N.).
    [Springer Berlin Heidelberg 2009, DOI 10.1007/978–3–642–01815–2_16, ISBN 978–3–642–1814–5, bibtex, xml, pdf]
  61. Logical foundations for similarity-based databases.
    In: Chen L., Liu C., Liu Q., Deng K. (Eds.): Database Systems for Advanced Applications, DASFAA 2009 International Workshops, Lecture Notes in Computer Science 5667, 2009, pp. 137–151 (coauthor Bělohlávek R.).
    [Springer Berlin Heidelberg 2009, DOI 10.1007/978–3–642–04205–8_13, ISBN 978–3–642–04204–1, bibtex, xml, pdf]
  62. Distributed algorithm for computing formal concepts using map-reduce framework.
    In: Adams N. M., Robardet C., Siebes A., Boulicaut J.–F. (Eds.): Advances in Intelligent Data Analysis VIII, Lecture Notes in Computer Science 5772, 2009, pp. 333–344 (coauthor Krajča P.).
    [Springer Berlin Heidelberg 2009, DOI 10.1007/978–3–642–03915–7_29, ISBN 978–3–642–03914–0, bibtex, xml, pdf]
  63. Confluence and related properties of fuzzy relations.
    Proceedings of FUZZ-IEEE 2009: The 18th IEEE International Conference on Fuzzy Systems, 2009, pp. 569–574 (coauthors Bělohlávek R., Kühr T.).
    [IEEE Computer Society, DOI 10.1109/FUZZY.2009.5277248, ISBN 978–1–4244–3596–8, ISSN 1098–7584, bibtex, xml]
  64. Comparison of data structures for computing formal concepts.
    In: Torra V., Narukawa Y., Inuiguchi M. (Eds.): Modeling Decisions for Artificial Intelligence: 6th International Conference, Lecture Notes in Artificial Intelligence 5861, 2009, pp. 114–125 (coauthor Krajča P.).
    [Springer Berlin Heidelberg 2009, DOI 10.1007/978–3–642–04820–3_11, ISBN 978–3–642–04819–7, bibtex, xml, pdf]
  65. Background knowledge in formal concept analysis: constraints via closure operators.
    ACM SAC 2010, pp. 1113–1114 (coauthor Bělohlávek R.).
    [ACM Press, DOI 10.1145/1774088.1774322, ISBN 978–1–60558–638–0/10/03, bibtex, xml, pdf]
  66. Query systems in similarity-based databases: logical foundations, expressive power, and completeness.
    ACM SAC 2010, pp. 1648–1655 (coauthor Bělohlávek R.).
    [ACM Press, DOI 10.1145/1774088.1774444, ISBN 978–1–60558–638–0/10/03, bibtex, xml, pdf]
  67. Software transactional memory for implicitly parallel functional language.
    ACM SAC 2010, pp. 2123–2130 (coauthor Krajča P.).
    [ACM Press, DOI 10.1145/1774088.1774536, ISBN 978–1–60558–638–0/10/03, bibtex, xml, pdf]
  68. Confluence of fuzzy relations over similarity spaces.
    In: Trappl R. (Ed.): Cybernetics and Systems 2010: Proceedings of the 20th European Meeting on Cybernetics and Systems Research, 2010, pp. 26–31 (coauthor Kühr T.).
    [Austrian Society for Cybernetics Studies, Vienna, ISBN 978–3–85206–178–8, pdf]
  69. Optimal factorization of three-way binary data.
    In: Hu X., Lin T. Y., Raghavan V., Grzymala-Busse J., Liu Q., Broder A. (Eds.): 2010 IEEE International Conference on Granular Computing, IEEE Symposium on Foundations and Practice of Data Mining in GrC2010, 2010, pp. 61–66 (coauthor Bělohlávek R.).
    [IEEE Computer Society, DOI 10.1109/GrC.2010.181, ISBN 978–0–7695–4161–7, bibtex, xml, pdf]
  70. Factorizing three-way binary data with triadic formal concepts.
    In: Setchi R., Jordanov I., Jain L. C. (Eds.): Knowledge-Based and Intelligent Information and Engineering Systems: 14th International Conference, Proceedings, Part I, Lecture Notes in Artificial Intelligence 6276, 2010, pp. 471–480 (coauthor Bělohlávek R.).
    [Springer Berlin Heidelberg 2010, DOI 10.1007/978–3–642–15387–7_51, ISBN 978–3–642–15386–0, bibtex, xml]
  71. Factorizing three-way binary data.
    In: Gelenbe E., Lent R., Sakellari G., Sacan A., Toroslu A., Yazici A. (Eds.): Computer and Information Sciences, Lecture Notes in Electrical Engineering 62, 2010, pp. 23–26 (coauthor Bělohlávek R.).
    [Springer Berlin Heidelberg 2010, DOI 10.1007/978–978–90–481–9794–1_5, ISBN 978–90–481–9793–4, bibtex, xml]
  72. Advances in algorithms based on CbO.
    In: Kryszkiewicz M., Obiedkov S. (Eds.): Proc. CLA 2010, 2010, pp. 325–337 (CEUR WS, Vol. 672, coauthors Krajča P., Outrata J.).
    [University of Sevilla, Sevilla, Spain, ISBN 978–84–614–4027–6, ISSN 1613–0073, bibtex, xml, pdf]
  73. Fuzzy attribute logic with model constraints.
    In: Galichet S., Montero J., Mauris G. (Eds.): Proc. EUSFLAT 2011 and LFA 2011, Advances in Intelligent Systems Research, 2011, pp. 203–208 (coauthor Bělohlávek R.).
    [Atlantis Press, ISBN 978–90–78677–00–0, ISSN 1951–6851]
  74. Similarity of query results in similarity-based databases.
    In: Yao J. T., Ramanna S., Wang G., Suraj Z. (Eds.): Rough Sets and Knowledge Technology, Lecture Notes in Computer Science 6954, 2011, pp. 258–267 (coauthors Bělohlávek R., Urbanová L.).
    [Springer Berlin Heidelberg 2011, DOI 10.1007/978–3–642–24425–4_35, ISBN 978–3–642–24424–7, ISSN 0302–9743 (paper) 1611–3349 (on-line), bibtex, xml]
  75. Factorizing Three-Way Ordinal Data Using Triadic Formal Concepts.
    In: Christiansen H., De Tré G., Yazici A., Zadrozny S., Andreasen T., Larsen H. L. (Eds.): Flexible Query Answering Systems, Lecture Notes in Computer Science 7022, 2011, pp. 400–411 (coauthors Bělohlávek R., Osička P.).
    [Springer Berlin Heidelberg 2011, DOI 10.1007/978–3–642–24764–4_35, ISBN 978–3–642–24763–7, ISSN 0302–9743 (paper) 1611–3349 (on-line), bibtex, xml]
  76. Using frequent closed itemsets for data dimensionality reduction.
    Proceedings of the ICDM 2011: The 11th IEEE International Conference on Data Mining, 2011, pp. 1128–1133 (coauthors Krajča P., Outrata J.).
    [IEEE Computer Society, Conference Publishing Services, Los Alamitos, CA, USA, BMS Part Number CFP11278–CDR, Product Number E4408, ISBN 978–0–7695–4408–3, bibtex, xml]
  77. Attribute implications in similarity-based databases: semantic entailment and nonredundant bases.
    ACM SAC 2012, 2012, pp. 840–846 (coauthor Bělohlávek R.).
    [ACM Press, DOI 10.1145/2245276.2245441, ISBN 978–1–4503–0857–1, bibtex, xml]
  78. Applications of ordinal ranks to flexible query answering.
    In: Hüllermeier E., Link S., Fober T., Seeger B. (Eds.): Scalable Uncertainty Management: 6th International Conference, Lecture Notes in Computer Science 7520, 2012, pp. 16–29 (coauthors Urbanová L., Wiese L.).
    [Springer Berlin Heidelberg 2012, DOI 10.1007/978–3–642–33362–0_2, ISBN 978–3–642–33361–3, bibtex, xml]
  79. An efficient reasoning method for dependencies over similarity and ordinal data.
    In: Torra V., Narukawa Y., López B., Villaret M. (Eds.): Modeling Decisions for Artificial Intelligence: 9th International Conference, Lecture Notes in Computer Science 7647, 2012, pp. 408–419 (coauthors Bělohlávek R., Cordero P., Enciso M., Mora A.).
    [Springer Berlin Heidelberg 2012, DOI 10.1007/978–3–642–34620–0_36, ISBN 978–3–642–34619–4, bibtex, xml]
  80. Representing fuzzy logic programs by graded attribute implications.
    In: Torra V., Narukawa Y., López B., Villaret M. (Eds.): Modeling Decisions for Artificial Intelligence: 9th International Conference, Lecture Notes in Computer Science 7647, 2012, pp. 246–257 (coauthor Kühr T.).
    [Springer Berlin Heidelberg 2012, DOI 10.1007/978–3–642–34620–0_23, ISBN 978–3–642–34619–4, bibtex, xml]
  81. Sensitivity analysis for declarative relational query languages with ordinal ranks.
    In: Tompits H., Abreu S., Oetsch J., Pührer J., Seipel D., Umeda M., Wolf A. (Eds.): Applications of Declarative Programming and Knowledge Management: 19th International Conference, INAP 2011, Lecture Notes in Artificial Intelligence 7773, 2013, pp. 58–76 (coauthors Bělohlávek R., Urbanová L.).
    [Springer Berlin Heidelberg 2013, DOI 10.1007/978–3–642–41524–1_4, ISBN 978–3–642–41523–4]
  82. Relational algebra for multi-ranked similarity-based databases.
    Proceedings of the 2013 IEEE Symposium on Foundations of Computational Intelligence (FOCI 2013), 2013, pp. 1–8 (coauthor Bělohlávek R.).
    [IEEE Computer Society, DOI 10.1109/FOCI.2013.6602448, ISBN 978–1–4673–5901–6, Catalog Number: CFP13FPC–ART, bibtex, xml]
  83. Foundations of relational similarity-based query language RESIQL.
    Proceedings of the 2013 IEEE Symposium on Foundations of Computational Intelligence (FOCI 2013), 2013, pp. 15–23 (coauthor Krajča P.).
    [IEEE Computer Society, DOI 10.1109/FOCI.2013.6602450, ISBN 978–1–4673–5901–6, Catalog Number: CFP13FPC–ART, bibtex, xml]
  84. Query optimization strategies in similarity-based databases.
    In: Torra V., Narukawa Y., Navarro-Arribas G., Megías D. (Eds.): Modeling Decisions for Artificial Intelligence: 10th International Conference, Lecture Notes in Computer Science 8234, 2013, pp. 179–191 (coauthor Krajča P.).
    [Springer Berlin Heidelberg 2013, DOI 10.1007/978–3–642–41550–0_16, ISBN 978–3–642–41549–4, bibtex, xml]
  85. Towards Armstrong-style inference system for attribute implications with temporal semantics.
    In: Torra V., Narukawa Y., Endo Y. (Eds.): Modeling Decisions for Artificial Intelligence: 11th International Conference, Lecture Notes in Computer Science 8825, 2014, pp. 84–95 (coauthor Tříska J.).
    [Springer Berlin Heidelberg 2014, DOI 10.1007/978–3–319–12054–6_8, ISBN 978–3–319–12053–9, bibtex, xml]
  86. Relational division in rank-aware databases: An overview, issues, and new directions.
    In: Torra V., Narukawa Y., Endo Y. (Eds.): Modeling Decisions for Artificial Intelligence: 11th International Conference, USB Proceedings, 2014, pp. 55–66 (coauthor Vaverka O.).
    [University of Tsukuba 2014, ISBN 978–84–697–1393–8]
  87. Graded data dependencies in relational databases: Reasoning with similarity of time.
    Proc. NAFIPS 2015, 2015, 6 pages (coauthor Tříska J.).
    [IEEE Computer Society, DOI 10.1109/NAFIPS–WConSC.2015.7284170, ISBN 978–1–4673–7248–0]

text-books

  1. Linux: Příručka českého uživatele.
    2003, xvi+260 pages (in Czech).
    [Computer Press, Brno, ISBN 80–7226–333–1]

miscellaneous

  1. Confluence and termination of fuzzy relations.
    Abstract Book of EURO/INFORMS Joint International Meeting, 2003, page 214 (coauthor Bělohlávek R.).
    [Boğaziçi University, İstanbul, Turkey]
  2. If-then rules from data tables with fuzzy attributes.
    In: Gottwald S., Hájek P., Höhle U., Klement E. P. (Eds.): Abstracts 26th Linz Seminar on Fuzzy Set Theory: Fuzzy Logics and Related Structures, 2005, pp. 16–19 (extended abstract, coauthor Bělohlávek R.).
    [Universitätsdirektion, Johannes Keppler Universität, A-4040 Linz, Austria]
  3. Optimal discovery of factors in relational data via a novel method for matrix decomposition.
    (4th Conference on Mathematical Methods in Counterterrorism, September 20–22, 2007, Rochester, NY, coauthor Bělohlávek R.).