Rostislav Horčík

Cited by

	All	Since 2020
Citations	879	275
h-index	15	10
i10-index	27	11

20052006200720082009201020112012201320142015201620172018201920202021202220232024202514 23 50 37 47 18 35 45 37 46 63 58 50 37 31 44 54 57 38 69 13

Public access

View all

12 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 NogueraProfessor of Logic. Department of Information Engineering and Mathematics, University of SienaVerified email at unisi.it
Daniel FišerAalborg 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
Gustav ŠírCzech Technical UniversityVerified email at fel.cvut.cz
Edelkamp, StefanDepartment of Theor. Computer Science at Charles University and at FEL/CVUT in PragueVerified email at fel.cvut.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 fel.zcu.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
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	62	2013
Solution of a system of linear equations with fuzzy numbers R Horčík Fuzzy sets and systems 159 (14), 1788-1810, 2008	62	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	59	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	49	2007
On n ‐contractive fuzzy logics R Horčík, C Noguera, M Petrík Mathematical Logic Quarterly 53 (3), 268-288, 2007	47	2007
Standard completeness theorem for ΠMTL R Horĉík Archive for Mathematical Logic 44 (4), 413-424, 2005	45	2005
Disjunction property and complexity of substructural logics R Horčík, K Terui Theoretical Computer Science 412 (31), 3992-4006, 2011	40	2011
Algebraic semantics R Horcık Handbook of mathematical fuzzy logic, 283-353, 2011	34	2011
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	29	2021
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	26	2016
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	16	2014
Strengthening potential heuristics with mutexes and disambiguations D Fišer, R Horčík, A Komenda Proceedings of the International Conference on Automated Planning and …, 2020	15	2020
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), 42: 1-42: 20, 2017	14	2017
Cayley’s and Holland’s theorems for idempotent semirings and their applications to residuated lattices N Galatos, R Horčík Semigroup Forum 87, 569-589, 2013	14	2013
Expressiveness of graph neural networks in planning domains R Horčík, G Šír Proceedings of the International Conference on Automated Planning and …, 2024	13	2024

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