Rostislav Horčík 个人学术档案

引用次数

	总计	2019 年至今
引用	819	251
h 指数	15	9
i10 指数	25	9

2005200620072008200920102011201220132014201520162017201820192020202120222023202415 23 50 38 47 20 34 42 35 46 61 58 51 36 31 45 51 57 39 28

开放获取的出版物数量

查看全部

10 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Petr CintulaInstitute of Computer Science, Czech Academy of Sciences在 cs.cas.cz 的电子邮件经过验证
Carles NogueraDepartment of Information Engineering and Mathematics, University of Siena在 unisi.it 的电子邮件经过验证
Daniel FišerSaarland University在 danfis.cz 的电子邮件经过验证
Petr HájekPetr Hajek´s Memorial Page. Institute of Computer Science, Czech Academy of Sciences在 cs.cas.cz 的电子邮件经过验证
Pavel RytířPostdoc in Computer Science, The City University of New York在 ccny.cuny.edu 的电子邮件经过验证
Zuzana Hanikováresearcher, Institute of Computer Science, Academy of Sciences of the Czech Republic在 cs.cas.cz 的电子邮件经过验证
Milan PetríkCzech University of Life Sciences Prague, Faculty of Engineering, Department of Mathematics在 tf.czu.cz 的电子邮件经过验证
Edelkamp, StefanDepartment of Theor. Computer Science at Charles University and at FEL/CVUT in Prague在 fel.cvut.cz 的电子邮件经过验证
Tommaso MoraschiniFaculty of Philosophy, University of Barcelona在 ub.edu 的电子邮件经过验证
amanda vidalArtifficial Intelligence Research Institute - CSIC在 iiia.csic.es 的电子邮件经过验证
Lukáš AdamÚTIA, Czech Academy of Sciences在 fel.zcu.cz 的电子邮件经过验证
Tomáš KroupaCzech Technical University in Prague在 fel.cvut.cz 的电子邮件经过验证
Álvaro TorralbaAalborg University在 cs.aau.dk 的电子邮件经过验证
Antonín KomendaFEE, Czech Technical University in Prague在 fel.cvut.cz 的电子邮件经过验证
Marta BilkovaResearcher, Institute of Computer Science, Czech Academy of Sciences在 cs.cas.cz 的电子邮件经过验证

关注

Rostislav Horčík

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

在 fel.cvut.cz 的电子邮件经过验证

Artificial intelligence


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	60	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	55	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	54	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	48	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
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	12	2020
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	12	2013

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用