Rostislav Horčík

Cited by

	All	Since 2018
Citations	777	256
h-index	15	9
i10-index	25	9

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232 2 15 24 44 30 47 20 34 46 33 44 64 58 50 42 31 43 51 60 29

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, StefanComputer Science & Artificial Intelligence Center Faculty of Electrical Engineering, CTU 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
Antonín KomendaFEE, Czech Technical University in PragueVerified email at fel.cvut.cz
Álvaro TorralbaAalborg UniversityVerified email at cs.aau.dk
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	68	2004
On weakly cancellative fuzzy logics F Montagna, C Noguera, R Horčík Journal of Logic and Computation 16 (4), 423-450, 2006	67	2006
Solution of a system of linear equations with fuzzy numbers R Horčík Fuzzy sets and systems 159 (14), 1788-1810, 2008	60	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	51	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	51	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	45	2005
On n ‐contractive fuzzy logics R Horčík, C Noguera, M Petrík Mathematical Logic Quarterly 53 (3), 268-288, 2007	43	2007
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	33	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	21	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
The finite embeddability property for residuated groupoids Z Haniková, R Horčík Algebra universalis 72 (1), 1-13, 2014	15	2014
Algebraic properties of fuzzy logics R Horcık Czech Technical University in Prague, 2005	15	2005
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	13	2017
Alternative proof of standard completeness theorem for MTL R Horčík Soft Computing 11, 123-129, 2007	13	2007
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
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	11	2020

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