Rostislav Horčík

Cited by

	All	Since 2019
Citations	854	281
h-index	15	10
i10-index	26	10

2005200620072008200920102011201220132014201520162017201820192020202120222023202414 23 50 38 47 21 35 45 35 46 62 57 51 37 33 43 50 56 36 63

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 NogueraDepartment 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
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
On weakly cancellative fuzzy logics F Montagna, C Noguera, R Horčík Journal of Logic and Computation 16 (4), 423-450, 2006	69	2006
Product Ł ukasiewicz Logic R Horčík, P Cintula Archive for Mathematical Logic 43 (4), 477-503, 2004	69	2004
Solution of a system of linear equations with fuzzy numbers R Horčík Fuzzy sets and systems 159 (14), 1788-1810, 2008	62	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	58	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	56	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	46	2005
Disjunction property and complexity of substructural logics R Horčík, K Terui Theoretical Computer Science 412 (31), 3992-4006, 2011	39	2011
Algebraic semantics: Semilinear FL-algebras R Horcık Handbook of mathematical fuzzy logic 1, 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	25	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	24	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
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	14	2020
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
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
Alternative proof of standard completeness theorem for MTL R Horčík Soft Computing 11, 123-129, 2007	13	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