BibTeX records: Vilém Vychodil

download as .bib file

@article{DBLP:journals/tfs/CorderoEMV22,
  author       = {Pablo Cordero and
                  Manuel Enciso and
                  {\'{A}}ngel Mora and
                  Vil{\'{e}}m Vychodil},
  title        = {Parameterized Simplification Logic: Reasoning With Implications in
                  an Automated Way},
  journal      = {{IEEE} Trans. Fuzzy Syst.},
  volume       = {30},
  number       = {12},
  pages        = {5534--5543},
  year         = {2022},
  url          = {https://doi.org/10.1109/TFUZZ.2022.3179847},
  doi          = {10.1109/TFUZZ.2022.3179847},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tfs/CorderoEMV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/CorderoEMV20,
  author       = {Pablo Cordero and
                  Manuel Enciso and
                  {\'{A}}ngel Mora and
                  Vil{\'{e}}m Vychodil},
  title        = {Parameterized simplification logic {I:} reasoning with implications
                  and classes of closure operators},
  journal      = {Int. J. Gen. Syst.},
  volume       = {49},
  number       = {7},
  pages        = {724--746},
  year         = {2020},
  url          = {https://doi.org/10.1080/03081079.2020.1831484},
  doi          = {10.1080/03081079.2020.1831484},
  timestamp    = {Fri, 23 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgs/CorderoEMV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/TriskaV18,
  author       = {Jan Triska and
                  Vil{\'{e}}m Vychodil},
  title        = {Minimal bases of temporal attribute implications},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {83},
  number       = {1},
  pages        = {73--97},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9576-z},
  doi          = {10.1007/S10472-018-9576-Z},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/TriskaV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/BelohlavekV18,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Relational similarity-based model of data part 2: dependencies in
                  data},
  journal      = {Int. J. Gen. Syst.},
  volume       = {47},
  number       = {1},
  pages        = {1--50},
  year         = {2018},
  url          = {https://doi.org/10.1080/03081079.2017.1357551},
  doi          = {10.1080/03081079.2017.1357551},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgs/BelohlavekV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/CorderoE0V18,
  author       = {Pablo Cordero and
                  Manuel Enciso and
                  {\'{A}}ngel Mora and
                  Vil{\'{e}}m Vychodil},
  editor       = {Dmitry I. Ignatov and
                  Lhouari Nourine},
  title        = {Towards Simplification Logic for Graded Attribute Implications with
                  General Semantics},
  booktitle    = {Proceedings of the Fourteenth International Conference on Concept
                  Lattices and Their Applications, {CLA} 2018, Olomouc, Czech Republic,
                  June 12-14, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2123},
  pages        = {129--140},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2123/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:10 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/CorderoE0V18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/TriskaV17,
  author       = {Jan Triska and
                  Vil{\'{e}}m Vychodil},
  title        = {Logic of temporal attribute implications},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {79},
  number       = {4},
  pages        = {307--335},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10472-016-9526-6},
  doi          = {10.1007/S10472-016-9526-6},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/TriskaV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Vychodil17,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Closure structures parameterized by systems of isotone Galois connections},
  journal      = {Int. J. Approx. Reason.},
  volume       = {91},
  pages        = {1--21},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ijar.2017.08.013},
  doi          = {10.1016/J.IJAR.2017.08.013},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijar/Vychodil17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/BelohlavekV17,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Attribute dependencies for data with grades II,},
  journal      = {Int. J. Gen. Syst.},
  volume       = {46},
  number       = {1},
  pages        = {66--92},
  year         = {2017},
  url          = {https://doi.org/10.1080/03081079.2016.1205712},
  doi          = {10.1080/03081079.2016.1205712},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgs/BelohlavekV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/BelohlavekV17a,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Relational similarity-based model of data part 1: foundations and
                  query systems},
  journal      = {Int. J. Gen. Syst.},
  volume       = {46},
  number       = {7},
  pages        = {671--751},
  year         = {2017},
  url          = {https://doi.org/10.1080/03081079.2017.1357550},
  doi          = {10.1080/03081079.2017.1357550},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgs/BelohlavekV17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Vychodil17,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Invariance to ordinal transformations in rank-aware databases},
  journal      = {Inf. Sci.},
  volume       = {378},
  pages        = {75--98},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ins.2016.10.044},
  doi          = {10.1016/J.INS.2016.10.044},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/Vychodil17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Vychodil17,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Closure structures parameterized by systems of isotone Galois connections},
  journal      = {CoRR},
  volume       = {abs/1701.02445},
  year         = {2017},
  url          = {http://arxiv.org/abs/1701.02445},
  eprinttype    = {arXiv},
  eprint       = {1701.02445},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Vychodil17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/BelohlavekV16,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Factorization of matrices with grades},
  journal      = {Fuzzy Sets Syst.},
  volume       = {292},
  pages        = {85--97},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.fss.2015.03.020},
  doi          = {10.1016/J.FSS.2015.03.020},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/BelohlavekV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Vychodil16,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Variety theorem for algebras with fuzzy orders},
  journal      = {Fuzzy Sets Syst.},
  volume       = {303},
  pages        = {114--127},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.fss.2015.11.017},
  doi          = {10.1016/J.FSS.2015.11.017},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/Vychodil16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/BelohlavekCEMV16,
  author       = {Radim Belohl{\'{a}}vek and
                  Pablo Cordero and
                  Manuel Enciso and
                  {\'{A}}ngel Mora and
                  Vil{\'{e}}m Vychodil},
  title        = {Automated prover for attribute dependencies in data with grades},
  journal      = {Int. J. Approx. Reason.},
  volume       = {70},
  pages        = {51--67},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ijar.2015.12.007},
  doi          = {10.1016/J.IJAR.2015.12.007},
  timestamp    = {Fri, 23 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijar/BelohlavekCEMV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/BelohlavekV16,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Attribute dependencies for data with grades I,},
  journal      = {Int. J. Gen. Syst.},
  volume       = {45},
  number       = {7-8},
  pages        = {864--888},
  year         = {2016},
  url          = {https://doi.org/10.1080/03081079.2016.1205711},
  doi          = {10.1080/03081079.2016.1205711},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgs/BelohlavekV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Vychodil16,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {On sets of graded attribute implications with witnessed non-redundancy},
  journal      = {Inf. Sci.},
  volume       = {329},
  pages        = {434--446},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ins.2015.09.044},
  doi          = {10.1016/J.INS.2015.09.044},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/Vychodil16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Vychodil16a,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Computing sets of graded attribute implications with witnessed non-redundancy},
  journal      = {Inf. Sci.},
  volume       = {351},
  pages        = {90--100},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ins.2016.03.004},
  doi          = {10.1016/J.INS.2016.03.004},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/Vychodil16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/VaverkaV16,
  author       = {Ondrej Vaverka and
                  Vil{\'{e}}m Vychodil},
  title        = {Relational division in rank-aware databases},
  journal      = {Inf. Sci.},
  volume       = {366},
  pages        = {48--69},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ins.2016.02.060},
  doi          = {10.1016/J.INS.2016.02.060},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/VaverkaV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/Vychodil16,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Parameterizing the Semantics of Fuzzy Attribute Implications by Systems
                  of Isotone Galois Connections},
  journal      = {{IEEE} Trans. Fuzzy Syst.},
  volume       = {24},
  number       = {3},
  pages        = {645--660},
  year         = {2016},
  url          = {https://doi.org/10.1109/TFUZZ.2015.2470530},
  doi          = {10.1109/TFUZZ.2015.2470530},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tfs/Vychodil16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Vychodil16,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Invariance to ordinal transformations in rank-aware databases},
  journal      = {CoRR},
  volume       = {abs/1601.02848},
  year         = {2016},
  url          = {http://arxiv.org/abs/1601.02848},
  eprinttype    = {arXiv},
  eprint       = {1601.02848},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Vychodil16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BelohlavekV15,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {A logic of graded attributes},
  journal      = {Arch. Math. Log.},
  volume       = {54},
  number       = {7-8},
  pages        = {785--802},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00153-015-0440-0},
  doi          = {10.1007/S00153-015-0440-0},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BelohlavekV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Vychodil15,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Pseudovarieties of algebras with fuzzy equalities},
  journal      = {Fuzzy Sets Syst.},
  volume       = {260},
  pages        = {110--120},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.fss.2014.07.014},
  doi          = {10.1016/J.FSS.2014.07.014},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/Vychodil15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/KuhrV15,
  author       = {Tomas Kuhr and
                  Vil{\'{e}}m Vychodil},
  title        = {Fuzzy logic programming reduced to reasoning with attribute implications},
  journal      = {Fuzzy Sets Syst.},
  volume       = {262},
  pages        = {1--20},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.fss.2014.04.013},
  doi          = {10.1016/J.FSS.2014.04.013},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/KuhrV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/KuhrV15a,
  author       = {Tomas Kuhr and
                  Vil{\'{e}}m Vychodil},
  title        = {Rewriting systems over similarity and generalized pseudometric spaces
                  and their properties},
  journal      = {Fuzzy Sets Syst.},
  volume       = {275},
  pages        = {110--129},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.fss.2014.11.001},
  doi          = {10.1016/J.FSS.2014.11.001},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/KuhrV15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Vychodil15,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Fuzzy inequational logic},
  journal      = {Int. J. Approx. Reason.},
  volume       = {60},
  pages        = {23--36},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ijar.2015.03.003},
  doi          = {10.1016/J.IJAR.2015.03.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijar/Vychodil15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Vychodil15,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {On minimal sets of graded attribute implications},
  journal      = {Inf. Sci.},
  volume       = {294},
  pages        = {478--488},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ins.2014.09.059},
  doi          = {10.1016/J.INS.2014.09.059},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/Vychodil15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nafips/TriskaV15,
  author       = {Jan Triska and
                  Vil{\'{e}}m Vychodil},
  title        = {Graded data dependencies in relational databases: Reasoning with similarity
                  of time},
  booktitle    = {2015 Annual Conference of the North American Fuzzy Information Processing
                  Society {(NAFIPS)} held jointly with 2015 5th World Conference on
                  Soft Computing (WConSC), Redmond, WA, USA, August 17-19, 2015},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/NAFIPS-WConSC.2015.7284170},
  doi          = {10.1109/NAFIPS-WCONSC.2015.7284170},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/nafips/TriskaV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Vychodil15,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Rational fuzzy attribute logic},
  journal      = {CoRR},
  volume       = {abs/1502.07326},
  year         = {2015},
  url          = {http://arxiv.org/abs/1502.07326},
  eprinttype    = {arXiv},
  eprint       = {1502.07326},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Vychodil15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Vychodil15a,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {On sets of graded attribute implications with witnessed non-redundancy},
  journal      = {CoRR},
  volume       = {abs/1505.04677},
  year         = {2015},
  url          = {http://arxiv.org/abs/1505.04677},
  eprinttype    = {arXiv},
  eprint       = {1505.04677},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Vychodil15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VaverkaV15,
  author       = {Ondrej Vaverka and
                  Vil{\'{e}}m Vychodil},
  title        = {Relational Division in Rank-Aware Databases},
  journal      = {CoRR},
  volume       = {abs/1507.00541},
  year         = {2015},
  url          = {http://arxiv.org/abs/1507.00541},
  eprinttype    = {arXiv},
  eprint       = {1507.00541},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/VaverkaV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Vychodil15b,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Computing sets of graded attribute implications with witnessed non-redundancy},
  journal      = {CoRR},
  volume       = {abs/1511.01640},
  year         = {2015},
  url          = {http://arxiv.org/abs/1511.01640},
  eprinttype    = {arXiv},
  eprint       = {1511.01640},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Vychodil15b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/BelohlavekV14,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Computing minimal sets of descriptive conditions for binary data},
  journal      = {Int. J. Gen. Syst.},
  volume       = {43},
  number       = {5},
  pages        = {521--534},
  year         = {2014},
  url          = {https://doi.org/10.1080/03081079.2014.885166},
  doi          = {10.1080/03081079.2014.885166},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgs/BelohlavekV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/UrbanovaV14,
  author       = {Lucie Urbanova and
                  Vil{\'{e}}m Vychodil},
  title        = {Derivation digraphs for dependencies in ordinal and similarity-based
                  data},
  journal      = {Inf. Sci.},
  volume       = {268},
  pages        = {381--396},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.ins.2013.12.046},
  doi          = {10.1016/J.INS.2013.12.046},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/UrbanovaV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdai/TriskaV14,
  author       = {Jan Triska and
                  Vil{\'{e}}m Vychodil},
  editor       = {Vicen{\c{c}} Torra and
                  Yasuo Narukawa and
                  Yasunori Endo},
  title        = {Towards Armstrong-Style Inference System for Attribute Implications
                  with Temporal Semantics},
  booktitle    = {Modeling Decisions for Artificial Intelligence - 11th International
                  Conference, {MDAI} 2014, Tokyo, Japan, October 29-31, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8825},
  pages        = {84--95},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12054-6\_8},
  doi          = {10.1007/978-3-319-12054-6\_8},
  timestamp    = {Mon, 16 Sep 2019 15:31:17 +0200},
  biburl       = {https://dblp.org/rec/conf/mdai/TriskaV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BelohlavekV14,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Attribute Dependencies for Data with Grades},
  journal      = {CoRR},
  volume       = {abs/1402.2071},
  year         = {2014},
  url          = {http://arxiv.org/abs/1402.2071},
  eprinttype    = {arXiv},
  eprint       = {1402.2071},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BelohlavekV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Vychodil14,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {On minimal sets of graded attribute implications},
  journal      = {CoRR},
  volume       = {abs/1405.7076},
  year         = {2014},
  url          = {http://arxiv.org/abs/1405.7076},
  eprinttype    = {arXiv},
  eprint       = {1405.7076},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Vychodil14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Vychodil14a,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Fuzzy inequational logic},
  journal      = {CoRR},
  volume       = {abs/1408.2447},
  year         = {2014},
  url          = {http://arxiv.org/abs/1408.2447},
  eprinttype    = {arXiv},
  eprint       = {1408.2447},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Vychodil14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Vychodil14b,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Monoidal functional dependencies},
  journal      = {CoRR},
  volume       = {abs/1409.0980},
  year         = {2014},
  url          = {http://arxiv.org/abs/1409.0980},
  eprinttype    = {arXiv},
  eprint       = {1409.0980},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Vychodil14b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Vychodil14c,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Parameterizing the semantics of fuzzy attribute implications by systems
                  of isotone Galois connections},
  journal      = {CoRR},
  volume       = {abs/1410.6960},
  year         = {2014},
  url          = {http://arxiv.org/abs/1410.6960},
  eprinttype    = {arXiv},
  eprint       = {1410.6960},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Vychodil14c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TriskaV14,
  author       = {Jan Triska and
                  Vil{\'{e}}m Vychodil},
  title        = {Logic of temporal attribute implications},
  journal      = {CoRR},
  volume       = {abs/1412.3633},
  year         = {2014},
  url          = {http://arxiv.org/abs/1412.3633},
  eprinttype    = {arXiv},
  eprint       = {1412.3633},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/TriskaV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/BelohlavekV13,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Closure-based constraints in formal concept analysis},
  journal      = {Discret. Appl. Math.},
  volume       = {161},
  number       = {13-14},
  pages        = {1894--1911},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.dam.2013.02.029},
  doi          = {10.1016/J.DAM.2013.02.029},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/BelohlavekV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/Vychodil13,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Fuzzy Attribute Implications and their Expressive Power},
  journal      = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
  volume       = {21},
  number       = {4},
  pages        = {483--496},
  year         = {2013},
  url          = {https://doi.org/10.1142/S0218488513500244},
  doi          = {10.1142/S0218488513500244},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijufks/Vychodil13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/order/BelohlavekGV13,
  author       = {Radim Belohl{\'{a}}vek and
                  Cynthia Vera Glodeanu and
                  Vil{\'{e}}m Vychodil},
  title        = {Optimal Factorization of Three-Way Binary Data Using Triadic Concepts},
  journal      = {Order},
  volume       = {30},
  number       = {2},
  pages        = {437--454},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11083-012-9254-4},
  doi          = {10.1007/S11083-012-9254-4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/order/BelohlavekGV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foci/BelohlavekV13,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Relational algebra for multi-ranked similarity-based databases},
  booktitle    = {{IEEE} Symposium on Foundations of Computational Intelligence, {FOCI}
                  2013, Singapore, Singapore, April 16-19, 2013},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/FOCI.2013.6602448},
  doi          = {10.1109/FOCI.2013.6602448},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/foci/BelohlavekV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foci/KrajcaV13,
  author       = {Petr Krajca and
                  Vil{\'{e}}m Vychodil},
  title        = {Foundations of relational similarity-based query language {RESIQL}},
  booktitle    = {{IEEE} Symposium on Foundations of Computational Intelligence, {FOCI}
                  2013, Singapore, Singapore, April 16-19, 2013},
  pages        = {15--23},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/FOCI.2013.6602450},
  doi          = {10.1109/FOCI.2013.6602450},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foci/KrajcaV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdai/KrajcaV13,
  author       = {Petr Krajca and
                  Vil{\'{e}}m Vychodil},
  editor       = {Vicen{\c{c}} Torra and
                  Yasuo Narukawa and
                  Guillermo Navarro{-}Arribas and
                  David Meg{\'{\i}}as},
  title        = {Query Optimization Strategies in Similarity-Based Databases},
  booktitle    = {Modeling Decisions for Artificial Intelligence - 10th International
                  Conference, {MDAI} 2013, Barcelona, Spain, November 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8234},
  pages        = {179--191},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41550-0\_16},
  doi          = {10.1007/978-3-642-41550-0\_16},
  timestamp    = {Fri, 26 May 2023 22:12:08 +0200},
  biburl       = {https://dblp.org/rec/conf/mdai/KrajcaV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cla/2011,
  editor       = {Amedeo Napoli and
                  Vil{\'{e}}m Vychodil},
  title        = {Proceedings of The Eighth International Conference on Concept Lattices
                  and Their Applications, Nancy, France, October 17-20, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {959},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-959},
  urn          = {urn:nbn:de:0074-959-9},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-1264,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Discovery of factors in matrices with grades},
  journal      = {CoRR},
  volume       = {abs/1303.1264},
  year         = {2013},
  url          = {http://arxiv.org/abs/1303.1264},
  eprinttype    = {arXiv},
  eprint       = {1303.1264},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-1264.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/BartlBV12,
  author       = {Eduard Bartl and
                  Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Bivalent and other solutions of fuzzy relational equations via linguistic
                  hedges},
  journal      = {Fuzzy Sets Syst.},
  volume       = {187},
  number       = {1},
  pages        = {103--112},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.fss.2011.05.020},
  doi          = {10.1016/J.FSS.2011.05.020},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/BartlBV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KrajcaOV12,
  author       = {Petr Krajca and
                  Jan Outrata and
                  Vil{\'{e}}m Vychodil},
  title        = {Computing Formal Concepts by Attribute Sorting},
  journal      = {Fundam. Informaticae},
  volume       = {115},
  number       = {4},
  pages        = {395--417},
  year         = {2012},
  url          = {https://doi.org/10.3233/FI-2012-661},
  doi          = {10.3233/FI-2012-661},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KrajcaOV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/KuhrV12,
  author       = {Tomas Kuhr and
                  Vil{\'{e}}m Vychodil},
  title        = {Similarity issues of confluence of fuzzy relations},
  journal      = {Int. J. Gen. Syst.},
  volume       = {41},
  number       = {3},
  pages        = {313--328},
  year         = {2012},
  url          = {https://doi.org/10.1080/03081079.2012.664142},
  doi          = {10.1080/03081079.2012.664142},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgs/KuhrV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/BelohlavekV12,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Formal concept analysis and linguistic hedges},
  journal      = {Int. J. Gen. Syst.},
  volume       = {41},
  number       = {5},
  pages        = {503--532},
  year         = {2012},
  url          = {https://doi.org/10.1080/03081079.2012.685936},
  doi          = {10.1080/03081079.2012.685936},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgs/BelohlavekV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/Vychodil12,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {On terminological issues regarding linguistic hedges},
  journal      = {Int. J. Gen. Syst.},
  volume       = {41},
  number       = {5},
  pages        = {533--536},
  year         = {2012},
  url          = {https://doi.org/10.1080/03081079.2012.686979},
  doi          = {10.1080/03081079.2012.686979},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgs/Vychodil12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/OutrataV12,
  author       = {Jan Outrata and
                  Vil{\'{e}}m Vychodil},
  title        = {Fast algorithm for computing fixpoints of Galois connections induced
                  by object-attribute relational data},
  journal      = {Inf. Sci.},
  volume       = {185},
  number       = {1},
  pages        = {114--127},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.ins.2011.09.023},
  doi          = {10.1016/J.INS.2011.09.023},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isci/OutrataV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdai/KuhrV12,
  author       = {Tomas Kuhr and
                  Vil{\'{e}}m Vychodil},
  editor       = {Vicen{\c{c}} Torra and
                  Yasuo Narukawa and
                  Beatriz L{\'{o}}pez and
                  Mateu Villaret},
  title        = {Representing Fuzzy Logic Programs by Graded Attribute Implications},
  booktitle    = {Modeling Decisions for Artificial Intelligence - 9th International
                  Conference, {MDAI} 2012, Girona, Catalonia, Spain, November 21-23,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7647},
  pages        = {246--257},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34620-0\_23},
  doi          = {10.1007/978-3-642-34620-0\_23},
  timestamp    = {Wed, 12 Jan 2022 09:08:25 +0100},
  biburl       = {https://dblp.org/rec/conf/mdai/KuhrV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdai/BelohlavekCEMV12,
  author       = {Radim Belohl{\'{a}}vek and
                  Pablo Cordero and
                  Manuel Enciso and
                  {\'{A}}ngel Mora and
                  Vil{\'{e}}m Vychodil},
  editor       = {Vicen{\c{c}} Torra and
                  Yasuo Narukawa and
                  Beatriz L{\'{o}}pez and
                  Mateu Villaret},
  title        = {An Efficient Reasoning Method for Dependencies over Similarity and
                  Ordinal Data},
  booktitle    = {Modeling Decisions for Artificial Intelligence - 9th International
                  Conference, {MDAI} 2012, Girona, Catalonia, Spain, November 21-23,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7647},
  pages        = {408--419},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34620-0\_36},
  doi          = {10.1007/978-3-642-34620-0\_36},
  timestamp    = {Fri, 23 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mdai/BelohlavekCEMV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BelohlavekV12,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Sascha Ossowski and
                  Paola Lecca},
  title        = {Attribute implications in similarity-based databases: semantic entailment
                  and nonredundant bases},
  booktitle    = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
                  Riva, Trento, Italy, March 26-30, 2012},
  pages        = {840--846},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2245276.2245441},
  doi          = {10.1145/2245276.2245441},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/BelohlavekV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/UrbanovaVW12,
  author       = {Lucie Urbanova and
                  Vil{\'{e}}m Vychodil and
                  Lena Wiese},
  editor       = {Eyke H{\"{u}}llermeier and
                  Sebastian Link and
                  Thomas Fober and
                  Bernhard Seeger},
  title        = {Applications of Ordinal Ranks to Flexible Query Answering},
  booktitle    = {Scalable Uncertainty Management - 6th International Conference, {SUM}
                  2012, Marburg, Germany, September 17-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7520},
  pages        = {16--29},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33362-0\_2},
  doi          = {10.1007/978-3-642-33362-0\_2},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sum/UrbanovaVW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BelohlavekV11,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Codd's Relational Model from the Point of View of Fuzzy Logic},
  journal      = {J. Log. Comput.},
  volume       = {21},
  number       = {5},
  pages        = {851--862},
  year         = {2011},
  url          = {https://doi.org/10.1093/logcom/exp056},
  doi          = {10.1093/LOGCOM/EXP056},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/BelohlavekV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/BelohlavekV11,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Sylvie Galichet and
                  Javier Montero and
                  Gilles Mauris},
  title        = {Fuzzy attribute logic with model constraints},
  booktitle    = {Proceedings of the 7th conference of the European Society for Fuzzy
                  Logic and Technology, {EUSFLAT} 2011, Aix-Les-Bains, France, July
                  18-22, 2011},
  pages        = {203--208},
  publisher    = {Atlantis Press},
  year         = {2011},
  url          = {https://doi.org/10.2991/eusflat.2011.140},
  doi          = {10.2991/EUSFLAT.2011.140},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eusflat/BelohlavekV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/BelohlavekOV11,
  author       = {Radim Belohl{\'{a}}vek and
                  Petr Osicka and
                  Vil{\'{e}}m Vychodil},
  editor       = {Henning Christiansen and
                  Guy De Tr{\'{e}} and
                  Adnan Yazici and
                  Slawomir Zadrozny and
                  Troels Andreasen and
                  Henrik Legind Larsen},
  title        = {Factorizing Three-Way Ordinal Data Using Triadic Formal Concepts},
  booktitle    = {Flexible Query Answering Systems - 9th International Conference, {FQAS}
                  2011, Ghent, Belgium, October 26-28, 2011 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7022},
  pages        = {400--411},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24764-4\_35},
  doi          = {10.1007/978-3-642-24764-4\_35},
  timestamp    = {Sun, 02 Oct 2022 16:01:32 +0200},
  biburl       = {https://dblp.org/rec/conf/fqas/BelohlavekOV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/KrajcaOV11,
  author       = {Petr Krajca and
                  Jan Outrata and
                  Vil{\'{e}}m Vychodil},
  editor       = {Diane J. Cook and
                  Jian Pei and
                  Wei Wang and
                  Osmar R. Za{\"{\i}}ane and
                  Xindong Wu},
  title        = {Using Frequent Closed Itemsets for Data Dimensionality Reduction},
  booktitle    = {11th {IEEE} International Conference on Data Mining, {ICDM} 2011,
                  Vancouver, BC, Canada, December 11-14, 2011},
  pages        = {1128--1133},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICDM.2011.154},
  doi          = {10.1109/ICDM.2011.154},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdm/KrajcaOV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/BelohlavekUV11,
  author       = {Radim Belohl{\'{a}}vek and
                  Lucie Urbanova and
                  Vil{\'{e}}m Vychodil},
  editor       = {Hans Tompits and
                  Salvador Abreu and
                  Johannes Oetsch and
                  J{\"{o}}rg P{\"{u}}hrer and
                  Dietmar Seipel and
                  Masanobu Umeda and
                  Armin Wolf},
  title        = {Sensitivity Analysis for Declarative Relational Query Languages with
                  Ordinal Ranks},
  booktitle    = {Applications of Declarative Programming and Knowledge Management -
                  19th International Conference, {INAP} 2011, and 25th Workshop on Logic
                  Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7773},
  pages        = {58--76},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-41524-1\_4},
  doi          = {10.1007/978-3-642-41524-1\_4},
  timestamp    = {Sun, 02 Jun 2019 21:27:34 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/BelohlavekUV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rskt/BelohlavekUV11,
  author       = {Radim Belohl{\'{a}}vek and
                  Lucie Urbanova and
                  Vil{\'{e}}m Vychodil},
  editor       = {Jingtao Yao and
                  Sheela Ramanna and
                  Guoyin Wang and
                  Zbigniew Suraj},
  title        = {Similarity of Query Results in Similarity-Based Databases},
  booktitle    = {Rough Sets and Knowledge Technology - 6th International Conference,
                  {RSKT} 2011, Banff, Canada, October 9-12, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6954},
  pages        = {258--267},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24425-4\_35},
  doi          = {10.1007/978-3-642-24425-4\_35},
  timestamp    = {Fri, 26 Mar 2021 08:28:33 +0100},
  biburl       = {https://dblp.org/rec/conf/rskt/BelohlavekUV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-6299,
  author       = {Radim Belohl{\'{a}}vek and
                  Lucie Urbanova and
                  Vil{\'{e}}m Vychodil},
  title        = {Sensitivity Analysis for Declarative Relational Query Languages with
                  Ordinal Ranks},
  journal      = {CoRR},
  volume       = {abs/1109.6299},
  year         = {2011},
  url          = {http://arxiv.org/abs/1109.6299},
  eprinttype    = {arXiv},
  eprint       = {1109.6299},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1109-6299.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/KrajcaOV10,
  author       = {Petr Krajca and
                  Jan Outrata and
                  Vil{\'{e}}m Vychodil},
  title        = {Parallel algorithm for computing fixpoints of Galois connections},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {59},
  number       = {2},
  pages        = {257--272},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10472-010-9199-5},
  doi          = {10.1007/S10472-010-9199-5},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/KrajcaOV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/BelohlavekKV10,
  author       = {Radim Belohl{\'{a}}vek and
                  Tomas Kuhr and
                  Vil{\'{e}}m Vychodil},
  title        = {Confluence and termination of fuzzy relations},
  journal      = {Inf. Sci.},
  volume       = {180},
  number       = {17},
  pages        = {3288--3303},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.ins.2010.04.007},
  doi          = {10.1016/J.INS.2010.04.007},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isci/BelohlavekKV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BelohlavekV10,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Discovery of optimal factors in binary data via a novel method of
                  matrix decomposition},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {76},
  number       = {1},
  pages        = {3--20},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jcss.2009.05.002},
  doi          = {10.1016/J.JCSS.2009.05.002},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/BelohlavekV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/order/BelohlavekV10,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Residuated Lattices of Size {\textless}= 12},
  journal      = {Order},
  volume       = {27},
  number       = {2},
  pages        = {147--161},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11083-010-9143-7},
  doi          = {10.1007/S11083-010-9143-7},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/order/BelohlavekV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/BelohlavekBOV10,
  author       = {Radim Belohl{\'{a}}vek and
                  Bernard De Baets and
                  Jan Outrata and
                  Vil{\'{e}}m Vychodil},
  title        = {Computing the Lattice of All Fixpoints of a Fuzzy Closure Operator},
  journal      = {{IEEE} Trans. Fuzzy Syst.},
  volume       = {18},
  number       = {3},
  pages        = {546--557},
  year         = {2010},
  url          = {https://doi.org/10.1109/TFUZZ.2010.2041006},
  doi          = {10.1109/TFUZZ.2010.2041006},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tfs/BelohlavekBOV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/KrajcaOV10,
  author       = {Petr Krajca and
                  Jan Outrata and
                  Vil{\'{e}}m Vychodil},
  editor       = {Marzena Kryszkiewicz and
                  Sergei A. Obiedkov},
  title        = {Advances in Algorithms Based on CbO},
  booktitle    = {Proceedings of the 7th International Conference on Concept Lattices
                  and Their Applications, Sevilla, Spain, October 19-21, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {672},
  pages        = {325--337},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-672/paper29.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:10 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/KrajcaOV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grc/BelohlavekV10,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Xiaohua Hu and
                  Tsau Young Lin and
                  Vijay V. Raghavan and
                  Jerzy W. Grzymala{-}Busse and
                  Qing Liu and
                  Andrei Z. Broder},
  title        = {Optimal Factorization of Three-Way Binary Data},
  booktitle    = {2010 {IEEE} International Conference on Granular Computing, GrC 2010,
                  San Jose, California, USA, 14-16 August 2010},
  pages        = {61--66},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/GrC.2010.181},
  doi          = {10.1109/GRC.2010.181},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/grc/BelohlavekV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/BelohlavekV10,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Erol Gelenbe and
                  Ricardo Lent and
                  Georgia Sakellari and
                  Ahmet Sacan and
                  Ismail Hakki Toroslu and
                  Adnan Yazici},
  title        = {Factorizing three-way binary data},
  booktitle    = {Computer and Information Sciences - Proceedings of the 25th International
                  Symposium on Computer and Information Sciences, London, UK, September
                  22-24, 2010},
  series       = {Lecture Notes in Electrical Engineering},
  volume       = {62},
  pages        = {23--26},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-90-481-9794-1\_5},
  doi          = {10.1007/978-90-481-9794-1\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iscis/BelohlavekV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/BelohlavekV10,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Rossitza Setchi and
                  Ivan Jordanov and
                  Robert J. Howlett and
                  Lakhmi C. Jain},
  title        = {Factorizing Three-Way Binary Data with Triadic Formal Concepts},
  booktitle    = {Knowledge-Based and Intelligent Information and Engineering Systems
                  - 14th International Conference, {KES} 2010, Cardiff, UK, September
                  8-10, 2010, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6276},
  pages        = {471--480},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15387-7\_51},
  doi          = {10.1007/978-3-642-15387-7\_51},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/kes/BelohlavekV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BelohlavekV10,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski and
                  Michael Schumacher and
                  Mathew J. Palakal and
                  Chih{-}Cheng Hung},
  title        = {Background knowledge in formal concept analysis: constraints via closure
                  operators},
  booktitle    = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
                  Sierre, Switzerland, March 22-26, 2010},
  pages        = {1113--1114},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1774088.1774322},
  doi          = {10.1145/1774088.1774322},
  timestamp    = {Sun, 02 Jun 2019 21:18:37 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/BelohlavekV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BelohlavekV10a,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski and
                  Michael Schumacher and
                  Mathew J. Palakal and
                  Chih{-}Cheng Hung},
  title        = {Query systems in similarity-based databases: logical foundations,
                  expressive power, and completeness},
  booktitle    = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
                  Sierre, Switzerland, March 22-26, 2010},
  pages        = {1648--1655},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1774088.1774444},
  doi          = {10.1145/1774088.1774444},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/BelohlavekV10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KrajcaV10,
  author       = {Petr Krajca and
                  Vil{\'{e}}m Vychodil},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski and
                  Michael Schumacher and
                  Mathew J. Palakal and
                  Chih{-}Cheng Hung},
  title        = {Software transactional memory for implicitly parallel functional language},
  booktitle    = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
                  Sierre, Switzerland, March 22-26, 2010},
  pages        = {2123--2130},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1774088.1774536},
  doi          = {10.1145/1774088.1774536},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/KrajcaV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/BelohlavekBOV09,
  author       = {Radim Belohl{\'{a}}vek and
                  Bernard De Baets and
                  Jan Outrata and
                  Vil{\'{e}}m Vychodil},
  title        = {Inducing decision trees via concept lattices},
  journal      = {Int. J. Gen. Syst.},
  volume       = {38},
  number       = {4},
  pages        = {455--467},
  year         = {2009},
  url          = {https://doi.org/10.1080/03081070902857563},
  doi          = {10.1080/03081070902857563},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgs/BelohlavekBOV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/BelohlavekV09,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Formal Concept Analysis With Background Knowledge: Attribute Priorities},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Part {C}},
  volume       = {39},
  number       = {4},
  pages        = {399--409},
  year         = {2009},
  url          = {https://doi.org/10.1109/TSMCC.2008.2012168},
  doi          = {10.1109/TSMCC.2008.2012168},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/BelohlavekV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/BelohlavekV09,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Lei Chen and
                  Chengfei Liu and
                  Qing Liu and
                  Ke Deng},
  title        = {Logical Foundations for Similarity-Based Databases},
  booktitle    = {Database Systems for Advanced Applications, {DASFAA} 2009 International
                  Workshops: BenchmarX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia,
                  April 20-23, 2009},
  series       = {Lecture Notes in Computer Science},
  volume       = {5667},
  pages        = {137--151},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04205-8\_13},
  doi          = {10.1007/978-3-642-04205-8\_13},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/dasfaa/BelohlavekV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/BelohlavekKV09,
  author       = {Radim Belohl{\'{a}}vek and
                  Tomas Kuhr and
                  Vil{\'{e}}m Vychodil},
  title        = {Confluence and related properties of fuzzy relations},
  booktitle    = {{FUZZ-IEEE} 2009, {IEEE} International Conference on Fuzzy Systems,
                  Jeju Island, Korea, 20-24 August 2009, Proceedings},
  pages        = {569--574},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/FUZZY.2009.5277248},
  doi          = {10.1109/FUZZY.2009.5277248},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/BelohlavekKV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfca/BelohlavekV09,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {S{\'{e}}bastien Ferr{\'{e}} and
                  Sebastian Rudolph},
  title        = {Factor Analysis of Incidence Data via Novel Decomposition of Matrices},
  booktitle    = {Formal Concept Analysis, 7th International Conference, {ICFCA} 2009,
                  Darmstadt, Germany, May 21-24, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5548},
  pages        = {83--97},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01815-2\_8},
  doi          = {10.1007/978-3-642-01815-2\_8},
  timestamp    = {Mon, 03 Jan 2022 22:29:19 +0100},
  biburl       = {https://dblp.org/rec/conf/icfca/BelohlavekV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfca/BelohlavekKV09,
  author       = {Radim Belohl{\'{a}}vek and
                  Niranjan Kulkarni and
                  Vil{\'{e}}m Vychodil},
  editor       = {S{\'{e}}bastien Ferr{\'{e}} and
                  Sebastian Rudolph},
  title        = {A Novel Approach to Cell Formation},
  booktitle    = {Formal Concept Analysis, 7th International Conference, {ICFCA} 2009,
                  Darmstadt, Germany, May 21-24, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5548},
  pages        = {210--223},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01815-2\_16},
  doi          = {10.1007/978-3-642-01815-2\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfca/BelohlavekKV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ida/KrajcaV09,
  author       = {Petr Krajca and
                  Vil{\'{e}}m Vychodil},
  editor       = {Niall M. Adams and
                  C{\'{e}}line Robardet and
                  Arno Siebes and
                  Jean{-}Fran{\c{c}}ois Boulicaut},
  title        = {Distributed Algorithm for Computing Formal Concepts Using Map-Reduce
                  Framework},
  booktitle    = {Advances in Intelligent Data Analysis VIII, 8th International Symposium
                  on Intelligent Data Analysis, {IDA} 2009, Lyon, France, August 31
                  - September 2, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5772},
  pages        = {333--344},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03915-7\_29},
  doi          = {10.1007/978-3-642-03915-7\_29},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ida/KrajcaV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdai/KrajcaV09,
  author       = {Petr Krajca and
                  Vil{\'{e}}m Vychodil},
  editor       = {Vicen{\c{c}} Torra and
                  Yasuo Narukawa and
                  Masahiro Inuiguchi},
  title        = {Comparison of Data Structures for Computing Formal Concepts},
  booktitle    = {Modeling Decisions for Artificial Intelligence, 6th International
                  Conference, {MDAI} 2009, Awaji Island, Japan, November 30-December
                  2, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5861},
  pages        = {114--125},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04820-3\_11},
  doi          = {10.1007/978-3-642-04820-3\_11},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mdai/KrajcaV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KrajcaV09,
  author       = {Petr Krajca and
                  Vil{\'{e}}m Vychodil},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski},
  title        = {Data parallel dialect of scheme: outline of the formal model, implementation,
                  performance},
  booktitle    = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
                  Honolulu, Hawaii, USA, March 9-12, 2009},
  pages        = {1938--1939},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1529282.1529713},
  doi          = {10.1145/1529282.1529713},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/KrajcaV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BelohlavekOV08,
  author       = {Radim Belohl{\'{a}}vek and
                  Jan Outrata and
                  Vil{\'{e}}m Vychodil},
  title        = {Fast Factorization by Similarity of Fuzzy Concept Lattices with Hedges},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {19},
  number       = {2},
  pages        = {255--269},
  year         = {2008},
  url          = {https://doi.org/10.1142/S012905410800567X},
  doi          = {10.1142/S012905410800567X},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BelohlavekOV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BelohlavekV08,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Basic Algorithm for Attribute Implications and Functional Dependencies
                  in Graded Setting},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {19},
  number       = {2},
  pages        = {297--317},
  year         = {2008},
  url          = {https://doi.org/10.1142/S0129054108005693},
  doi          = {10.1142/S0129054108005693},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BelohlavekV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/BelohlavekBOV08,
  author       = {Radim Belohl{\'{a}}vek and
                  Bernard De Baets and
                  Jan Outrata and
                  Vil{\'{e}}m Vychodil},
  title        = {Characterizing Trees in Concept Lattices},
  journal      = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
  volume       = {16},
  number       = {Supplement-1},
  pages        = {1--15},
  year         = {2008},
  url          = {https://doi.org/10.1142/S0218488508005212},
  doi          = {10.1142/S0218488508005212},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijufks/BelohlavekBOV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/Vychodil08,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {On the importance of fuzzy attribute implications},
  booktitle    = {{FUZZ-IEEE} 2008, {IEEE} International Conference on Fuzzy Systems,
                  Hong Kong, China, 1-6 June, 2008, Proceedings},
  pages        = {281--286},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/FUZZY.2008.4630378},
  doi          = {10.1109/FUZZY.2008.4630378},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/Vychodil08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/BartlBV08,
  author       = {Eduard Bartl and
                  Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Compositions of fuzzy relations with hedges},
  booktitle    = {{FUZZ-IEEE} 2008, {IEEE} International Conference on Fuzzy Systems,
                  Hong Kong, China, 1-6 June, 2008, Proceedings},
  pages        = {1100--1105},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/FUZZY.2008.4630507},
  doi          = {10.1109/FUZZY.2008.4630507},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/BartlBV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BelohlavekV08,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Roger L. Wainwright and
                  Hisham Haddad},
  title        = {Adding background knowledge to formal concept analysis via attribute
                  dependency formulas},
  booktitle    = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
                  Fortaleza, Ceara, Brazil, March 16-20, 2008},
  pages        = {938--943},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1363686.1363900},
  doi          = {10.1145/1363686.1363900},
  timestamp    = {Tue, 06 Nov 2018 11:06:48 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/BelohlavekV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/igi/Galindo08/BelohlavekV08,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Jos{\'{e}} Galindo},
  title        = {Data Dependencies in Codd's Relational Model with Similarities},
  booktitle    = {Handbook of Research on Fuzzy Information Processing in Databases},
  pages        = {634--657},
  publisher    = {{IGI} Global},
  year         = {2008},
  url          = {http://www.igi-global.com/Bookstore/chapter.aspx?titleid=20371},
  timestamp    = {Tue, 16 May 2017 14:01:33 +0200},
  biburl       = {https://dblp.org/rec/books/igi/Galindo08/BelohlavekV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/Vychodil07,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Threshold Boolean logic},
  journal      = {Int. J. Gen. Syst.},
  volume       = {36},
  number       = {1},
  pages        = {59--78},
  year         = {2007},
  url          = {https://doi.org/10.1080/03081070600913635},
  doi          = {10.1080/03081070600913635},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgs/Vychodil07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaciii/BelohlavekV07,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Fuzzy Concept Lattices Constrained by Hedges},
  journal      = {J. Adv. Comput. Intell. Intell. Informatics},
  volume       = {11},
  number       = {6},
  pages        = {536--545},
  year         = {2007},
  url          = {https://doi.org/10.20965/jaciii.2007.p0536},
  doi          = {10.20965/JACIII.2007.P0536},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jaciii/BelohlavekV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/Vychodil07,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Direct Limits and Reduced Products of Algebras with Fuzzy Equalities},
  journal      = {J. Multiple Valued Log. Soft Comput.},
  volume       = {13},
  number       = {1-2},
  pages        = {1--28},
  year         = {2007},
  url          = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-13-number-1-2-2007/mvlsc-13-1-2-p-1-28/},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mvl/Vychodil07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/BelohlavekBOV07,
  author       = {Radim Belohl{\'{a}}vek and
                  Bernard De Baets and
                  Jan Outrata and
                  Vil{\'{e}}m Vychodil},
  editor       = {Peter W. Eklund and
                  Jean Diatta and
                  Michel Liquiere},
  title        = {Inducing Decision Trees via Concept Lattices},
  booktitle    = {Proceedings of the Fifth International Conference on Concept Lattices
                  and Their Applications, {CLA} 2007, Montpellier, France, October 24-26,
                  2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {331},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-331/Belohlavek3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:10 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/BelohlavekBOV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/BelohlavekV07,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Peter W. Eklund and
                  Jean Diatta and
                  Michel Liquiere},
  title        = {Formal Concepts as Optimal Factors in Boolean Factor Analysis: Implications
                  and Experiments},
  booktitle    = {Proceedings of the Fifth International Conference on Concept Lattices
                  and Their Applications, {CLA} 2007, Montpellier, France, October 24-26,
                  2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {331},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-331/Belohlavek1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/BelohlavekV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foci/BelohlavekV07,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Scales behind computational intelligence: exploring properties of
                  finite lattices},
  booktitle    = {Proceedings of the {IEEE} Symposium on Foundations of Computational
                  Intelligence, {FOCI} 2007, part of the {IEEE} Symposium Series on
                  Computational Intelligence 2007, Honolulu, Hawaii, USA, 1-5 April
                  2007},
  pages        = {556--563},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/FOCI.2007.371527},
  doi          = {10.1109/FOCI.2007.371527},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/foci/BelohlavekV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/HorakV07,
  author       = {Zdenek Horak and
                  Vil{\'{e}}m Vychodil},
  title        = {Generating Non-redundant Bases of Data Tables with Fuzzy Attributes
                  by Reduction of Complete Sets of Fuzzy Attribute Implications},
  booktitle    = {{FUZZ-IEEE} 2007, {IEEE} International Conference on Fuzzy Systems,
                  Imperial College, London, UK, 23-26 July, 2007, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/FUZZY.2007.4295491},
  doi          = {10.1109/FUZZY.2007.4295491},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/HorakV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ida/BelohlavekOV07,
  author       = {Radim Belohl{\'{a}}vek and
                  Stanislav Opichal and
                  Vil{\'{e}}m Vychodil},
  editor       = {Michael R. Berthold and
                  John Shawe{-}Taylor and
                  Nada Lavrac},
  title        = {Relational Algebra for Ranked Tables with Similarities: Properties
                  and Implementation},
  booktitle    = {Advances in Intelligent Data Analysis VII, 7th International Symposium
                  on Intelligent Data Analysis, {IDA} 2007, Ljubljana, Slovenia, September
                  6-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4723},
  pages        = {140--151},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74825-0\_13},
  doi          = {10.1007/978-3-540-74825-0\_13},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ida/BelohlavekOV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifsa/BelohlavekV07,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Patricia Melin and
                  Oscar Castillo and
                  Luis T. Aguilar and
                  Janusz Kacprzyk and
                  Witold Pedrycz},
  title        = {Counting Finite Residuated Lattices},
  booktitle    = {Foundations of Fuzzy Logic and Soft Computing, 12th International
                  Fuzzy Systems Association World Congress, {IFSA} 2007, Cancun, Mexico,
                  June 18-21, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4529},
  pages        = {461--470},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72950-1\_46},
  doi          = {10.1007/978-3-540-72950-1\_46},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ifsa/BelohlavekV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifsa/BelohlavekV07a,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Patricia Melin and
                  Oscar Castillo and
                  Luis T. Aguilar and
                  Janusz Kacprzyk and
                  Witold Pedrycz},
  title        = {On Proofs and Rule of Multiplication in Fuzzy Attribute Logic},
  booktitle    = {Foundations of Fuzzy Logic and Soft Computing, 12th International
                  Fuzzy Systems Association World Congress, {IFSA} 2007, Cancun, Mexico,
                  June 18-21, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4529},
  pages        = {471--480},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72950-1\_47},
  doi          = {10.1007/978-3-540-72950-1\_47},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifsa/BelohlavekV07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdai/BelohlavekBOV07,
  author       = {Radim Belohl{\'{a}}vek and
                  Bernard De Baets and
                  Jan Outrata and
                  Vil{\'{e}}m Vychodil},
  editor       = {Vicen{\c{c}} Torra and
                  Yasuo Narukawa and
                  Yuji Yoshida},
  title        = {Lindig's Algorithm for Concept Lattices over Graded Attributes},
  booktitle    = {Modeling Decisions for Artificial Intelligence, 4th International
                  Conference, {MDAI} 2007, Kitakyushu, Japan, August 16-18, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4617},
  pages        = {156--167},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73729-2\_15},
  doi          = {10.1007/978-3-540-73729-2\_15},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/mdai/BelohlavekBOV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdai/BelohlavekBOV07a,
  author       = {Radim Belohl{\'{a}}vek and
                  Bernard De Baets and
                  Jan Outrata and
                  Vil{\'{e}}m Vychodil},
  editor       = {Vicen{\c{c}} Torra and
                  Yasuo Narukawa and
                  Yuji Yoshida},
  title        = {Trees in Concept Lattices},
  booktitle    = {Modeling Decisions for Artificial Intelligence, 4th International
                  Conference, {MDAI} 2007, Kitakyushu, Japan, August 16-18, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4617},
  pages        = {174--184},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73729-2\_17},
  doi          = {10.1007/978-3-540-73729-2\_17},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mdai/BelohlavekBOV07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BelohlavekV06,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Fuzzy Horn logic {I}},
  journal      = {Arch. Math. Log.},
  volume       = {45},
  number       = {1},
  pages        = {3--51},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00153-005-0287-x},
  doi          = {10.1007/S00153-005-0287-X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BelohlavekV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BelohlavekV06a,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Fuzzy Horn logic {II}},
  journal      = {Arch. Math. Log.},
  volume       = {45},
  number       = {2},
  pages        = {149--177},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00153-005-0303-1},
  doi          = {10.1007/S00153-005-0303-1},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BelohlavekV06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/BelohlavekV06,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Algebras with fuzzy equalities},
  journal      = {Fuzzy Sets Syst.},
  volume       = {157},
  number       = {2},
  pages        = {161--201},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.fss.2005.05.044},
  doi          = {10.1016/J.FSS.2005.05.044},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/BelohlavekV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/BelohlavekV06a,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {An answer to Demirci's open question, a clarification of his result,
                  and a correction of his interpretation of the result},
  journal      = {Fuzzy Sets Syst.},
  volume       = {157},
  number       = {2},
  pages        = {205--211},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.fss.2005.06.016},
  doi          = {10.1016/J.FSS.2005.06.016},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/BelohlavekV06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Vychodil06,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Truth-depressing hedges and BL-logic},
  journal      = {Fuzzy Sets Syst.},
  volume       = {157},
  number       = {15},
  pages        = {2074--2090},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.fss.2006.03.022},
  doi          = {10.1016/J.FSS.2006.03.022},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/Vychodil06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/BelohlavekV06,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Fuzzy attribute logic over complete residuated lattices},
  journal      = {J. Exp. Theor. Artif. Intell.},
  volume       = {18},
  number       = {4},
  pages        = {471--480},
  year         = {2006},
  url          = {https://doi.org/10.1080/09528130600975816},
  doi          = {10.1080/09528130600975816},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetai/BelohlavekV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Vychodil06,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Continuous fuzzy Horn logic},
  journal      = {Math. Log. Q.},
  volume       = {52},
  number       = {2},
  pages        = {171--186},
  year         = {2006},
  url          = {https://doi.org/10.1002/malq.200510025},
  doi          = {10.1002/MALQ.200510025},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Vychodil06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/Vychodil06,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Extended Fuzzy Equational Logic},
  journal      = {J. Multiple Valued Log. Soft Comput.},
  volume       = {12},
  number       = {5-6},
  pages        = {491--508},
  year         = {2006},
  url          = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-12-number-5-6-2006/mvlsc-12-5-6-p-491-508/},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mvl/Vychodil06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/Vychodil06,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {A note on congruence permutability and fuzzy logic},
  journal      = {Soft Comput.},
  volume       = {10},
  number       = {3},
  pages        = {279--284},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00500-005-0508-6},
  doi          = {10.1007/S00500-005-0508-6},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/soco/Vychodil06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/BelohlavekV06,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Codd's Relational Model of Data and Fuzzy Logic: Comparisons, Observations,
                  and Some New Results},
  booktitle    = {2006 International Conference on Computational Intelligence for Modelling
                  Control and Automation {(CIMCA} 2006), International Conference on
                  Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
                  2006), 29 November - 1 December 2006, Sydney, Australia},
  pages        = {70},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/CIMCA.2006.68},
  doi          = {10.1109/CIMCA.2006.68},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cimca/BelohlavekV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/BelohlavekV06a,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Reducing the Size of If-Then Rules Generated from Data Tables with
                  Graded Attributes},
  booktitle    = {2006 International Conference on Computational Intelligence for Modelling
                  Control and Automation {(CIMCA} 2006), International Conference on
                  Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
                  2006), 29 November - 1 December 2006, Sydney, Australia},
  pages        = {174},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/CIMCA.2006.173},
  doi          = {10.1109/CIMCA.2006.173},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cimca/BelohlavekV06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/BelohlavekOV06,
  author       = {Radim Belohl{\'{a}}vek and
                  Jan Outrata and
                  Vil{\'{e}}m Vychodil},
  editor       = {Sadok Ben Yahia and
                  Engelbert Mephu Nguifo and
                  Radim Belohl{\'{a}}vek},
  title        = {Direct Factorization by Similarity of Fuzzy Concept Lattices by Factorization
                  of Input Data},
  booktitle    = {Concept Lattices and Their Applications, Fourth International Conference,
                  {CLA} 2006, Tunis, Tunisia, October 30 - November 1, 2006, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4923},
  pages        = {68--79},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-78921-5\_4},
  doi          = {10.1007/978-3-540-78921-5\_4},
  timestamp    = {Sun, 02 Jun 2019 21:24:25 +0200},
  biburl       = {https://dblp.org/rec/conf/cla/BelohlavekOV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/BelohlavekV06,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Sadok Ben Yahia and
                  Engelbert Mephu Nguifo and
                  Radim Belohl{\'{a}}vek},
  title        = {Graded LinClosure and Its Role in Relational Data Analysis},
  booktitle    = {Concept Lattices and Their Applications, Fourth International Conference,
                  {CLA} 2006, Tunis, Tunisia, October 30 - November 1, 2006, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4923},
  pages        = {139--154},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-78921-5\_9},
  doi          = {10.1007/978-3-540-78921-5\_9},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cla/BelohlavekV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/BelohlavekV06,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Mong{-}Li Lee and
                  Kian{-}Lee Tan and
                  Vilas Wuwongse},
  title        = {Data Tables with Similarity Relations: Functional Dependencies, Complete
                  Rules and Non-redundant Bases},
  booktitle    = {Database Systems for Advanced Applications, 11th International Conference,
                  {DASFAA} 2006, Singapore, April 12-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3882},
  pages        = {644--658},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11733836\_45},
  doi          = {10.1007/11733836\_45},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/dasfaa/BelohlavekV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grc/BelohlavekV06,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Computing non-redundant bases of if-then rules from data tables with
                  graded attributes},
  booktitle    = {2006 {IEEE} International Conference on Granular Computing, GrC 2006,
                  Atlanta, Georgia, USA, May 10-12, 2006},
  pages        = {205--210},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/GRC.2006.1635784},
  doi          = {10.1109/GRC.2006.1635784},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/grc/BelohlavekV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grc/BelohlavekV06a,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Dense rectangles in object-attribute data},
  booktitle    = {2006 {IEEE} International Conference on Granular Computing, GrC 2006,
                  Atlanta, Georgia, USA, May 10-12, 2006},
  pages        = {586--591},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/GRC.2006.1635871},
  doi          = {10.1109/GRC.2006.1635871},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/grc/BelohlavekV06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/BelohlavekOV06,
  author       = {Radim Belohl{\'{a}}vek and
                  Jan Outrata and
                  Vil{\'{e}}m Vychodil},
  editor       = {Henrik Sch{\"{a}}rfe and
                  Pascal Hitzler and
                  Peter {\O}hrstr{\o}m},
  title        = {Thresholds and Shifted Attributes in Formal Concept Analysis of Data
                  with Fuzzy Attributes},
  booktitle    = {Conceptual Structures: Inspiration and Application, 14th International
                  Conference on Conceptual Structures, {ICCS} 2006, Aalborg, Denmark,
                  July 16-21, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4068},
  pages        = {117--130},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11787181\_9},
  doi          = {10.1007/11787181\_9},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/iccs/BelohlavekOV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/BelohlavekV06,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Henrik Sch{\"{a}}rfe and
                  Pascal Hitzler and
                  Peter {\O}hrstr{\o}m},
  title        = {Formal Concept Analysis with Constraints by Closure Operators},
  booktitle    = {Conceptual Structures: Inspiration and Application, 14th International
                  Conference on Conceptual Structures, {ICCS} 2006, Aalborg, Denmark,
                  July 16-21, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4068},
  pages        = {131--143},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11787181\_10},
  doi          = {10.1007/11787181\_10},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccs/BelohlavekV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfca/BelohlavekV06,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Rokia Missaoui and
                  J{\"{u}}rg Schmid},
  title        = {Attribute Implications in a Fuzzy Setting},
  booktitle    = {Formal Concept Analysis, 4th International Conference, {ICFCA} 2006,
                  Dresden, Germany, February 13-17, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3874},
  pages        = {45--60},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11671404\_3},
  doi          = {10.1007/11671404\_3},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/icfca/BelohlavekV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/BelohlavekV06,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Replacing full rectangles by dense rectangles: Concept lattices and
                  attribute implications},
  booktitle    = {Proceedings of the 2006 {IEEE} International Conference on Information
                  Reuse and Integration, {IRI} - 2006: Heuristic Systems Engineering,
                  September 16-18, 2006, Waikoloa, Hawaii, {USA}},
  pages        = {117--122},
  publisher    = {{IEEE} Systems, Man, and Cybernetics Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/IRI.2006.252398},
  doi          = {10.1109/IRI.2006.252398},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iri/BelohlavekV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/BelohlavekV06a,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Similarity issues in attribute implications from data with fuzzy attributes},
  booktitle    = {Proceedings of the 2006 {IEEE} International Conference on Information
                  Reuse and Integration, {IRI} - 2006: Heuristic Systems Engineering,
                  September 16-18, 2006, Waikoloa, Hawaii, {USA}},
  pages        = {132--135},
  publisher    = {{IEEE} Systems, Man, and Cybernetics Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/IRI.2006.252401},
  doi          = {10.1109/IRI.2006.252401},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iri/BelohlavekV06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/BelohlavekV06b,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Relational model of data over domains with similarities: An extension
                  for similarity queries and knowledge extraction},
  booktitle    = {Proceedings of the 2006 {IEEE} International Conference on Information
                  Reuse and Integration, {IRI} - 2006: Heuristic Systems Engineering,
                  September 16-18, 2006, Waikoloa, Hawaii, {USA}},
  pages        = {207--213},
  publisher    = {{IEEE} Systems, Man, and Cybernetics Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/IRI.2006.252414},
  doi          = {10.1109/IRI.2006.252414},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iri/BelohlavekV06b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcis/BelohlavekV06,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Axiomatization of Fuzzy Attribute Logic over Complete Residuated Lattices},
  booktitle    = {Proceedings of the 2006 Joint Conference on Information Sciences,
                  {JCIS} 2006, Kaohsiung, Taiwan, ROC, October 8-11, 2006},
  publisher    = {Atlantis Press},
  year         = {2006},
  url          = {https://doi.org/10.2991/jcis.2006.281},
  doi          = {10.2991/JCIS.2006.281},
  timestamp    = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jcis/BelohlavekV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcis/BelohlavekV06a,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Pavelka-style Fuzzy Logic for Attribute Implications},
  booktitle    = {Proceedings of the 2006 Joint Conference on Information Sciences,
                  {JCIS} 2006, Kaohsiung, Taiwan, ROC, October 8-11, 2006},
  publisher    = {Atlantis Press},
  year         = {2006},
  url          = {https://doi.org/10.2991/jcis.2006.282},
  doi          = {10.2991/JCIS.2006.282},
  timestamp    = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jcis/BelohlavekV06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcis/BelohlavekV06b,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Semantic Entailment of Attribute-dependency Formulas and Their Non-redundant
                  Bases},
  booktitle    = {Proceedings of the 2006 Joint Conference on Information Sciences,
                  {JCIS} 2006, Kaohsiung, Taiwan, ROC, October 8-11, 2006},
  publisher    = {Atlantis Press},
  year         = {2006},
  url          = {https://doi.org/10.2991/jcis.2006.234},
  doi          = {10.2991/JCIS.2006.234},
  timestamp    = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jcis/BelohlavekV06b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/BelohlavekV06,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Mark Last and
                  Piotr S. Szczepaniak and
                  Zeev Volkovich and
                  Abraham Kandel},
  title        = {Estimations of Similarity in Formal Concept Analysis of Data with
                  Graded Attributes},
  booktitle    = {Advances in Web Intelligence and Data Mining},
  series       = {Studies in Computational Intelligence},
  volume       = {23},
  pages        = {243--252},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/3-540-33880-2\_25},
  doi          = {10.1007/3-540-33880-2\_25},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/sci/BelohlavekV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/BelohlavekV05,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Fuzzy Equational Logic},
  series       = {Studies in Fuzziness and Soft Computing},
  volume       = {186},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/b105121},
  doi          = {10.1007/B105121},
  isbn         = {978-3-540-26254-1},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/BelohlavekV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BelohlavekFV05,
  author       = {Radim Belohl{\'{a}}vek and
                  Tat{\'{a}}na Funiokov{\'{a}} and
                  Vil{\'{e}}m Vychodil},
  title        = {Fuzzy Closure Operators with Truth Stressers},
  journal      = {Log. J. {IGPL}},
  volume       = {13},
  number       = {5},
  pages        = {503--513},
  year         = {2005},
  url          = {https://doi.org/10.1093/jigpal/jzi038},
  doi          = {10.1093/JIGPAL/JZI038},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/BelohlavekFV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Vychodil05,
  author       = {Vil{\'{e}}m Vychodil},
  title        = {Cut and Weakening in Fuzzy Horn Logic},
  journal      = {Log. J. {IGPL}},
  volume       = {13},
  number       = {5},
  pages        = {599--609},
  year         = {2005},
  url          = {https://doi.org/10.1093/jigpal/jzi044},
  doi          = {10.1093/JIGPAL/JZI044},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Vychodil05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/BelohlavekV05,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Shichao Zhang and
                  Ray Jarvis},
  title        = {Fuzzy Attribute Implications: Computing Non-redundant Bases Using
                  Maximal Independent Sets},
  booktitle    = {{AI} 2005: Advances in Artificial Intelligence, 18th Australian Joint
                  Conference on Artificial Intelligence, Sydney, Australia, December
                  5-9, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3809},
  pages        = {1126--1129},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11589990\_153},
  doi          = {10.1007/11589990\_153},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ausai/BelohlavekV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/BelohlavekV05,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Radim Belohl{\'{a}}vek and
                  V{\'{a}}clav Sn{\'{a}}sel},
  title        = {What is a fuzzy concept lattice?},
  booktitle    = {Proceedings of the {CLA} 2005 International Workshop on Concept Lattices
                  and their Applications Olomouc, Czech Republic, September 7-9, 2005},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {162},
  publisher    = {CEUR-WS.org},
  year         = {2005},
  url          = {https://ceur-ws.org/Vol-162/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:10 +0100},
  biburl       = {https://dblp.org/rec/conf/cla/BelohlavekV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/BelohlavekV05,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Reducing the Size of Fuzzy Concept Lattices by Hedges},
  booktitle    = {{IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE} 2005,
                  Reno, Nevada, USA, May 22-25, 2005},
  pages        = {663--668},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/FUZZY.2005.1452473},
  doi          = {10.1109/FUZZY.2005.1452473},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/BelohlavekV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/BelohlavekV05a,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  title        = {Implications from data with fuzzy attributes vs. scaled binary attributes},
  booktitle    = {{IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE} 2005,
                  Reno, Nevada, USA, May 22-25, 2005},
  pages        = {1050--1055},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/FUZZY.2005.1452540},
  doi          = {10.1109/FUZZY.2005.1452540},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/BelohlavekV05a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iicai/BelohlavekV05,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Bhanu Prasad},
  title        = {Axiomatizations of Fuzzy Attribute Logic},
  booktitle    = {Proceedings of the 2nd Indian International Conference on Artificial
                  Intelligence, Pune, India, December 20-22, 2005},
  pages        = {2178--2193},
  publisher    = {{IICAI}},
  year         = {2005},
  timestamp    = {Fri, 15 Dec 2023 18:26:01 +0100},
  biburl       = {https://dblp.org/rec/conf/iicai/BelohlavekV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iicai/BelohlavekV05a,
  author       = {Radim Belohl{\'{a}}vek and
                  Vil{\'{e}}m Vychodil},
  editor       = {Bhanu Prasad},
  title        = {Functional Dependencies of Data Tables Over Domains with Similarity
                  Relations},
  booktitle    = {Proceedings of the 2nd Indian International Conference on Artificial
                  Intelligence, Pune, India, December 20-22, 2005},
  pages        = {2486--2504},
  publisher    = {{IICAI}},
  year         = {2005},
  timestamp    = {Wed, 25 Jan 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iicai/BelohlavekV05a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzy/BelohlavekFV04,
  author       = {Radim Belohl{\'{a}}vek and
                  Tat{\'{a}}na Funiokov{\'{a}} and
                  Vil{\'{e}}m Vychodil},
  editor       = {Bernd Reusch},
  title        = {Galois Connections with Truth Stressers: Foundations for Formal Concept
                  Analysis of Object-Attribute Data with Fuzzy Attributes},
  booktitle    = {Computational Intelligence, Theory and Applications, International
                  Conference 8th Fuzzy Days, Dortmund, Germany, Sept. 29 - Oct. 01,
                  2004},
  series       = {Advances in Soft Computing},
  volume       = {33},
  pages        = {205--219},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/3-540-31182-3\_18},
  doi          = {10.1007/3-540-31182-3\_18},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fuzzy/BelohlavekFV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics