Vilém Vychodil

According to our database1, Vilém Vychodil authored at least 129 papers between 2004 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Parameterized Simplification Logic: Reasoning With Implications in an Automated Way.
IEEE Trans. Fuzzy Syst., 2022

2020
Parameterized simplification logic I: reasoning with implications and classes of closure operators.
Int. J. Gen. Syst., 2020

2018
Relational similarity-based model of data part 2: dependencies in data.
Int. J. Gen. Syst., 2018

Minimal bases of temporal attribute implications.
Ann. Math. Artif. Intell., 2018

Towards Simplification Logic for Graded Attribute Implications with General Semantics.
Proceedings of the Fourteenth International Conference on Concept Lattices and Their Applications, 2018

2017
Invariance to ordinal transformations in rank-aware databases.
Inf. Sci., 2017

Relational similarity-based model of data part 1: foundations and query systems.
Int. J. Gen. Syst., 2017

Attribute dependencies for data with grades II, .
Int. J. Gen. Syst., 2017

Closure structures parameterized by systems of isotone Galois connections.
Int. J. Approx. Reason., 2017

Logic of temporal attribute implications.
Ann. Math. Artif. Intell., 2017

2016
Parameterizing the Semantics of Fuzzy Attribute Implications by Systems of Isotone Galois Connections.
IEEE Trans. Fuzzy Syst., 2016

Computing sets of graded attribute implications with witnessed non-redundancy.
Inf. Sci., 2016

On sets of graded attribute implications with witnessed non-redundancy.
Inf. Sci., 2016

Relational division in rank-aware databases.
Inf. Sci., 2016

Attribute dependencies for data with grades I, .
Int. J. Gen. Syst., 2016

Automated prover for attribute dependencies in data with grades.
Int. J. Approx. Reason., 2016

Variety theorem for algebras with fuzzy orders.
Fuzzy Sets Syst., 2016

Factorization of matrices with grades.
Fuzzy Sets Syst., 2016

2015
On minimal sets of graded attribute implications.
Inf. Sci., 2015

Fuzzy inequational logic.
Int. J. Approx. Reason., 2015

Pseudovarieties of algebras with fuzzy equalities.
Fuzzy Sets Syst., 2015

Rewriting systems over similarity and generalized pseudometric spaces and their properties.
Fuzzy Sets Syst., 2015

Fuzzy logic programming reduced to reasoning with attribute implications.
Fuzzy Sets Syst., 2015

Rational fuzzy attribute logic.
CoRR, 2015

A logic of graded attributes.
Arch. Math. Log., 2015

Graded data dependencies in relational databases: Reasoning with similarity of time.
Proceedings of the 2015 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS) held jointly with 2015 5th World Conference on Soft Computing (WConSC), 2015

2014
Derivation digraphs for dependencies in ordinal and similarity-based data.
Inf. Sci., 2014

Computing minimal sets of descriptive conditions for binary data.
Int. J. Gen. Syst., 2014

Monoidal functional dependencies.
CoRR, 2014

Attribute Dependencies for Data with Grades.
CoRR, 2014

Towards Armstrong-Style Inference System for Attribute Implications with Temporal Semantics.
Proceedings of the Modeling Decisions for Artificial Intelligence, 2014

2013
Optimal Factorization of Three-Way Binary Data Using Triadic Concepts.
Order, 2013

Fuzzy Attribute Implications and their Expressive Power.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2013

Closure-based constraints in formal concept analysis.
Discret. Appl. Math., 2013

Discovery of factors in matrices with grades
CoRR, 2013

Query Optimization Strategies in Similarity-Based Databases.
Proceedings of the Modeling Decisions for Artificial Intelligence, 2013

Foundations of relational similarity-based query language RESIQL.
Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, 2013

Relational algebra for multi-ranked similarity-based databases.
Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, 2013

2012
Fast algorithm for computing fixpoints of Galois connections induced by object-attribute relational data.
Inf. Sci., 2012

On terminological issues regarding linguistic hedges.
Int. J. Gen. Syst., 2012

Similarity issues of confluence of fuzzy relations.
Int. J. Gen. Syst., 2012

Formal concept analysis and linguistic hedges.
Int. J. Gen. Syst., 2012

Computing Formal Concepts by Attribute Sorting.
Fundam. Informaticae, 2012

Bivalent and other solutions of fuzzy relational equations via linguistic hedges.
Fuzzy Sets Syst., 2012

Applications of Ordinal Ranks to Flexible Query Answering.
Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012

Attribute implications in similarity-based databases: semantic entailment and nonredundant bases.
Proceedings of the ACM Symposium on Applied Computing, 2012

Representing Fuzzy Logic Programs by Graded Attribute Implications.
Proceedings of the Modeling Decisions for Artificial Intelligence, 2012

An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data.
Proceedings of the Modeling Decisions for Artificial Intelligence, 2012

2011
Codd's Relational Model from the Point of View of Fuzzy Logic.
J. Log. Comput., 2011

Similarity of Query Results in Similarity-Based Databases.
Proceedings of the Rough Sets and Knowledge Technology - 6th International Conference, 2011

Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Using Frequent Closed Itemsets for Data Dimensionality Reduction.
Proceedings of the 11th IEEE International Conference on Data Mining, 2011

Factorizing Three-Way Ordinal Data Using Triadic Formal Concepts.
Proceedings of the Flexible Query Answering Systems - 9th International Conference, 2011

Fuzzy attribute logic with model constraints.
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology, 2011

2010
Computing the Lattice of All Fixpoints of a Fuzzy Closure Operator.
IEEE Trans. Fuzzy Syst., 2010

Residuated Lattices of Size <= 12.
Order, 2010

Discovery of optimal factors in binary data via a novel method of matrix decomposition.
J. Comput. Syst. Sci., 2010

Confluence and termination of fuzzy relations.
Inf. Sci., 2010

Parallel algorithm for computing fixpoints of Galois connections.
Ann. Math. Artif. Intell., 2010

Software transactional memory for implicitly parallel functional language.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Query systems in similarity-based databases: logical foundations, expressive power, and completeness.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Background knowledge in formal concept analysis: constraints via closure operators.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Factorizing Three-Way Binary Data with Triadic Formal Concepts.
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Factorizing three-way binary data.
Proceedings of the Computer and Information Sciences, 2010

Optimal Factorization of Three-Way Binary Data.
Proceedings of the 2010 IEEE International Conference on Granular Computing, 2010

Advances in Algorithms Based on CbO.
Proceedings of the 7th International Conference on Concept Lattices and Their Applications, 2010

2009
Formal Concept Analysis With Background Knowledge: Attribute Priorities.
IEEE Trans. Syst. Man Cybern. Part C, 2009

Inducing decision trees via concept lattices.
Int. J. Gen. Syst., 2009

Data parallel dialect of scheme: outline of the formal model, implementation, performance.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Comparison of Data Structures for Computing Formal Concepts.
Proceedings of the Modeling Decisions for Artificial Intelligence, 2009

Distributed Algorithm for Computing Formal Concepts Using Map-Reduce Framework.
Proceedings of the Advances in Intelligent Data Analysis VIII, 2009

Factor Analysis of Incidence Data via Novel Decomposition of Matrices.
Proceedings of the Formal Concept Analysis, 7th International Conference, 2009

A Novel Approach to Cell Formation.
Proceedings of the Formal Concept Analysis, 7th International Conference, 2009

Confluence and related properties of fuzzy relations.
Proceedings of the FUZZ-IEEE 2009, 2009

Logical Foundations for Similarity-Based Databases.
Proceedings of the Database Systems for Advanced Applications, 2009

2008
Characterizing Trees in Concept Lattices.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2008

Basic Algorithm for Attribute Implications and Functional Dependencies in Graded Setting.
Int. J. Found. Comput. Sci., 2008

Fast Factorization by Similarity of Fuzzy Concept Lattices with Hedges.
Int. J. Found. Comput. Sci., 2008

Adding background knowledge to formal concept analysis via attribute dependency formulas.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

On the importance of fuzzy attribute implications.
Proceedings of the FUZZ-IEEE 2008, 2008

Compositions of fuzzy relations with hedges.
Proceedings of the FUZZ-IEEE 2008, 2008

Data Dependencies in Codd's Relational Model with Similarities.
Proceedings of the Handbook of Research on Fuzzy Information Processing in Databases, 2008

2007
Direct Limits and Reduced Products of Algebras with Fuzzy Equalities.
J. Multiple Valued Log. Soft Comput., 2007

Fuzzy Concept Lattices Constrained by Hedges.
J. Adv. Comput. Intell. Intell. Informatics, 2007

Threshold Boolean logic.
Int. J. Gen. Syst., 2007

Trees in Concept Lattices.
Proceedings of the Modeling Decisions for Artificial Intelligence, 2007

Lindig's Algorithm for Concept Lattices over Graded Attributes.
Proceedings of the Modeling Decisions for Artificial Intelligence, 2007

On Proofs and Rule of Multiplication in Fuzzy Attribute Logic.
Proceedings of the Foundations of Fuzzy Logic and Soft Computing, 2007

Counting Finite Residuated Lattices.
Proceedings of the Foundations of Fuzzy Logic and Soft Computing, 2007

Relational Algebra for Ranked Tables with Similarities: Properties and Implementation.
Proceedings of the Advances in Intelligent Data Analysis VII, 2007

Generating Non-redundant Bases of Data Tables with Fuzzy Attributes by Reduction of Complete Sets of Fuzzy Attribute Implications.
Proceedings of the FUZZ-IEEE 2007, 2007

Scales behind computational intelligence: exploring properties of finite lattices.
Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, 2007

Formal Concepts as Optimal Factors in Boolean Factor Analysis: Implications and Experiments.
Proceedings of the Fifth International Conference on Concept Lattices and Their Applications, 2007

2006
Estimations of Similarity in Formal Concept Analysis of Data with Graded Attributes.
Proceedings of the Advances in Web Intelligence and Data Mining, 2006

A note on congruence permutability and fuzzy logic.
Soft Comput., 2006

Extended Fuzzy Equational Logic.
J. Multiple Valued Log. Soft Comput., 2006

Continuous fuzzy Horn logic.
Math. Log. Q., 2006

Fuzzy attribute logic over complete residuated lattices.
J. Exp. Theor. Artif. Intell., 2006

Truth-depressing hedges and BL-logic.
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.
Fuzzy Sets Syst., 2006

Algebras with fuzzy equalities.
Fuzzy Sets Syst., 2006

Fuzzy Horn logic II.
Arch. Math. Log., 2006

Fuzzy Horn logic I.
Arch. Math. Log., 2006

Semantic Entailment of Attribute-dependency Formulas and Their Non-redundant Bases.
Proceedings of the 2006 Joint Conference on Information Sciences, 2006

Pavelka-style Fuzzy Logic for Attribute Implications.
Proceedings of the 2006 Joint Conference on Information Sciences, 2006

Axiomatization of Fuzzy Attribute Logic over Complete Residuated Lattices.
Proceedings of the 2006 Joint Conference on Information Sciences, 2006

Relational model of data over domains with similarities: An extension for similarity queries and knowledge extraction.
Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

Similarity issues in attribute implications from data with fuzzy attributes.
Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

Replacing full rectangles by dense rectangles: Concept lattices and attribute implications.
Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

Attribute Implications in a Fuzzy Setting.
Proceedings of the Formal Concept Analysis, 4th International Conference, 2006

Formal Concept Analysis with Constraints by Closure Operators.
Proceedings of the Conceptual Structures: Inspiration and Application, 2006

Thresholds and Shifted Attributes in Formal Concept Analysis of Data with Fuzzy Attributes.
Proceedings of the Conceptual Structures: Inspiration and Application, 2006

Dense rectangles in object-attribute data.
Proceedings of the 2006 IEEE International Conference on Granular Computing, 2006

Computing non-redundant bases of if-then rules from data tables with graded attributes.
Proceedings of the 2006 IEEE International Conference on Granular Computing, 2006

Data Tables with Similarity Relations: Functional Dependencies, Complete Rules and Non-redundant Bases.
Proceedings of the Database Systems for Advanced Applications, 2006

Graded LinClosure and Its Role in Relational Data Analysis.
Proceedings of the Concept Lattices and Their Applications, 2006

Direct Factorization by Similarity of Fuzzy Concept Lattices by Factorization of Input Data.
Proceedings of the Concept Lattices and Their Applications, 2006

Reducing the Size of If-Then Rules Generated from Data Tables with Graded Attributes.
Proceedings of the 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, 2006

Codd's Relational Model of Data and Fuzzy Logic: Comparisons, Observations, and Some New Results.
Proceedings of the 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, 2006

2005
Cut and Weakening in Fuzzy Horn Logic.
Log. J. IGPL, 2005

Fuzzy Closure Operators with Truth Stressers.
Log. J. IGPL, 2005

Functional Dependencies of Data Tables Over Domains with Similarity Relations.
Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Axiomatizations of Fuzzy Attribute Logic.
Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Implications from data with fuzzy attributes vs. scaled binary attributes.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2005

Reducing the Size of Fuzzy Concept Lattices by Hedges.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2005

What is a fuzzy concept lattice?
Proceedings of the CLA 2005 International Workshop on Concept Lattices and their Applications Olomouc, 2005

Fuzzy Attribute Implications: Computing Non-redundant Bases Using Maximal Independent Sets.
Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

Fuzzy Equational Logic
Studies in Fuzziness and Soft Computing 186, Springer, ISBN: 978-3-540-26254-1, 2005

2004
Galois Connections with Truth Stressers: Foundations for Formal Concept Analysis of Object-Attribute Data with Fuzzy Attributes.
Proceedings of the Computational Intelligence, Theory and Applications, International Conference 8th Fuzzy Days, Dortmund, Germany, Sept. 29, 2004


  Loading...