zbMATH — the first resource for mathematics

Vychodil, Vilém

Compute Distance To:
 Author ID: vychodil.vilem Published as: Vychodil, Vilem; Vychodil, Vilém; Vychodil, V.
 Documents Indexed: 68 Publications since 2005, including 1 Book
all top 5

Co-Authors

 18 single-authored 38 Bělohlávek, Radim 10 Outrata, Jan 4 De Baets, Bernard 4 Kuhr, Tomas 3 Krajca, Petr 2 Triska, Jan 1 Bartl, Eduard 1 Chajda, Ivan 1 Cordero, Pablo 1 Enciso, Manuel 1 Funioková, Taťána 1 Glodeanu, Cynthia Vera 1 Kulkarni, Niranjan 1 Mora, Angel 1 Urbanova, Lucie 1 Vaverka, Ondrej
all top 5

Serials

 9 Fuzzy Sets and Systems 8 Information Sciences 7 International Journal of General Systems 3 International Journal of Approximate Reasoning 3 Archive for Mathematical Logic 3 Annals of Mathematics and Artificial Intelligence 2 Journal of Computer and System Sciences 2 Order 2 International Journal of Foundations of Computer Science 2 Logic Journal of the IGPL 2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 2 Journal of Multiple-Valued Logic and Soft Computing 1 Discrete Applied Mathematics 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Journal of Logic and Computation 1 Mathematical Logic Quarterly (MLQ) 1 Soft Computing 1 Fundamenta Informaticae 1 International Journal of Pure and Applied Mathematics 1 Studies in Fuzziness and Soft Computing
all top 5

Fields

 46 Computer science (68-XX) 33 Mathematical logic and foundations (03-XX) 16 Order, lattices, ordered algebraic structures (06-XX) 9 General algebraic systems (08-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Numerical analysis (65-XX) 2 Combinatorics (05-XX) 2 Systems theory; control (93-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Citations contained in zbMATH Open

58 Publications have been cited 375 times in 201 Documents Cited by Year
Fuzzy equational logic. Zbl 1083.03030
2005
Discovery of optimal factors in binary data via a novel method of matrix decomposition. Zbl 1180.15026
2010
Formal concept analysis and linguistic hedges. Zbl 1277.93045
2012
Algebras with fuzzy equalities. Zbl 1087.08005
2006
Fuzzy closure operators with truth stressers. Zbl 1089.06001
Bělohlávek, Radim; Funioková, Taťána; Vychodil, Vilém
2005
Attribute implications in a fuzzy setting. Zbl 1177.68203
2006
Truth-depressing hedges and BL-logic. Zbl 1114.03023
Vychodil, Vilém
2006
Fuzzy Horn logic. I. Proof theory. Zbl 1095.03014
2006
Fast algorithm for computing fixpoints of Galois connections induced by object-attribute relational data. Zbl 1239.68070
Outrata, Jan; Vychodil, Vilem
2012
Fuzzy Horn logic. II. Implicationally defined classes. Zbl 1099.03016
2006
Attribute dependencies for data with grades $$I$$. Zbl 1404.68158
Belohlavek, R.; Vychodil, V.
2016
Fuzzy attribute logic over complete residuated lattices. Zbl 1117.03029
2006
Optimal factorization of three-way binary data using triadic concepts. Zbl 1266.68168
Belohlavek, Radim; Glodeanu, Cynthia; Vychodil, Vilem
2013
Direct limits and reduced products of algebras with fuzzy equalities. Zbl 1133.08001
Vychodil, Vilém
2007
Parallel algorithm for computing fixpoints of Galois connections. Zbl 1213.68604
Krajca, Petr; Outrata, Jan; Vychodil, Vilem
2010
Factor analysis of incidence data via novel decomposition of matrices. Zbl 1248.68474
2009
Codd’s relational model from the point of view of fuzzy logic. Zbl 1228.68024
2011
A note on residuated lattices with globalization. Zbl 1099.06008
Chajda, Ivan; Vychodil, Vilém
2006
Thresholds and shifted attributes in formal concept analysis of data with fuzzy attributes. Zbl 1194.68216
Bělohlávek, Radim; Outrata, Jan; Vychodil, Vilém
2006
Automated prover for attribute dependencies in data with grades. Zbl 1351.68088
Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem
2016
Lindig’s algorithm for concept lattices over graded attributes. Zbl 1181.68269
Belohlavek, Radim; De Baets, Bernard; Outrata, Jan; Vychodil, Vilem
2007
Derivation digraphs for dependencies in ordinal and similarity-based data. Zbl 1341.68032
Urbanova, Lucie; Vychodil, Vilem
2014
Logic of temporal attribute implications. Zbl 1409.68283
Triska, Jan; Vychodil, Vilem
2017
Fuzzy logic programming reduced to reasoning with attribute implications. Zbl 1360.68311
Kuhr, Tomas; Vychodil, Vilem
2015
Inducing decision trees via concept lattices. Zbl 1183.68462
Belohlavek, Radim; De Baets, Bernard; Outrata, Jan; Vychodil, Vilem
2009
Comparison of data structures for computing formal concepts. Zbl 1273.68379
Krajca, Petr; Vychodil, Vilem
2009
Bivalent and other solutions of fuzzy relational equations via linguistic hedges. Zbl 1258.03080
Bartl, Eduard; Belohlavek, Radim; Vychodil, Vilem
2012
A logic of graded attributes. Zbl 06511000
2015
Fast factorization by similarity of fuzzy concept lattices with hedges. Zbl 1149.68428
Bělohlávek, Radim; Outrata, Jan; Vychodil, Vilem
2008
Characterizing trees in concept lattices. Zbl 1185.68687
Bělohlávek, Radim; De Baets, Bernard; Outrata, Jan; Vychodil, Vilem
2008
Fuzzy attribute implications: Computing non-redundant bases using maximal independent sets. Zbl 1175.68448
2005
Residuated lattices of size $$\leq 12$$. Zbl 1203.06015
2010
Closure-based constraints in formal concept analysis. Zbl 1312.68180
2013
On proofs and rule of multiplication in fuzzy attribute logic. Zbl 1202.03036
2007
Basic algorithm for attribute implications and functional dependencies in graded setting. Zbl 1149.68429
2008
An answer to Demirci’s open question, a clarification of his result, and a correction of his interpretation of the result. Zbl 1097.08004
2006
On minimal sets of graded attribute implications. Zbl 1360.68849
Vychodil, Vilem
2015
Computing minimal sets of descriptive conditions for binary data. Zbl 1310.68059
2014
Similarity issues of confluence of fuzzy relations. Zbl 1301.03050
Kuhr, Tomas; Vychodil, Vilem
2012
Factorization of matrices with grades. Zbl 1383.15010
2016
Confluence and termination of fuzzy relations. Zbl 1202.03035
Belohlavek, Radim; Kuhr, Tomas; Vychodil, Vilem
2010
Formal concept analysis with constraints by closure operators. Zbl 1194.68217
2006
Computing formal concepts by attribute sorting. Zbl 1241.68111
Krajca, Petr; Outrata, Jan; Vychodil, Vilem
2012
Fuzzy inequational logic. Zbl 1343.03024
Vychodil, Vilem
2015
Direct factorization by similarity of fuzzy concept lattices by factorization of input data. Zbl 1133.68442
Belohlavek, Radim; Outrata, Jan; Vychodil, Vilem
2008
Pseudovarieties of algebras with fuzzy equalities. Zbl 1335.08003
Vychodil, Vilem
2015
Closure structures parameterized by systems of isotone Galois connections. Zbl 1419.68150
Vychodil, Vilem
2017
Variety theorem for algebras with fuzzy orders. Zbl 1386.06002
Vychodil, Vilem
2016
Computing sets of graded attribute implications with witnessed non-redundancy. Zbl 1398.68560
Vychodil, Vilem
2016
On sets of graded attribute implications with witnessed non-redundancy. Zbl 1390.68682
Vychodil, Vilem
2016
Fuzzy attribute logic with model constraints. Zbl 1254.03049
2011
Cut and weakening in fuzzy Horn logic. Zbl 1087.03016
Vychodil, Vilém
2005
Trees in concept lattices. Zbl 1181.68270
Belohlavek, Radim; De Baets, Bernard; Outrata, Jan; Vychodil, Vilem
2007
Extended fuzzy equational logic. Zbl 1129.03010
Vychodil, Vilém
2006
Graded LinClosure and its role in relational data analysis. Zbl 1133.68443
2008
A note on congruence permutability and fuzzy logic. Zbl 1084.08003
Vychodil, Vilém
2006
Continuous fuzzy Horn logic. Zbl 1126.03033
Vychodil, Vilém
2006
Relational division in rank-aware databases. Zbl 1427.68069
Vaverka, Ondrej; Vychodil, Vilem
2016
Logic of temporal attribute implications. Zbl 1409.68283
Triska, Jan; Vychodil, Vilem
2017
Closure structures parameterized by systems of isotone Galois connections. Zbl 1419.68150
Vychodil, Vilem
2017
Attribute dependencies for data with grades $$I$$. Zbl 1404.68158
Belohlavek, R.; Vychodil, V.
2016
Automated prover for attribute dependencies in data with grades. Zbl 1351.68088
Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem
2016
Factorization of matrices with grades. Zbl 1383.15010
2016
Variety theorem for algebras with fuzzy orders. Zbl 1386.06002
Vychodil, Vilem
2016
Computing sets of graded attribute implications with witnessed non-redundancy. Zbl 1398.68560
Vychodil, Vilem
2016
On sets of graded attribute implications with witnessed non-redundancy. Zbl 1390.68682
Vychodil, Vilem
2016
Relational division in rank-aware databases. Zbl 1427.68069
Vaverka, Ondrej; Vychodil, Vilem
2016
Fuzzy logic programming reduced to reasoning with attribute implications. Zbl 1360.68311
Kuhr, Tomas; Vychodil, Vilem
2015
A logic of graded attributes. Zbl 06511000
2015
On minimal sets of graded attribute implications. Zbl 1360.68849
Vychodil, Vilem
2015
Fuzzy inequational logic. Zbl 1343.03024
Vychodil, Vilem
2015
Pseudovarieties of algebras with fuzzy equalities. Zbl 1335.08003
Vychodil, Vilem
2015
Derivation digraphs for dependencies in ordinal and similarity-based data. Zbl 1341.68032
Urbanova, Lucie; Vychodil, Vilem
2014
Computing minimal sets of descriptive conditions for binary data. Zbl 1310.68059
2014
Optimal factorization of three-way binary data using triadic concepts. Zbl 1266.68168
Belohlavek, Radim; Glodeanu, Cynthia; Vychodil, Vilem
2013
Closure-based constraints in formal concept analysis. Zbl 1312.68180
2013
Formal concept analysis and linguistic hedges. Zbl 1277.93045
2012
Fast algorithm for computing fixpoints of Galois connections induced by object-attribute relational data. Zbl 1239.68070
Outrata, Jan; Vychodil, Vilem
2012
Bivalent and other solutions of fuzzy relational equations via linguistic hedges. Zbl 1258.03080
Bartl, Eduard; Belohlavek, Radim; Vychodil, Vilem
2012
Similarity issues of confluence of fuzzy relations. Zbl 1301.03050
Kuhr, Tomas; Vychodil, Vilem
2012
Computing formal concepts by attribute sorting. Zbl 1241.68111
Krajca, Petr; Outrata, Jan; Vychodil, Vilem
2012
Codd’s relational model from the point of view of fuzzy logic. Zbl 1228.68024
2011
Fuzzy attribute logic with model constraints. Zbl 1254.03049
2011
Discovery of optimal factors in binary data via a novel method of matrix decomposition. Zbl 1180.15026
2010
Parallel algorithm for computing fixpoints of Galois connections. Zbl 1213.68604
Krajca, Petr; Outrata, Jan; Vychodil, Vilem
2010
Residuated lattices of size $$\leq 12$$. Zbl 1203.06015
2010
Confluence and termination of fuzzy relations. Zbl 1202.03035
Belohlavek, Radim; Kuhr, Tomas; Vychodil, Vilem
2010
Factor analysis of incidence data via novel decomposition of matrices. Zbl 1248.68474
2009
Inducing decision trees via concept lattices. Zbl 1183.68462
Belohlavek, Radim; De Baets, Bernard; Outrata, Jan; Vychodil, Vilem
2009
Comparison of data structures for computing formal concepts. Zbl 1273.68379
Krajca, Petr; Vychodil, Vilem
2009
Fast factorization by similarity of fuzzy concept lattices with hedges. Zbl 1149.68428
Bělohlávek, Radim; Outrata, Jan; Vychodil, Vilem
2008
Characterizing trees in concept lattices. Zbl 1185.68687
Bělohlávek, Radim; De Baets, Bernard; Outrata, Jan; Vychodil, Vilem
2008
Basic algorithm for attribute implications and functional dependencies in graded setting. Zbl 1149.68429
2008
Direct factorization by similarity of fuzzy concept lattices by factorization of input data. Zbl 1133.68442
Belohlavek, Radim; Outrata, Jan; Vychodil, Vilem
2008
Graded LinClosure and its role in relational data analysis. Zbl 1133.68443
2008
Direct limits and reduced products of algebras with fuzzy equalities. Zbl 1133.08001
Vychodil, Vilém
2007
Lindig’s algorithm for concept lattices over graded attributes. Zbl 1181.68269
Belohlavek, Radim; De Baets, Bernard; Outrata, Jan; Vychodil, Vilem
2007
On proofs and rule of multiplication in fuzzy attribute logic. Zbl 1202.03036
2007
Trees in concept lattices. Zbl 1181.68270
Belohlavek, Radim; De Baets, Bernard; Outrata, Jan; Vychodil, Vilem
2007
Algebras with fuzzy equalities. Zbl 1087.08005
2006
Attribute implications in a fuzzy setting. Zbl 1177.68203
2006
Truth-depressing hedges and BL-logic. Zbl 1114.03023
Vychodil, Vilém
2006
Fuzzy Horn logic. I. Proof theory. Zbl 1095.03014
2006
Fuzzy Horn logic. II. Implicationally defined classes. Zbl 1099.03016
2006
Fuzzy attribute logic over complete residuated lattices. Zbl 1117.03029
2006
A note on residuated lattices with globalization. Zbl 1099.06008
Chajda, Ivan; Vychodil, Vilém
2006
Thresholds and shifted attributes in formal concept analysis of data with fuzzy attributes. Zbl 1194.68216
Bělohlávek, Radim; Outrata, Jan; Vychodil, Vilém
2006
An answer to Demirci’s open question, a clarification of his result, and a correction of his interpretation of the result. Zbl 1097.08004
2006
Formal concept analysis with constraints by closure operators. Zbl 1194.68217
2006
Extended fuzzy equational logic. Zbl 1129.03010
Vychodil, Vilém
2006
A note on congruence permutability and fuzzy logic. Zbl 1084.08003
Vychodil, Vilém
2006
Continuous fuzzy Horn logic. Zbl 1126.03033
Vychodil, Vilém
2006
Fuzzy equational logic. Zbl 1083.03030
2005
Fuzzy closure operators with truth stressers. Zbl 1089.06001
Bělohlávek, Radim; Funioková, Taťána; Vychodil, Vilém
2005
Fuzzy attribute implications: Computing non-redundant bases using maximal independent sets. Zbl 1175.68448
2005
Cut and weakening in fuzzy Horn logic. Zbl 1087.03016
Vychodil, Vilém
2005
all top 5

Cited by 238 Authors

 38 Vychodil, Vilém 36 Bělohlávek, Radim 14 Konecny, Jan 12 Ćirić, Miroslav D. 9 Ignjatović, Jelena 9 Medina, Jesús 8 Outrata, Jan 8 Šešelja, Branimir 8 Tepavčević, Andreja 6 Bartl, Eduard 6 Krídlo, Ondrej 6 Trnecka, Martin 5 Antoni, Lubomir 5 Krajči, Stanislav 4 Cordero, Pablo 4 De Baets, Bernard 4 Kuhr, Tomas 4 Močkoř, Jiří 4 Ojeda-Aciego, Manuel 4 Osicka, Petr 4 Ramírez-Poussa, Eloisa 4 Stamenković, Aleksandar 3 Bogdanović, Stojan M. 3 Glodeanu, Cynthia Vera 3 Halaš, Radomír 3 Hu, Baoqing 3 Ignatov, Dmitry I. 3 Kuznetsov, Sergei O. 3 Li, Jinhai 3 Mao, Hua 2 Aswani Kumar, Cherukuri 2 Ben Yahia, Sadok 2 Benítez-Caballero, M. José 2 Budimirović, Branka 2 Budimirović, Vjekoslav 2 Chajda, Ivan 2 Cornejo, Maria Eugenia 2 Damljanović, Nada 2 Jančić, Ivana 2 Krajca, Petr 2 Krupka, Michal 2 Li, Deyu 2 Ma, Zhenming 2 Macko, Juraj 2 Mei, Changlin 2 Mora, Angel 2 Peláez-Moreno, Carmen 2 Petković, Tatjana 2 Pocs, Jozef 2 Pócsová, Jana 2 Prade, Henri M. 2 Qi, Jianjun 2 Qian, Ting 2 Singh, Prem Kumar 2 Ślęzak, Dominik 2 Triska, Jan 2 Valverde-Albacete, Francisco José 2 Wei, Ling 2 Zadeh, Lotfi Asker 2 Zedam, Lemnaouar 2 Zhai, Yanhui 2 Zhao, Bin 1 Adaricheva, Kira Vladislavovna 1 Aguilera, Gabriel 1 Alcalde, Cristina 1 Andrews, Simon 1 Apollonio, Nicola 1 Ayouni, Sarra 1 Bašić, Mateo 1 Bašić, Milan 1 Bertet, Karell 1 Bhutani, Kiran R. 1 Bleblou, O. S. A. 1 Bošnjak, Ivica 1 Botur, Michal 1 Bouremel, Hassane 1 Bradić, M. 1 Burusco, Ana 1 Butka, Peter 1 Bykova, Valentina Vladimirovna 1 Cabrera, Inma P. 1 Cao, Jiannong 1 Caramia, Massimiliano 1 Caselles Costa, Vicent 1 Cerami, Marco 1 Chen, Jinkun 1 Cintula, Petr 1 Ciungu, Lavinia Corina 1 Cornelis, Chris 1 Dan, Chen 1 Dan, Yexing 1 de Soto, Adolfo R. 1 Dedene, Guido 1 Dellunde, Pilar 1 Demirci, Mustafa 1 Demko, Christophe 1 Deschrijver, Glad 1 Díaz, Juan Carlos 1 Djouadi, Yassine 1 Dubois, Didier ...and 138 more Authors
all top 5

Cited in 37 Serials

 56 Fuzzy Sets and Systems 40 Information Sciences 15 International Journal of General Systems 12 Soft Computing 11 International Journal of Approximate Reasoning 10 Annals of Mathematics and Artificial Intelligence 8 Discrete Applied Mathematics 6 Archive for Mathematical Logic 4 Journal of Computer and System Sciences 2 Mathematical Logic Quarterly (MLQ) 2 Data Mining and Knowledge Discovery 2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 Algebra Universalis 1 Journal of Pure and Applied Algebra 1 Quaestiones Mathematicae 1 Theoretical Computer Science 1 Order 1 Journal of Automated Reasoning 1 Machine Learning 1 International Journal of Foundations of Computer Science 1 International Journal of Computer Mathematics 1 Computational Statistics and Data Analysis 1 Journal of Logic, Language and Information 1 The Bulletin of Symbolic Logic 1 Abstract and Applied Analysis 1 International Journal of Applied Mathematics and Computer Science 1 Logic and Logical Philosophy 1 Journal of Applied Logic 1 Journal of the Indonesian Mathematical Society 1 Fuzzy Optimization and Decision Making 1 New Mathematics and Natural Computation 1 Advances in Data Analysis and Classification. ADAC 1 Armenian Journal of Mathematics 1 Journal of Control Science and Engineering 1 Science China. Information Sciences 1 Frontiers of Computer Science 1 Journal of Siberian Federal University. Mathematics & Physics
all top 5

Cited in 18 Fields

 130 Computer science (68-XX) 80 Mathematical logic and foundations (03-XX) 71 Order, lattices, ordered algebraic structures (06-XX) 19 Linear and multilinear algebra; matrix theory (15-XX) 15 General algebraic systems (08-XX) 12 Statistics (62-XX) 6 Combinatorics (05-XX) 6 Group theory and generalizations (20-XX) 6 Systems theory; control (93-XX) 5 Numerical analysis (65-XX) 4 Category theory; homological algebra (18-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Information and communication theory, circuits (94-XX) 2 Biology and other natural sciences (92-XX) 1 Associative rings and algebras (16-XX) 1 Functional analysis (46-XX) 1 General topology (54-XX) 1 Operations research, mathematical programming (90-XX)