Rostislav Horčík

Cited by

	All	Since 2018
Citations	733	225
h-index	14	9
i10-index	25	9

200520062007200820092010201120122013201420152016201720182019202020212022202315 23 44 31 47 20 35 42 32 43 61 53 50 39 32 42 54 55 3

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Petr CintulaInstitute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
Carles NogueraDepartment of Information Engineering and Mathematics, University of SienaVerified email at unisi.it
Petr HájekPetr Hajek´s Memorial Page. Institute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
Daniel FišerFEE, Czech Technical University in PragueVerified email at danfis.cz
Pavel RytířPostdoc in Computer Science, The City University of New YorkVerified email at ccny.cuny.edu
Zuzana Hanikováresearcher, Institute of Computer Science, Academy of Sciences of the Czech RepublicVerified email at cs.cas.cz
Milan PetríkCzech University of Life Sciences Prague, Faculty of Engineering, Department of MathematicsVerified email at tf.czu.cz
Tommaso MoraschiniFaculty of Philosophy, University of BarcelonaVerified email at ub.edu
amanda vidalArtifficial Intelligence Research Institute - CSICVerified email at iiia.csic.es
Lukáš AdamÚTIA, Czech Academy of SciencesVerified email at utia.cas.cz
Tomáš KroupaCzech Technical University in PragueVerified email at fel.cvut.cz
Marta BilkovaResearcher, Institute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
Antonín KomendaFEE, Czech Technical University in PragueVerified email at fel.cvut.cz
Edelkamp, StefanComputer Science & Artificial Intelligence Center Faculty of Electrical Engineering, CTU in PragueVerified email at fel.cvut.cz
Álvaro TorralbaAalborg UniversityVerified email at cs.aau.dk

Rostislav Horčík

Department of Computer Science, FEE, Czech Technical University in Prague

Verified email at fel.cvut.cz

Artificial intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Product Ł ukasiewicz Logic R Horčík, P Cintula Archive for Mathematical Logic 43 (4), 477-503, 2004	67	2004
On weakly cancellative fuzzy logics F Montagna, C Noguera, R Horčík Journal of Logic and Computation 16 (4), 423-450, 2006	65	2006
Solution of a system of linear equations with fuzzy numbers R Horčík Fuzzy sets and systems 159 (14), 1788-1810, 2008	58	2008
The quest for the basic fuzzy logic P Cintula, R Horčík, C Noguera Petr Hájek on Mathematical Fuzzy Logic, 245-290, 2014	46	2014
Nonassociative substructural logics and their semilinear extensions: Axiomatization and completeness properties P Cintula, R Horčík, C Noguera The Review of Symbolic Logic 6 (3), 394-423, 2013	46	2013
Formal systems of fuzzy logic and their fragments P Cintula, P Hájek, R Horčík Annals of Pure and Applied Logic 150 (1-3), 40-65, 2007	46	2007
Standard completeness theorem for ΠMTL R Horĉík Archive for Mathematical Logic 44 (4), 413-424, 2005	44	2005
On n ‐contractive fuzzy logics R Horčík, C Noguera, M Petrík Mathematical Logic Quarterly 53 (3), 268-288, 2007	42	2007
Disjunction property and complexity of substructural logics R Horčík, K Terui Theoretical Computer Science 412 (31), 3992-4006, 2011	37	2011
Algebraic semantics R Horcık Handbook of mathematical fuzzy logic, 283-353, 2011	30	2011
Validation sets in fuzzy logics R Horčík, M Navara Kybernetika 38 (3), [319]-326, 2002	29	2002
Full lambek calculus with contraction is undecidable K Chvalovský, R Horčík The Journal of Symbolic Logic 81 (2), 524-540, 2016	19	2016
Algebraic properties of fuzzy logics R Horcık Czech Technical University in Prague, 2005	15	2005
The finite embeddability property for residuated groupoids Z Haniková, R Horčík Algebra universalis 72 (1), 1-13, 2014	14	2014
Double oracle algorithm for computing equilibria in continuous games L Adam, R Horčík, T Kasl, T Kroupa Proceedings of the AAAI Conference on Artificial Intelligence 35 (6), 5070-5077, 2021	13	2021
An algebraic approach to valued constraint satisfaction R Horcík, T Moraschini, A Vidal Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2017	13	2017
Decidability of cancellative extension of monoidal t-norm based logic R Horčík Logic Journal of the IGPL 14 (6), 827-843, 2006	13	2006
On the failure of standard completeness in ΠMTL for infinite theories R Horčík Fuzzy Sets and Systems 158 (6), 619-624, 2007	12	2007
Alternative proof of standard completeness theorem for MTL R Horčík Soft Computing 11, 123-129, 2007	12	2007
Word problem for knotted residuated lattices R Horčík Journal of Pure and Applied Algebra 219 (5), 1548-1563, 2015	11	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors