Folgen
Rostislav Horčík
Rostislav Horčík
Department of Computer Science, FEE, Czech Technical University in Prague
Bestätigte E-Mail-Adresse bei fel.cvut.cz
Titel
Zitiert von
Zitiert von
Jahr
Product Ł ukasiewicz Logic
R Horčík, P Cintula
Archive for Mathematical Logic 43 (4), 477-503, 2004
682004
On weakly cancellative fuzzy logics
F Montagna, C Noguera, R Horčík
Journal of Logic and Computation 16 (4), 423-450, 2006
662006
Solution of a system of linear equations with fuzzy numbers
R Horčík
Fuzzy sets and systems 159 (14), 1788-1810, 2008
612008
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
512013
The quest for the basic fuzzy logic
P Cintula, R Horčík, C Noguera
Petr Hájek on Mathematical Fuzzy Logic, 245-290, 2014
502014
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
462007
Standard completeness theorem for ΠMTL
R Horĉík
Archive for Mathematical Logic 44 (4), 413-424, 2005
452005
On n ‐contractive fuzzy logics
R Horčík, C Noguera, M Petrík
Mathematical Logic Quarterly 53 (3), 268-288, 2007
442007
Disjunction property and complexity of substructural logics
R Horčík, K Terui
Theoretical Computer Science 412 (31), 3992-4006, 2011
392011
Algebraic semantics
R Horcık
Handbook of mathematical fuzzy logic, 283-353, 2011
332011
Validation sets in fuzzy logics
R Horčík, M Navara
Kybernetika 38 (3), [319]-326, 2002
292002
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
212021
Full lambek calculus with contraction is undecidable
K Chvalovský, R Horčík
The Journal of Symbolic Logic 81 (2), 524-540, 2016
212016
The finite embeddability property for residuated groupoids
Z Haniková, R Horčík
Algebra universalis 72 (1), 1-13, 2014
152014
Algebraic properties of fuzzy logics
R Horcık
Czech Technical University in Prague, 2005
152005
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
132017
Alternative proof of standard completeness theorem for MTL
R Horčík
Soft Computing 11, 123-129, 2007
132007
Decidability of cancellative extension of monoidal t-norm based logic
R Horčík
Logic Journal of the IGPL 14 (6), 827-843, 2006
132006
On the failure of standard completeness in ΠMTL for infinite theories
R Horčík
Fuzzy Sets and Systems 158 (6), 619-624, 2007
122007
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
112020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20