Vilém Vychodil

141 papers A* 1B 16C 4Misc 14Journal 73Unranked 29
YearRankTypeTitle / Venue / Authors
2022 J jnl
Parameterized Simplification Logic: Reasoning With Implications in an Automated Way.
IEEE Trans. Fuzzy Syst.
Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
2020 J jnl
Parameterized simplification logic I: reasoning with implications and classes of closure operators.
Int. J. Gen. Syst.
Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
2018 J jnl
Minimal bases of temporal attribute implications.
Ann. Math. Artif. Intell.
Jan Triska, Vilém Vychodil
2018 J jnl
Relational similarity-based model of data part 2: dependencies in data.
Int. J. Gen. Syst.
Radim Belohlávek, Vilém Vychodil
2018 — conf
Towards Simplification Logic for Graded Attribute Implications with General Semantics.
CLA
Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
2017 J jnl
Attribute dependencies for data with grades II, .
Int. J. Gen. Syst.
Radim Belohlávek, Vilém Vychodil
2017 J jnl
Closure structures parameterized by systems of isotone Galois connections.
CoRR
Vilém Vychodil
2017 J jnl
Closure structures parameterized by systems of isotone Galois connections.
Int. J. Approx. Reason.
Vilém Vychodil
2017 J jnl
Invariance to ordinal transformations in rank-aware databases.
Inf. Sci.
Vilém Vychodil
2017 J jnl
Logic of temporal attribute implications.
Ann. Math. Artif. Intell.
Jan Triska, Vilém Vychodil
2017 J jnl
Relational similarity-based model of data part 1: foundations and query systems.
Int. J. Gen. Syst.
Radim Belohlávek, Vilém Vychodil
2016 J jnl
Attribute dependencies for data with grades I, .
Int. J. Gen. Syst.
Radim Belohlávek, Vilém Vychodil
2016 J jnl
Automated prover for attribute dependencies in data with grades.
Int. J. Approx. Reason.
Radim Belohlávek, Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
2016 J jnl
Computing sets of graded attribute implications with witnessed non-redundancy.
Inf. Sci.
Vilém Vychodil
2016 J jnl
Factorization of matrices with grades.
Fuzzy Sets Syst.
Radim Belohlávek, Vilém Vychodil
2016 J jnl
Invariance to ordinal transformations in rank-aware databases.
CoRR
Vilém Vychodil
2016 J jnl
On sets of graded attribute implications with witnessed non-redundancy.
Inf. Sci.
Vilém Vychodil
2016 J jnl
Parameterizing the Semantics of Fuzzy Attribute Implications by Systems of Isotone Galois Connections.
IEEE Trans. Fuzzy Syst.
Vilém Vychodil
2016 J jnl
Relational division in rank-aware databases.
Inf. Sci.
Ondrej Vaverka, Vilém Vychodil
2016 J jnl
Variety theorem for algebras with fuzzy orders.
Fuzzy Sets Syst.
Vilém Vychodil
2015 J jnl
A logic of graded attributes.
Arch. Math. Log.
Radim Belohlávek, Vilém Vychodil
2015 J jnl
Computing sets of graded attribute implications with witnessed non-redundancy.
CoRR
Vilém Vychodil
2015 J jnl
Fuzzy inequational logic.
Int. J. Approx. Reason.
Vilém Vychodil
2015 J jnl
Fuzzy logic programming reduced to reasoning with attribute implications.
Fuzzy Sets Syst.
Tomas Kuhr, Vilém Vychodil
2015 — conf
Graded data dependencies in relational databases: Reasoning with similarity of time.
NAFIPS/WConSC
Jan Triska, Vilém Vychodil
2015 J jnl
On minimal sets of graded attribute implications.
Inf. Sci.
Vilém Vychodil
2015 J jnl
On sets of graded attribute implications with witnessed non-redundancy.
CoRR
Vilém Vychodil
2015 J jnl
Pseudovarieties of algebras with fuzzy equalities.
Fuzzy Sets Syst.
Vilém Vychodil
2015 J jnl
Rational fuzzy attribute logic.
CoRR
Vilém Vychodil
2015 J jnl
Relational Division in Rank-Aware Databases.
CoRR
Ondrej Vaverka, Vilém Vychodil
2015 J jnl
Rewriting systems over similarity and generalized pseudometric spaces and their properties.
Fuzzy Sets Syst.
Tomas Kuhr, Vilém Vychodil
2014 J jnl
Attribute Dependencies for Data with Grades.
CoRR
Radim Belohlávek, Vilém Vychodil
2014 J jnl
Computing minimal sets of descriptive conditions for binary data.
Int. J. Gen. Syst.
Radim Belohlávek, Vilém Vychodil
2014 J jnl
Derivation digraphs for dependencies in ordinal and similarity-based data.
Inf. Sci.
Lucie Urbanova, Vilém Vychodil
2014 J jnl
Fuzzy inequational logic.
CoRR
Vilém Vychodil
2014 J jnl
Logic of temporal attribute implications.
CoRR
Jan Triska, Vilém Vychodil
2014 J jnl
Monoidal functional dependencies.
CoRR
Vilém Vychodil
2014 J jnl
On minimal sets of graded attribute implications.
CoRR
Vilém Vychodil
2014 J jnl
Parameterizing the semantics of fuzzy attribute implications by systems of isotone Galois connections.
CoRR
Vilém Vychodil
2014 B conf
Towards Armstrong-Style Inference System for Attribute Implications with Temporal Semantics.
MDAI
Jan Triska, Vilém Vychodil
2013 J jnl
Closure-based constraints in formal concept analysis.
Discret. Appl. Math.
Radim Belohlávek, Vilém Vychodil
2013 J jnl
Discovery of factors in matrices with grades
CoRR
Radim Belohlávek, Vilém Vychodil
2013 — conf
Foundations of relational similarity-based query language RESIQL.
FOCI
Petr Krajca, Vilém Vychodil
2013 J jnl
Fuzzy Attribute Implications and their Expressive Power.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Vilém Vychodil
2013 J jnl
Optimal Factorization of Three-Way Binary Data Using Triadic Concepts.
Order
Radim Belohlávek, Cynthia Vera Glodeanu, Vilém Vychodil
2013 — ed.
Proceedings of The Eighth International Conference on Concept Lattices and Their Applications, Nancy, France, October 17-20, 2011
CLA
Amedeo Napoli, Vilém Vychodil
2013 B conf
Query Optimization Strategies in Similarity-Based Databases.
MDAI
Petr Krajca, Vilém Vychodil
2013 — conf
Relational algebra for multi-ranked similarity-based databases.
FOCI
Radim Belohlávek, Vilém Vychodil
2012 B conf
An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data.
MDAI
Radim Belohlávek, Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
2012 — conf
Applications of Ordinal Ranks to Flexible Query Answering.
SUM
Lucie Urbanova, Vilém Vychodil, Lena Wiese
2012 Misc conf
Attribute implications in similarity-based databases: semantic entailment and nonredundant bases.
SAC
Radim Belohlávek, Vilém Vychodil
2012 J jnl
Bivalent and other solutions of fuzzy relational equations via linguistic hedges.
Fuzzy Sets Syst.
Eduard Bartl, Radim Belohlávek, Vilém Vychodil
2012 J jnl
Computing Formal Concepts by Attribute Sorting.
Fundam. Informaticae
Petr Krajca, Jan Outrata, Vilém Vychodil
2012 J jnl
Fast algorithm for computing fixpoints of Galois connections induced by object-attribute relational data.
Inf. Sci.
Jan Outrata, Vilém Vychodil
2012 J jnl
Formal concept analysis and linguistic hedges.
Int. J. Gen. Syst.
Radim Belohlávek, Vilém Vychodil
2012 J jnl
On terminological issues regarding linguistic hedges.
Int. J. Gen. Syst.
Vilém Vychodil
2012 B conf
Representing Fuzzy Logic Programs by Graded Attribute Implications.
MDAI
Tomas Kuhr, Vilém Vychodil
2012 J jnl
Similarity issues of confluence of fuzzy relations.
Int. J. Gen. Syst.
Tomas Kuhr, Vilém Vychodil
2011 J jnl
Codd's Relational Model from the Point of View of Fuzzy Logic.
J. Log. Comput.
Radim Belohlávek, Vilém Vychodil
2011 C conf
Factorizing Three-Way Ordinal Data Using Triadic Formal Concepts.
FQAS
Radim Belohlávek, Petr Osicka, Vilém Vychodil
2011 — conf
Fuzzy attribute logic with model constraints.
EUSFLAT Conf.
Radim Belohlávek, Vilém Vychodil
2011 J jnl
Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks
CoRR
Radim Belohlávek, Lucie Urbanova, Vilém Vychodil
2011 — conf
Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks.
INAP/WLP
Radim Belohlávek, Lucie Urbanova, Vilém Vychodil
2011 — conf
Similarity of Query Results in Similarity-Based Databases.
RSKT
Radim Belohlávek, Lucie Urbanova, Vilém Vychodil
2011 A* conf
Using Frequent Closed Itemsets for Data Dimensionality Reduction.
ICDM
Petr Krajca, Jan Outrata, Vilém Vychodil
2010 — conf
Advances in Algorithms Based on CbO.
CLA
Petr Krajca, Jan Outrata, Vilém Vychodil
2010 Misc conf
Background knowledge in formal concept analysis: constraints via closure operators.
SAC
Radim Belohlávek, Vilém Vychodil
2010 J jnl
Computing the Lattice of All Fixpoints of a Fuzzy Closure Operator.
IEEE Trans. Fuzzy Syst.
Radim Belohlávek, Bernard De Baets, Jan Outrata, Vilém Vychodil
2010 J jnl
Confluence and termination of fuzzy relations.
Inf. Sci.
Radim Belohlávek, Tomas Kuhr, Vilém Vychodil
2010 J jnl
Discovery of optimal factors in binary data via a novel method of matrix decomposition.
J. Comput. Syst. Sci.
Radim Belohlávek, Vilém Vychodil
2010 — conf
Factorizing Three-Way Binary Data with Triadic Formal Concepts.
KES (1)
Radim Belohlávek, Vilém Vychodil
2010 — conf
Factorizing three-way binary data.
ISCIS
Radim Belohlávek, Vilém Vychodil
2010 Misc conf
Optimal Factorization of Three-Way Binary Data.
GrC
Radim Belohlávek, Vilém Vychodil
2010 J jnl
Parallel algorithm for computing fixpoints of Galois connections.
Ann. Math. Artif. Intell.
Petr Krajca, Jan Outrata, Vilém Vychodil
2010 Misc conf
Query systems in similarity-based databases: logical foundations, expressive power, and completeness.
SAC
Radim Belohlávek, Vilém Vychodil
2010 J jnl
Residuated Lattices of Size <= 12.
Order
Radim Belohlávek, Vilém Vychodil
2010 Misc conf
Software transactional memory for implicitly parallel functional language.
SAC
Petr Krajca, Vilém Vychodil
2009 C conf
A Novel Approach to Cell Formation.
ICFCA
Radim Belohlávek, Niranjan Kulkarni, Vilém Vychodil
2009 B conf
Comparison of Data Structures for Computing Formal Concepts.
MDAI
Petr Krajca, Vilém Vychodil
2009 B conf
Confluence and related properties of fuzzy relations.
FUZZ-IEEE
Radim Belohlávek, Tomas Kuhr, Vilém Vychodil
2009 Misc conf
Data parallel dialect of scheme: outline of the formal model, implementation, performance.
SAC
Petr Krajca, Vilém Vychodil
2009 B conf
Distributed Algorithm for Computing Formal Concepts Using Map-Reduce Framework.
IDA
Petr Krajca, Vilém Vychodil
2009 C conf
Factor Analysis of Incidence Data via Novel Decomposition of Matrices.
ICFCA
Radim Belohlávek, Vilém Vychodil
2009 J jnl
Formal Concept Analysis With Background Knowledge: Attribute Priorities.
IEEE Trans. Syst. Man Cybern. Part C
Radim Belohlávek, Vilém Vychodil
2009 J jnl
Inducing decision trees via concept lattices.
Int. J. Gen. Syst.
Radim Belohlávek, Bernard De Baets, Jan Outrata, Vilém Vychodil
2009 — conf
Logical Foundations for Similarity-Based Databases.
DASFAA Workshops
Radim Belohlávek, Vilém Vychodil
2008 Misc conf
Adding background knowledge to formal concept analysis via attribute dependency formulas.
SAC
Radim Belohlávek, Vilém Vychodil
2008 J jnl
Basic Algorithm for Attribute Implications and Functional Dependencies in Graded Setting.
Int. J. Found. Comput. Sci.
Radim Belohlávek, Vilém Vychodil
2008 J jnl
Characterizing Trees in Concept Lattices.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Radim Belohlávek, Bernard De Baets, Jan Outrata, Vilém Vychodil
2008 B conf
Compositions of fuzzy relations with hedges.
FUZZ-IEEE
Eduard Bartl, Radim Belohlávek, Vilém Vychodil
2008 — ch.
Data Dependencies in Codd's Relational Model with Similarities.
Handbook of Research on Fuzzy Information Processing in Databases
Radim Belohlávek, Vilém Vychodil
2008 J jnl
Fast Factorization by Similarity of Fuzzy Concept Lattices with Hedges.
Int. J. Found. Comput. Sci.
Radim Belohlávek, Jan Outrata, Vilém Vychodil
2008 B conf
On the importance of fuzzy attribute implications.
FUZZ-IEEE
Vilém Vychodil
2007 — conf
Counting Finite Residuated Lattices.
IFSA (1)
Radim Belohlávek, Vilém Vychodil
2007 J jnl
Direct Limits and Reduced Products of Algebras with Fuzzy Equalities.
J. Multiple Valued Log. Soft Comput.
Vilém Vychodil
2007 — conf
Formal Concepts as Optimal Factors in Boolean Factor Analysis: Implications and Experiments.
CLA
Radim Belohlávek, Vilém Vychodil
2007 J jnl
Fuzzy Concept Lattices Constrained by Hedges.
J. Adv. Comput. Intell. Intell. Informatics
Radim Belohlávek, Vilém Vychodil
2007 B conf
Generating Non-redundant Bases of Data Tables with Fuzzy Attributes by Reduction of Complete Sets of Fuzzy Attribute Implications.
FUZZ-IEEE
Zdenek Horak, Vilém Vychodil
2007 — conf
Inducing Decision Trees via Concept Lattices.
CLA
Radim Belohlávek, Bernard De Baets, Jan Outrata, Vilém Vychodil
2007 B conf
Lindig's Algorithm for Concept Lattices over Graded Attributes.
MDAI
Radim Belohlávek, Bernard De Baets, Jan Outrata, Vilém Vychodil
2007 — conf
On Proofs and Rule of Multiplication in Fuzzy Attribute Logic.
IFSA (1)
Radim Belohlávek, Vilém Vychodil
2007 B conf
Relational Algebra for Ranked Tables with Similarities: Properties and Implementation.
IDA
Radim Belohlávek, Stanislav Opichal, Vilém Vychodil
2007 — conf
Scales behind computational intelligence: exploring properties of finite lattices.
FOCI
Radim Belohlávek, Vilém Vychodil
2007 J jnl
Threshold Boolean logic.
Int. J. Gen. Syst.
Vilém Vychodil
2007 B conf
Trees in Concept Lattices.
MDAI
Radim Belohlávek, Bernard De Baets, Jan Outrata, Vilém Vychodil
2006 J jnl
A note on congruence permutability and fuzzy logic.
Soft Comput.
Vilém Vychodil
2006 J jnl
Algebras with fuzzy equalities.
Fuzzy Sets Syst.
Radim Belohlávek, Vilém Vychodil
2006 J jnl
An answer to Demirci's open question, a clarification of his result, and a correction of his interpretation of the result.
Fuzzy Sets Syst.
Radim Belohlávek, Vilém Vychodil
2006 C conf
Attribute Implications in a Fuzzy Setting.
ICFCA
Radim Belohlávek, Vilém Vychodil
2006 — conf
Axiomatization of Fuzzy Attribute Logic over Complete Residuated Lattices.
JCIS
Radim Belohlávek, Vilém Vychodil
2006 — conf
Codd's Relational Model of Data and Fuzzy Logic: Comparisons, Observations, and Some New Results.
CIMCA/IAWTIC
Radim Belohlávek, Vilém Vychodil
2006 Misc conf
Computing non-redundant bases of if-then rules from data tables with graded attributes.
GrC
Radim Belohlávek, Vilém Vychodil
2006 J jnl
Continuous fuzzy Horn logic.
Math. Log. Q.
Vilém Vychodil
2006 B conf
Data Tables with Similarity Relations: Functional Dependencies, Complete Rules and Non-redundant Bases.
DASFAA
Radim Belohlávek, Vilém Vychodil
2006 Misc conf
Dense rectangles in object-attribute data.
GrC
Radim Belohlávek, Vilém Vychodil
2006 — conf
Direct Factorization by Similarity of Fuzzy Concept Lattices by Factorization of Input Data.
CLA
Radim Belohlávek, Jan Outrata, Vilém Vychodil
2006 — ch.
Estimations of Similarity in Formal Concept Analysis of Data with Graded Attributes.
Advances in Web Intelligence and Data Mining
Radim Belohlávek, Vilém Vychodil
2006 J jnl
Extended Fuzzy Equational Logic.
J. Multiple Valued Log. Soft Comput.
Vilém Vychodil
2006 Misc conf
Formal Concept Analysis with Constraints by Closure Operators.
ICCS
Radim Belohlávek, Vilém Vychodil
2006 J jnl
Fuzzy Horn logic I.
Arch. Math. Log.
Radim Belohlávek, Vilém Vychodil
2006 J jnl
Fuzzy Horn logic II.
Arch. Math. Log.
Radim Belohlávek, Vilém Vychodil
2006 J jnl
Fuzzy attribute logic over complete residuated lattices.
J. Exp. Theor. Artif. Intell.
Radim Belohlávek, Vilém Vychodil
2006 — conf
Graded LinClosure and Its Role in Relational Data Analysis.
CLA
Radim Belohlávek, Vilém Vychodil
2006 — conf
Pavelka-style Fuzzy Logic for Attribute Implications.
JCIS
Radim Belohlávek, Vilém Vychodil
2006 — conf
Reducing the Size of If-Then Rules Generated from Data Tables with Graded Attributes.
CIMCA/IAWTIC
Radim Belohlávek, Vilém Vychodil
2006 Misc conf
Relational model of data over domains with similarities: An extension for similarity queries and knowledge extraction.
IRI
Radim Belohlávek, Vilém Vychodil
2006 Misc conf
Replacing full rectangles by dense rectangles: Concept lattices and attribute implications.
IRI
Radim Belohlávek, Vilém Vychodil
2006 — conf
Semantic Entailment of Attribute-dependency Formulas and Their Non-redundant Bases.
JCIS
Radim Belohlávek, Vilém Vychodil
2006 Misc conf
Similarity issues in attribute implications from data with fuzzy attributes.
IRI
Radim Belohlávek, Vilém Vychodil
2006 Misc conf
Thresholds and Shifted Attributes in Formal Concept Analysis of Data with Fuzzy Attributes.
ICCS
Radim Belohlávek, Jan Outrata, Vilém Vychodil
2006 J jnl
Truth-depressing hedges and BL-logic.
Fuzzy Sets Syst.
Vilém Vychodil
2005 — conf
Axiomatizations of Fuzzy Attribute Logic.
IICAI
Radim Belohlávek, Vilém Vychodil
2005 J jnl
Cut and Weakening in Fuzzy Horn Logic.
Log. J. IGPL
Vilém Vychodil
2005 — conf
Functional Dependencies of Data Tables Over Domains with Similarity Relations.
IICAI
Radim Belohlávek, Vilém Vychodil
2005 — conf
Fuzzy Attribute Implications: Computing Non-redundant Bases Using Maximal Independent Sets.
Australian Conference on Artificial Intelligence
Radim Belohlávek, Vilém Vychodil
2005 J jnl
Fuzzy Closure Operators with Truth Stressers.
Log. J. IGPL
Radim Belohlávek, Tatána Funioková, Vilém Vychodil
2005 — book
Fuzzy Equational Logic
Radim Belohlávek, Vilém Vychodil
2005 B conf
Implications from data with fuzzy attributes vs. scaled binary attributes.
FUZZ-IEEE
Radim Belohlávek, Vilém Vychodil
2005 B conf
Reducing the Size of Fuzzy Concept Lattices by Hedges.
FUZZ-IEEE
Radim Belohlávek, Vilém Vychodil
2005 — conf
What is a fuzzy concept lattice?
CLA
Radim Belohlávek, Vilém Vychodil
2004 — conf
Galois Connections with Truth Stressers: Foundations for Formal Concept Analysis of Object-Attribute Data with Fuzzy Attributes.
Fuzzy Days
Radim Belohlávek, Tatána Funioková, Vilém Vychodil