Rostislav Horčík

Cited by

	All	Since 2019
Citations	802	237
h-index	15	9
i10-index	25	9

2005200620072008200920102011201220132014201520162017201820192020202120222023202415 23 50 38 47 20 34 42 35 44 61 58 50 37 31 45 52 57 39 13

Public access

View all

10 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
Daniel FišerSaarland UniversityVerified email at danfis.cz
Petr HájekPetr Hajek´s Memorial Page. Institute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.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
Edelkamp, StefanDepartment of Theor. Computer Science at Charles University and at FEL/CVUT in PragueVerified email at fel.cvut.cz
Lukáš AdamÚTIA, Czech Academy of SciencesVerified email at utia.cas.cz
Tomáš KroupaCzech Technical University in PragueVerified email at fel.cvut.cz
Álvaro TorralbaAalborg UniversityVerified email at cs.aau.dk
Antonín KomendaFEE, Czech Technical University in PragueVerified email at fel.cvut.cz
Marta BilkovaResearcher, Institute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz

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	71	2004
On weakly cancellative fuzzy logics F Montagna, C Noguera, R Horčík Journal of Logic and Computation 16 (4), 423-450, 2006	68	2006
Solution of a system of linear equations with fuzzy numbers R Horčík Fuzzy sets and systems 159 (14), 1788-1810, 2008	59	2008
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	53	2013
The quest for the basic fuzzy logic P Cintula, R Horčík, C Noguera Petr Hájek on Mathematical Fuzzy Logic, 245-290, 2014	52	2014
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	47	2007
On n ‐contractive fuzzy logics R Horčík, C Noguera, M Petrík Mathematical Logic Quarterly 53 (3), 268-288, 2007	46	2007
Standard completeness theorem for ΠMTL R Horĉík Archive for Mathematical Logic 44 (4), 413-424, 2005	46	2005
Disjunction property and complexity of substructural logics R Horčík, K Terui Theoretical Computer Science 412 (31), 3992-4006, 2011	38	2011
Algebraic semantics R Horcık Handbook of mathematical fuzzy logic, 283-353, 2011	34	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	23	2016
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	20	2021
Algebraic properties of fuzzy logics R Horcık Czech Technical University in Prague, 2005	17	2005
The finite embeddability property for residuated groupoids Z Haniková, R Horčík Algebra universalis 72 (1), 1-13, 2014	15	2014
Decidability of cancellative extension of monoidal t-norm based logic R Horčík Logic Journal of the IGPL 14 (6), 827-843, 2006	15	2006
An algebraic approach to valued constraint satisfaction R Horcík, T Moraschini, A Vidal 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017	14	2017
Alternative proof of standard completeness theorem for MTL R Horčík Soft Computing 11, 123-129, 2007	13	2007
Structure of commutative cancellative integral residuated lattices on (0, 1 R Horčík Algebra universalis 57 (3), 303-332, 2007	12	2007
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

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