Vilém Vychodil

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 31

Top Venues

CoRR

Int. J. Gen. Syst.

Inf. Sci.

Fuzzy Sets Syst.

Publications

Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
Parameterized Simplification Logic: Reasoning With Implications in an Automated Way. IEEE Trans. Fuzzy Syst. 30 (12) (2022)
Pablo Cordero, Manuel Enciso, Angel Mora, Vilém Vychodil
Parameterized simplification logic I: reasoning with implications and classes of closure operators. Int. J. Gen. Syst. 49 (7) (2020)
Radim Belohlávek, Vilém Vychodil
Relational similarity-based model of data part 2: dependencies in data. Int. J. Gen. Syst. 47 (1) (2018)
Pablo Cordero, Manuel Enciso, Angel Mora, Vilém Vychodil
Towards Simplification Logic for Graded Attribute Implications with General Semantics. CLA (2018)
Jan Triska, Vilém Vychodil
Minimal bases of temporal attribute implications. Ann. Math. Artif. Intell. 83 (1) (2018)
Jan Triska, Vilém Vychodil
Logic of temporal attribute implications. Ann. Math. Artif. Intell. 79 (4) (2017)
Vilém Vychodil
Closure structures parameterized by systems of isotone Galois connections. CoRR (2017)
Vilém Vychodil
Closure structures parameterized by systems of isotone Galois connections. Int. J. Approx. Reason. 91 (2017)
Radim Belohlávek, Vilém Vychodil
Relational similarity-based model of data part 1: foundations and query systems. Int. J. Gen. Syst. 46 (7) (2017)
Radim Belohlávek, Vilém Vychodil
Attribute dependencies for data with grades II, . Int. J. Gen. Syst. 46 (1) (2017)
Vilém Vychodil
Invariance to ordinal transformations in rank-aware databases. Inf. Sci. 378 (2017)
Radim Belohlávek, Vilém Vychodil
Attribute dependencies for data with grades I, . Int. J. Gen. Syst. 45 (7-8) (2016)
Vilém Vychodil
On sets of graded attribute implications with witnessed non-redundancy. Inf. Sci. 329 (2016)
Vilém Vychodil
Invariance to ordinal transformations in rank-aware databases. CoRR (2016)
Vilém Vychodil
Computing sets of graded attribute implications with witnessed non-redundancy. Inf. Sci. 351 (2016)
Ondrej Vaverka, Vilém Vychodil
Relational division in rank-aware databases. Inf. Sci. 366 (2016)
Radim Belohlávek, Vilém Vychodil
Factorization of matrices with grades. Fuzzy Sets Syst. 292 (2016)
Vilém Vychodil
Variety theorem for algebras with fuzzy orders. Fuzzy Sets Syst. 303 (2016)
Vilém Vychodil
Parameterizing the Semantics of Fuzzy Attribute Implications by Systems of Isotone Galois Connections. IEEE Trans. Fuzzy Syst. 24 (3) (2016)
Radim Belohlávek, Pablo Cordero, Manuel Enciso, Angel Mora, Vilém Vychodil
Automated prover for attribute dependencies in data with grades. Int. J. Approx. Reason. 70 (2016)
Radim Belohlávek, Vilém Vychodil
A logic of graded attributes. Arch. Math. Log. 54 (7-8) (2015)
Vilém Vychodil
Rational fuzzy attribute logic. CoRR (2015)
Vilém Vychodil
Fuzzy inequational logic. Int. J. Approx. Reason. 60 (2015)
Ondrej Vaverka, Vilém Vychodil
Relational Division in Rank-Aware Databases. CoRR (2015)
Jan Triska, Vilém Vychodil
Graded data dependencies in relational databases: Reasoning with similarity of time. NAFIPS/WConSC (2015)
Vilém Vychodil
On sets of graded attribute implications with witnessed non-redundancy. CoRR (2015)
Vilém Vychodil
Pseudovarieties of algebras with fuzzy equalities. Fuzzy Sets Syst. 260 (2015)
Vilém Vychodil
On minimal sets of graded attribute implications. Inf. Sci. 294 (2015)
Tomas Kuhr, Vilém Vychodil
Rewriting systems over similarity and generalized pseudometric spaces and their properties. Fuzzy Sets Syst. 275 (2015)
Tomas Kuhr, Vilém Vychodil
Fuzzy logic programming reduced to reasoning with attribute implications. Fuzzy Sets Syst. 262 (2015)
Vilém Vychodil
Computing sets of graded attribute implications with witnessed non-redundancy. CoRR (2015)
Jan Triska, Vilém Vychodil
Logic of temporal attribute implications. CoRR (2014)
Jan Triska, Vilém Vychodil
Towards Armstrong-Style Inference System for Attribute Implications with Temporal Semantics. MDAI (2014)
Vilém Vychodil
Parameterizing the semantics of fuzzy attribute implications by systems of isotone Galois connections. CoRR (2014)
Radim Belohlávek, Vilém Vychodil
Computing minimal sets of descriptive conditions for binary data. Int. J. Gen. Syst. 43 (5) (2014)
Vilém Vychodil
On minimal sets of graded attribute implications. CoRR (2014)
Vilém Vychodil
Fuzzy inequational logic. CoRR (2014)
Radim Belohlávek, Vilém Vychodil
Attribute Dependencies for Data with Grades. CoRR (2014)
Vilém Vychodil
Monoidal functional dependencies. CoRR (2014)
Lucie Urbanova, Vilém Vychodil
Derivation digraphs for dependencies in ordinal and similarity-based data. Inf. Sci. 268 (2014)
Radim Belohlávek, Vilém Vychodil
Relational algebra for multi-ranked similarity-based databases. FOCI (2013)
Petr Krajca, Vilém Vychodil
Foundations of relational similarity-based query language RESIQL. FOCI (2013)
Vilém Vychodil
Fuzzy Attribute Implications and their Expressive Power. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 21 (4) (2013)
Radim Belohlávek, Vilém Vychodil
Discovery of factors in matrices with grades CoRR (2013)
Radim Belohlávek, Cynthia Vera Glodeanu, Vilém Vychodil
Optimal Factorization of Three-Way Binary Data Using Triadic Concepts. Order 30 (2) (2013)
Radim Belohlávek, Vilém Vychodil
Closure-based constraints in formal concept analysis. Discret. Appl. Math. 161 (13-14) (2013)
Petr Krajca, Vilém Vychodil
Query Optimization Strategies in Similarity-Based Databases. MDAI (2013)
Petr Krajca, Jan Outrata, Vilém Vychodil
Computing Formal Concepts by Attribute Sorting. Fundam. Informaticae 115 (4) (2012)
Tomas Kuhr, Vilém Vychodil
Similarity issues of confluence of fuzzy relations. Int. J. Gen. Syst. 41 (3) (2012)
Tomas Kuhr, Vilém Vychodil
Representing Fuzzy Logic Programs by Graded Attribute Implications. MDAI (2012)
Radim Belohlávek, Vilém Vychodil
Attribute implications in similarity-based databases: semantic entailment and nonredundant bases. SAC (2012)
Jan Outrata, Vilém Vychodil
Fast algorithm for computing fixpoints of Galois connections induced by object-attribute relational data. Inf. Sci. 185 (1) (2012)
Radim Belohlávek, Vilém Vychodil
Formal concept analysis and linguistic hedges. Int. J. Gen. Syst. 41 (5) (2012)
Radim Belohlávek, Pablo Cordero, Manuel Enciso, Angel Mora, Vilém Vychodil
An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data. MDAI (2012)
Vilém Vychodil
On terminological issues regarding linguistic hedges. Int. J. Gen. Syst. 41 (5) (2012)
Lucie Urbanova, Vilém Vychodil, Lena Wiese
Applications of Ordinal Ranks to Flexible Query Answering. SUM (2012)
Eduard Bartl, Radim Belohlávek, Vilém Vychodil
Bivalent and other solutions of fuzzy relational equations via linguistic hedges. Fuzzy Sets Syst. 187 (1) (2012)
Radim Belohlávek, Petr Osicka, Vilém Vychodil
Factorizing Three-Way Ordinal Data Using Triadic Formal Concepts. FQAS (2011)
Radim Belohlávek, Lucie Urbanova, Vilém Vychodil
Similarity of Query Results in Similarity-Based Databases. RSKT (2011)
Radim Belohlávek, Vilém Vychodil
Codd's Relational Model from the Point of View of Fuzzy Logic. J. Log. Comput. 21 (5) (2011)
Radim Belohlávek, Lucie Urbanova, Vilém Vychodil
Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks. INAP/WLP (2011)
Radim Belohlávek, Vilém Vychodil
Fuzzy attribute logic with model constraints. EUSFLAT Conf. (2011)
Petr Krajca, Jan Outrata, Vilém Vychodil
Using Frequent Closed Itemsets for Data Dimensionality Reduction. ICDM (2011)
Radim Belohlávek, Lucie Urbanova, Vilém Vychodil
Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks CoRR (2011)
Radim Belohlávek, Vilém Vychodil
Background knowledge in formal concept analysis: constraints via closure operators. SAC (2010)
Radim Belohlávek, Vilém Vychodil
Factorizing three-way binary data. ISCIS (2010)
Petr Krajca, Vilém Vychodil
Software transactional memory for implicitly parallel functional language. SAC (2010)
Radim Belohlávek, Vilém Vychodil
Residuated Lattices of Size <= 12. Order 27 (2) (2010)
Radim Belohlávek, Tomas Kuhr, Vilém Vychodil
Confluence and termination of fuzzy relations. Inf. Sci. 180 (17) (2010)
Radim Belohlávek, Vilém Vychodil
Discovery of optimal factors in binary data via a novel method of matrix decomposition. J. Comput. Syst. Sci. 76 (1) (2010)
Radim Belohlávek, Bernard De Baets, Jan Outrata, Vilém Vychodil
Computing the Lattice of All Fixpoints of a Fuzzy Closure Operator. IEEE Trans. Fuzzy Syst. 18 (3) (2010)
Petr Krajca, Jan Outrata, Vilém Vychodil
Advances in Algorithms Based on CbO. CLA (2010)
Radim Belohlávek, Vilém Vychodil
Factorizing Three-Way Binary Data with Triadic Formal Concepts. KES (1) (2010)
Radim Belohlávek, Vilém Vychodil
Query systems in similarity-based databases: logical foundations, expressive power, and completeness. SAC (2010)
Petr Krajca, Jan Outrata, Vilém Vychodil
Parallel algorithm for computing fixpoints of Galois connections. Ann. Math. Artif. Intell. 59 (2) (2010)
Radim Belohlávek, Vilém Vychodil
Optimal Factorization of Three-Way Binary Data. GrC (2010)
Radim Belohlávek, Tomas Kuhr, Vilém Vychodil
Confluence and related properties of fuzzy relations. FUZZ-IEEE (2009)
Radim Belohlávek, Niranjan Kulkarni, Vilém Vychodil
A Novel Approach to Cell Formation. ICFCA (2009)
Radim Belohlávek, Vilém Vychodil
Factor Analysis of Incidence Data via Novel Decomposition of Matrices. ICFCA (2009)
Radim Belohlávek, Vilém Vychodil
Formal Concept Analysis With Background Knowledge: Attribute Priorities. IEEE Trans. Syst. Man Cybern. Part C 39 (4) (2009)
Petr Krajca, Vilém Vychodil
Comparison of Data Structures for Computing Formal Concepts. MDAI (2009)
Radim Belohlávek, Vilém Vychodil
Logical Foundations for Similarity-Based Databases. DASFAA Workshops (2009)
Petr Krajca, Vilém Vychodil
Distributed Algorithm for Computing Formal Concepts Using Map-Reduce Framework. IDA (2009)
Petr Krajca, Vilém Vychodil
Data parallel dialect of scheme: outline of the formal model, implementation, performance. SAC (2009)
Radim Belohlávek, Bernard De Baets, Jan Outrata, Vilém Vychodil
Inducing decision trees via concept lattices. Int. J. Gen. Syst. 38 (4) (2009)
Radim Belohlávek, Jan Outrata, Vilém Vychodil
Fast Factorization by Similarity of Fuzzy Concept Lattices with Hedges. Int. J. Found. Comput. Sci. 19 (2) (2008)
Vilém Vychodil
On the importance of fuzzy attribute implications. FUZZ-IEEE (2008)
Eduard Bartl, Radim Belohlávek, Vilém Vychodil
Compositions of fuzzy relations with hedges. FUZZ-IEEE (2008)
Radim Belohlávek, Vilém Vychodil
Adding background knowledge to formal concept analysis via attribute dependency formulas. SAC (2008)
Radim Belohlávek, Vilém Vychodil
Basic Algorithm for Attribute Implications and Functional Dependencies in Graded Setting. Int. J. Found. Comput. Sci. 19 (2) (2008)
Radim Belohlávek, Bernard De Baets, Jan Outrata, Vilém Vychodil
Characterizing Trees in Concept Lattices. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 16 (Supplement-1) (2008)
Radim Belohlávek, Vilém Vychodil
On Proofs and Rule of Multiplication in Fuzzy Attribute Logic. IFSA (1) (2007)
Radim Belohlávek, Bernard De Baets, Jan Outrata, Vilém Vychodil
Lindig's Algorithm for Concept Lattices over Graded Attributes. MDAI (2007)
Radim Belohlávek, Vilém Vychodil
Fuzzy Concept Lattices Constrained by Hedges. J. Adv. Comput. Intell. Intell. Informatics 11 (6) (2007)
Vilém Vychodil
Threshold Boolean logic. Int. J. Gen. Syst. 36 (1) (2007)
Radim Belohlávek, Bernard De Baets, Jan Outrata, Vilém Vychodil
Trees in Concept Lattices. MDAI (2007)
Radim Belohlávek, Bernard De Baets, Jan Outrata, Vilém Vychodil
Inducing Decision Trees via Concept Lattices. CLA (2007)
Vilém Vychodil
Direct Limits and Reduced Products of Algebras with Fuzzy Equalities. J. Multiple Valued Log. Soft Comput. 13 (1-2) (2007)
Zdenek Horak, Vilém Vychodil
Generating Non-redundant Bases of Data Tables with Fuzzy Attributes by Reduction of Complete Sets of Fuzzy Attribute Implications. FUZZ-IEEE (2007)
Radim Belohlávek, Stanislav Opichal, Vilém Vychodil
Relational Algebra for Ranked Tables with Similarities: Properties and Implementation. IDA (2007)

Vilém Vychodil.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vilém Vychodil