The following pages link to Vilem Vychodil (Q246591):
Displaying 25 items.
- Discovery of optimal factors in binary data via a novel method of matrix decomposition (Q131470) (← links)
- Pseudovarieties of algebras with fuzzy equalities. (Q277570) (← links)
- Fast algorithm for computing fixpoints of Galois connections induced by object-attribute relational data (Q425555) (← links)
- Bivalent and other solutions of fuzzy relational equations via linguistic hedges (Q427921) (← links)
- On minimal sets of graded attribute implications (Q526697) (← links)
- Fuzzy logic programming reduced to reasoning with attribute implications (Q529051) (← links)
- Variety theorem for algebras with fuzzy orders (Q679841) (← links)
- Minimal bases of temporal attribute implications (Q722104) (← links)
- Derivation digraphs for dependencies in ordinal and similarity-based data (Q726160) (← links)
- Algebras with fuzzy equalities (Q812608) (← links)
- An answer to Demirci's open question, a clarification of his result, and a correction of his interpretation of the result (Q812610) (← links)
- A note on congruence permutability and fuzzy logic (Q816886) (← links)
- Fuzzy Horn logic. II. Implicationally defined classes. (Q818519) (← links)
- Truth-depressing hedges and BL-logic (Q853470) (← links)
- A logic of graded attributes (Q892134) (← links)
- Fuzzy inequational logic (Q892182) (← links)
- Residuated lattices of size \(\leq 12\) (Q981681) (← links)
- Confluence and termination of fuzzy relations (Q991880) (← links)
- Computing sets of graded attribute implications with witnessed non-redundancy (Q1615669) (← links)
- Rewriting systems over similarity and generalized pseudometric spaces and their properties (Q1677217) (← links)
- Closure structures parameterized by systems of isotone Galois connections (Q1679638) (← links)
- Factorization of matrices with grades (Q1697335) (← links)
- On sets of graded attribute implications with witnessed non-redundancy (Q1750536) (← links)
- Inducing decision trees via concept lattices1 (Q3631389) (← links)
- Automated prover for attribute dependencies in data with grades (Q5963137) (← links)
