Galois Connections with Truth Stressers: Foundations for Formal Concept Analysis of Object-Attribute Data with Fuzzy Attributes. - Radim Belohlávek; Tatána Funioková; Vilém Vychodil (Fuzzy Days, 2004)

Fuzzy Equational Logic - Radim Belohlávek; Vilém Vychodil (Springer, 2005)

Fuzzy Attribute Implications: Computing Non-redundant Bases Using Maximal Independent Sets. - Radim Belohlávek; Vilém Vychodil (Australian Conference on Artificial Intelligence, 2005)

What is a fuzzy concept lattice? - Radim Belohlávek; Vilém Vychodil (CLA, 2005)

Reducing the Size of Fuzzy Concept Lattices by Hedges. - Radim Belohlávek; Vilém Vychodil (FUZZ-IEEE, 2005)

Implications from data with fuzzy attributes vs. scaled binary attributes. - Radim Belohlávek; Vilém Vychodil (FUZZ-IEEE, 2005)

Axiomatizations of Fuzzy Attribute Logic. - Radim Belohlávek; Vilém Vychodil (IICAI, 2005)

Functional Dependencies of Data Tables Over Domains with Similarity Relations. - Radim Belohlávek; Vilém Vychodil (IICAI, 2005)

Fuzzy Closure Operators with Truth Stressers. - Radim Belohlávek; Tatána Funioková; Vilém Vychodil (Log. J. IGPL, 2005)

Cut and Weakening in Fuzzy Horn Logic. - Vilém Vychodil (Log. J. IGPL, 2005)

Codd's Relational Model of Data and Fuzzy Logic: Comparisons, Observations, and Some New Results. - Radim Belohlávek; Vilém Vychodil (CIMCA/IAWTIC, 2006)

Reducing the Size of If-Then Rules Generated from Data Tables with Graded Attributes. - Radim Belohlávek; Vilém Vychodil (CIMCA/IAWTIC, 2006)

Direct Factorization by Similarity of Fuzzy Concept Lattices by Factorization of Input Data. - Radim Belohlávek; Jan Outrata; Vilém Vychodil (CLA, 2006)

Graded LinClosure and Its Role in Relational Data Analysis. - Radim Belohlávek; Vilém Vychodil (CLA, 2006)

Data Tables with Similarity Relations: Functional Dependencies, Complete Rules and Non-redundant Bases. - Radim Belohlávek; Vilém Vychodil (DASFAA, 2006)

Computing non-redundant bases of if-then rules from data tables with graded attributes. - Radim Belohlávek; Vilém Vychodil (GrC, 2006)

Dense rectangles in object-attribute data. - Radim Belohlávek; Vilém Vychodil (GrC, 2006)

Thresholds and Shifted Attributes in Formal Concept Analysis of Data with Fuzzy Attributes. - Radim Belohlávek; Jan Outrata; Vilém Vychodil (ICCS, 2006)

Formal Concept Analysis with Constraints by Closure Operators. - Radim Belohlávek; Vilém Vychodil (ICCS, 2006)

Attribute Implications in a Fuzzy Setting. - Radim Belohlávek; Vilém Vychodil (ICFCA, 2006)

Replacing full rectangles by dense rectangles: Concept lattices and attribute implications. - Radim Belohlávek; Vilém Vychodil (IRI, 2006)

Similarity issues in attribute implications from data with fuzzy attributes. - Radim Belohlávek; Vilém Vychodil (IRI, 2006)

Relational model of data over domains with similarities: An extension for similarity queries and knowledge extraction. - Radim Belohlávek; Vilém Vychodil (IRI, 2006)

Axiomatization of Fuzzy Attribute Logic over Complete Residuated Lattices. - Radim Belohlávek; Vilém Vychodil (JCIS, 2006)

Pavelka-style Fuzzy Logic for Attribute Implications. - Radim Belohlávek; Vilém Vychodil (JCIS, 2006)

Semantic Entailment of Attribute-dependency Formulas and Their Non-redundant Bases. - Radim Belohlávek; Vilém Vychodil (JCIS, 2006)

Fuzzy Horn logic I. - Radim Belohlávek; Vilém Vychodil (Arch. Math. Log., 2006)

Fuzzy Horn logic II. - Radim Belohlávek; Vilém Vychodil (Arch. Math. Log., 2006)

Algebras with fuzzy equalities. - Radim Belohlávek; Vilém Vychodil (Fuzzy Sets Syst., 2006)

An answer to Demirci's open question, a clarification of his result, and a correction of his interpretation of the result. - Radim Belohlávek; Vilém Vychodil (Fuzzy Sets Syst., 2006)

Truth-depressing hedges and BL-logic. - Vilém Vychodil (Fuzzy Sets Syst., 2006)

Fuzzy attribute logic over complete residuated lattices. - Radim Belohlávek; Vilém Vychodil (J. Exp. Theor. Artif. Intell., 2006)

Continuous fuzzy Horn logic. - Vilém Vychodil (Math. Log. Q., 2006)

Extended Fuzzy Equational Logic. - Vilém Vychodil (J. Multiple Valued Log. Soft Comput., 2006)

A note on congruence permutability and fuzzy logic. - Vilém Vychodil (Soft Comput., 2006)

Estimations of Similarity in Formal Concept Analysis of Data with Graded Attributes. - Radim Belohlávek; Vilém Vychodil (Advances in Web Intelligence and Data Mining, 2006)

Formal Concepts as Optimal Factors in Boolean Factor Analysis: Implications and Experiments. - Radim Belohlávek; Vilém Vychodil (CLA, 2007)

Scales behind computational intelligence: exploring properties of finite lattices. - Radim Belohlávek; Vilém Vychodil (FOCI, 2007)

Generating Non-redundant Bases of Data Tables with Fuzzy Attributes by Reduction of Complete Sets of Fuzzy Attribute Implications. - Zdenek Horak; Vilém Vychodil (FUZZ-IEEE, 2007)

Relational Algebra for Ranked Tables with Similarities: Properties and Implementation. - Radim Belohlávek; Stanislav Opichal; Vilém Vychodil (IDA, 2007)

Counting Finite Residuated Lattices. - Radim Belohlávek; Vilém Vychodil (IFSA (1), 2007)

On Proofs and Rule of Multiplication in Fuzzy Attribute Logic. - Radim Belohlávek; Vilém Vychodil (IFSA (1), 2007)

Lindig's Algorithm for Concept Lattices over Graded Attributes. - Radim Belohlávek; Bernard De Baets; Jan Outrata; Vilém Vychodil (MDAI, 2007)

Trees in Concept Lattices. - Radim Belohlávek; Bernard De Baets; Jan Outrata; Vilém Vychodil (MDAI, 2007)

Threshold Boolean logic. - Vilém Vychodil (Int. J. Gen. Syst., 2007)

Fuzzy Concept Lattices Constrained by Hedges. - Radim Belohlávek; Vilém Vychodil (J. Adv. Comput. Intell. Intell. Informatics, 2007)

Direct Limits and Reduced Products of Algebras with Fuzzy Equalities. - Vilém Vychodil (J. Multiple Valued Log. Soft Comput., 2007)

Data Dependencies in Codd's Relational Model with Similarities. - Radim Belohlávek; Vilém Vychodil (Handbook of Research on Fuzzy Information Processing in Databases, 2008)

Compositions of fuzzy relations with hedges. - Eduard Bartl; Radim Belohlávek; Vilém Vychodil (FUZZ-IEEE, 2008)

On the importance of fuzzy attribute implications. - Vilém Vychodil (FUZZ-IEEE, 2008)

Adding background knowledge to formal concept analysis via attribute dependency formulas. - Radim Belohlávek; Vilém Vychodil (SAC, 2008)

Fast Factorization by Similarity of Fuzzy Concept Lattices with Hedges. - Radim Belohlávek; Jan Outrata; Vilém Vychodil (Int. J. Found. Comput. Sci., 2008)

Basic Algorithm for Attribute Implications and Functional Dependencies in Graded Setting. - Radim Belohlávek; Vilém Vychodil (Int. J. Found. Comput. Sci., 2008)

Characterizing Trees in Concept Lattices. - Radim Belohlávek; Bernard De Baets; Jan Outrata; Vilém Vychodil (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2008)

Logical Foundations for Similarity-Based Databases. - Radim Belohlávek; Vilém Vychodil (DASFAA Workshops, 2009)

Confluence and related properties of fuzzy relations. - Radim Belohlávek; Tomas Kuhr; Vilém Vychodil (FUZZ-IEEE, 2009)

A Novel Approach to Cell Formation. - Radim Belohlávek; Niranjan Kulkarni; Vilém Vychodil (ICFCA, 2009)

Factor Analysis of Incidence Data via Novel Decomposition of Matrices. - Radim Belohlávek; Vilém Vychodil (ICFCA, 2009)

Distributed Algorithm for Computing Formal Concepts Using Map-Reduce Framework. - Petr Krajca; Vilém Vychodil (IDA, 2009)

Comparison of Data Structures for Computing Formal Concepts. - Petr Krajca; Vilém Vychodil (MDAI, 2009)

Data parallel dialect of scheme: outline of the formal model, implementation, performance. - Petr Krajca; Vilém Vychodil (SAC, 2009)

Inducing decision trees via concept lattices. - Radim Belohlávek; Bernard De Baets; Jan Outrata; Vilém Vychodil (Int. J. Gen. Syst., 2009)

Formal Concept Analysis With Background Knowledge: Attribute Priorities. - Radim Belohlávek; Vilém Vychodil (IEEE Trans. Syst. Man Cybern. Part C, 2009)

Advances in Algorithms Based on CbO. - Petr Krajca; Jan Outrata; Vilém Vychodil (CLA, 2010)

Optimal Factorization of Three-Way Binary Data. - Radim Belohlávek; Vilém Vychodil (GrC, 2010)

Factorizing three-way binary data. - Radim Belohlávek; Vilém Vychodil (ISCIS, 2010)

Factorizing Three-Way Binary Data with Triadic Formal Concepts. - Radim Belohlávek; Vilém Vychodil (KES (1), 2010)

Background knowledge in formal concept analysis: constraints via closure operators. - Radim Belohlávek; Vilém Vychodil (SAC, 2010)

Query systems in similarity-based databases: logical foundations, expressive power, and completeness. - Radim Belohlávek; Vilém Vychodil (SAC, 2010)

Software transactional memory for implicitly parallel functional language. - Petr Krajca; Vilém Vychodil (SAC, 2010)

Parallel algorithm for computing fixpoints of Galois connections. - Petr Krajca; Jan Outrata; Vilém Vychodil (Ann. Math. Artif. Intell., 2010)

Confluence and termination of fuzzy relations. - Radim Belohlávek; Tomas Kuhr; Vilém Vychodil (Inf. Sci., 2010)

Discovery of optimal factors in binary data via a novel method of matrix decomposition. - Radim Belohlávek; Vilém Vychodil (J. Comput. Syst. Sci., 2010)

Residuated Lattices of Size <= 12. - Radim Belohlávek; Vilém Vychodil (Order, 2010)

Computing the Lattice of All Fixpoints of a Fuzzy Closure Operator. - Radim Belohlávek; Bernard De Baets; Jan Outrata; Vilém Vychodil (IEEE Trans. Fuzzy Syst., 2010)

Fuzzy attribute logic with model constraints. - Radim Belohlávek; Vilém Vychodil (EUSFLAT Conf., 2011)

Factorizing Three-Way Ordinal Data Using Triadic Formal Concepts. - Radim Belohlávek; Petr Osicka; Vilém Vychodil (FQAS, 2011)

Using Frequent Closed Itemsets for Data Dimensionality Reduction. - Petr Krajca; Jan Outrata; Vilém Vychodil (ICDM, 2011)

Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks. - Radim Belohlávek; Lucie Urbanova; Vilém Vychodil (INAP/WLP, 2011)

Similarity of Query Results in Similarity-Based Databases. - Radim Belohlávek; Lucie Urbanova; Vilém Vychodil (RSKT, 2011)

Codd's Relational Model from the Point of View of Fuzzy Logic. - Radim Belohlávek; Vilém Vychodil (J. Log. Comput., 2011)

An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data. - Radim Belohlávek; Pablo Cordero; Manuel Enciso; Ángel Mora 001; Vilém Vychodil (MDAI, 2012)

Representing Fuzzy Logic Programs by Graded Attribute Implications. - Tomas Kuhr; Vilém Vychodil (MDAI, 2012)

Attribute implications in similarity-based databases: semantic entailment and nonredundant bases. - Radim Belohlávek; Vilém Vychodil (SAC, 2012)

Applications of Ordinal Ranks to Flexible Query Answering. - Lucie Urbanova; Vilém Vychodil; Lena Wiese (SUM, 2012)

Bivalent and other solutions of fuzzy relational equations via linguistic hedges. - Eduard Bartl; Radim Belohlávek; Vilém Vychodil (Fuzzy Sets Syst., 2012)

Computing Formal Concepts by Attribute Sorting. - Petr Krajca; Jan Outrata; Vilém Vychodil (Fundam. Informaticae, 2012)

Formal concept analysis and linguistic hedges. - Radim Belohlávek; Vilém Vychodil (Int. J. Gen. Syst., 2012)

Similarity issues of confluence of fuzzy relations. - Tomas Kuhr; Vilém Vychodil (Int. J. Gen. Syst., 2012)

On terminological issues regarding linguistic hedges. - Vilém Vychodil (Int. J. Gen. Syst., 2012)

Fast algorithm for computing fixpoints of Galois connections induced by object-attribute relational data. - Jan Outrata; Vilém Vychodil (Inf. Sci., 2012)

Relational algebra for multi-ranked similarity-based databases. - Radim Belohlávek; Vilém Vychodil (FOCI, 2013)

Foundations of relational similarity-based query language RESIQL. - Petr Krajca; Vilém Vychodil (FOCI, 2013)

Query Optimization Strategies in Similarity-Based Databases. - Petr Krajca; Vilém Vychodil (MDAI, 2013)

Discovery of factors in matrices with grades - Radim Belohlávek; Vilém Vychodil (CoRR, 2013)

Closure-based constraints in formal concept analysis. - Radim Belohlávek; Vilém Vychodil (Discret. Appl. Math., 2013)

Fuzzy Attribute Implications and their Expressive Power. - Vilém Vychodil (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2013)

Optimal Factorization of Three-Way Binary Data Using Triadic Concepts. - Radim Belohlávek; Cynthia Vera Glodeanu; Vilém Vychodil (Order, 2013)

Towards Armstrong-Style Inference System for Attribute Implications with Temporal Semantics. - Jan Triska; Vilém Vychodil (MDAI, 2014)

Attribute Dependencies for Data with Grades. - Radim Belohlávek; Vilém Vychodil (CoRR, 2014)

Monoidal functional dependencies. - Vilém Vychodil (CoRR, 2014)

Computing minimal sets of descriptive conditions for binary data. - Radim Belohlávek; Vilém Vychodil (Int. J. Gen. Syst., 2014)

Derivation digraphs for dependencies in ordinal and similarity-based data. - Lucie Urbanova; Vilém Vychodil (Inf. Sci., 2014)

Graded data dependencies in relational databases: Reasoning with similarity of time. - Jan Triska; Vilém Vychodil (NAFIPS/WConSC, 2015)

A logic of graded attributes. - Radim Belohlávek; Vilém Vychodil (Arch. Math. Log., 2015)

Rational fuzzy attribute logic. - Vilém Vychodil (CoRR, 2015)

Fuzzy logic programming reduced to reasoning with attribute implications. - Tomas Kuhr; Vilém Vychodil (Fuzzy Sets Syst., 2015)

Rewriting systems over similarity and generalized pseudometric spaces and their properties. - Tomas Kuhr; Vilém Vychodil (Fuzzy Sets Syst., 2015)

Pseudovarieties of algebras with fuzzy equalities. - Vilém Vychodil (Fuzzy Sets Syst., 2015)

Fuzzy inequational logic. - Vilém Vychodil (Int. J. Approx. Reason., 2015)

On minimal sets of graded attribute implications. - Vilém Vychodil (Inf. Sci., 2015)

Factorization of matrices with grades. - Radim Belohlávek; Vilém Vychodil (Fuzzy Sets Syst., 2016)

Variety theorem for algebras with fuzzy orders. - Vilém Vychodil (Fuzzy Sets Syst., 2016)

Automated prover for attribute dependencies in data with grades. - Radim Belohlávek; Pablo Cordero; Manuel Enciso; Ángel Mora 001; Vilém Vychodil (Int. J. Approx. Reason., 2016)

Attribute dependencies for data with grades I, . - Radim Belohlávek; Vilém Vychodil (Int. J. Gen. Syst., 2016)

Relational division in rank-aware databases. - Ondrej Vaverka; Vilém Vychodil (Inf. Sci., 2016)

On sets of graded attribute implications with witnessed non-redundancy. - Vilém Vychodil (Inf. Sci., 2016)

Computing sets of graded attribute implications with witnessed non-redundancy. - Vilém Vychodil (Inf. Sci., 2016)

Parameterizing the Semantics of Fuzzy Attribute Implications by Systems of Isotone Galois Connections. - Vilém Vychodil (IEEE Trans. Fuzzy Syst., 2016)

Logic of temporal attribute implications. - Jan Triska; Vilém Vychodil (Ann. Math. Artif. Intell., 2017)

Closure structures parameterized by systems of isotone Galois connections. - Vilém Vychodil (Int. J. Approx. Reason., 2017)

Attribute dependencies for data with grades II, . - Radim Belohlávek; Vilém Vychodil (Int. J. Gen. Syst., 2017)

Relational similarity-based model of data part 1: foundations and query systems. - Radim Belohlávek; Vilém Vychodil (Int. J. Gen. Syst., 2017)

Invariance to ordinal transformations in rank-aware databases. - Vilém Vychodil (Inf. Sci., 2017)

Towards Simplification Logic for Graded Attribute Implications with General Semantics. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Vilém Vychodil (CLA, 2018)

Minimal bases of temporal attribute implications. - Jan Triska; Vilém Vychodil (Ann. Math. Artif. Intell., 2018)

Relational similarity-based model of data part 2: dependencies in data. - Radim Belohlávek; Vilém Vychodil (Int. J. Gen. Syst., 2018)

Parameterized simplification logic I: reasoning with implications and classes of closure operators. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Vilém Vychodil (Int. J. Gen. Syst., 2020)

Parameterized Simplification Logic: Reasoning With Implications in an Automated Way. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Vilém Vychodil (IEEE Trans. Fuzzy Syst., 2022)