Rostislav Horcík

发表

On Weakly Cancellative Fuzzy Logics

Franco Montagna, Carles Noguera, Rostislav Horcík, 2006, J. Log. Comput..

Product Ł ukasiewicz Logic

Petr Cintula, Rostislav Horcík, Rostislav Horcík, 2004, Arch. Math. Log..

Formal systems of fuzzy logic and their fragments

Petr Hájek, Petr Cintula, Rostislav Horcík, 2007, Ann. Pure Appl. Log..

Distributive Substructural Logics as Coalgebraic Logics over Posets

Jiri Velebil, Rostislav Horcík, Marta Bílková, 2012, Advances in Modal Logic.

Archimedean classes in integral commutative residuated chains

Franco Montagna, Rostislav Horcík, 2009, Math. Log. Q..

Alternative Proof of Standard Completeness Theorem for MTL

Rostislav Horcík, 2007, Soft Comput..

On the failure of standard completeness in PiMTL for infinite theories

Rostislav Horcík, 2007, Fuzzy Sets Syst..

Disjunction property and complexity of substructural logics

Kazushige Terui, Rostislav Horcík, K. Terui, 2011, Theor. Comput. Sci..

How to Solve a System of Linear Equations with Fuzzy Numbers

Rostislav Horcík, 2008, Soft Computing for Hybrid Intelligent Systems.

Strengthening Potential Heuristics with Mutexes and Disambiguations

Rostislav Horcík, Antonín Komenda, Daniel Fiser, 2020, ICAPS.

Cayley and Holland Theorems for Residuated Lattices

Rostislav Horcík, Nikolaos Galatos, 2013, TACL.

Extension of Lukasiewicz Logic by Product Connective

Petr Cintula, Rostislav Horcík, P. Cintula, 2003, International Fuzzy Systems Association World Congress.

Standard completeness theorem for ΠMTL

Rostislav Horcík, 2005, Arch. Math. Log..

On n ‐contractive fuzzy logics

Carles Noguera, Rostislav Horcík, Milan Petrík, 2007, Math. Log. Q..

Minimal Varieties of Representable Commutative Residuated Lattices

Rostislav Horcík, 2012, Stud Logica.

Residuated Lattices, Regular Languages, and Burnside Problem

Rostislav Horcík, 2013, TACL.

Decidability of Cancellative Extension of Monoidal T-norm Based Logic

Rostislav Horcík, 2006, Log. J. IGPL.

Double Oracle Algorithm for Computing Equilibria in Continuous Games pdf

Rostislav Horcík, Tomás Kroupa, Lukás Adam, 2020, ArXiv.

Full Lambek Calculus with Contraction is Undecidable

Rostislav Horcík, Karel Chvalovský, 2016, J. Symb. Log..

Fuzzy Class Theory: Some Advanced Topics

Petr Cintula, Rostislav Horcík, P. Cintula, 2007, EUSFLAT Conf..

NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES

Petr Cintula, Carles Noguera, Rostislav Horcík, 2013, The Review of Symbolic Logic.

Solutions to Some Open Problems on Totally Ordered Monoids

Rostislav Horcík, 2010, J. Log. Comput..

Solution of a system of linear equations with fuzzy numbers

Rostislav Horcík, Rostislav Horcík, 2008, Fuzzy Sets Syst..

A note on the structure of PiMTL-chains and left-continuous cancellative T-norms

Rostislav Horcík, 2003, EUSFLAT Conf..

Validation sets in fuzzy logics

Mirko Navara, Rostislav Horcík, 2002, Kybernetika.

An Algebraic Approach to Valued Constraint Satisfaction

Tommaso Moraschini, Rostislav Horcík, Amanda Vidal, 2017, CSL.

Planning Against Adversary in Zero-Sum Games: Heuristics for Selecting and Ordering Critical Actions

Lukás Chrpa, Rostislav Horcík, Pavel Rytír, 2020, SOCS.

Residuated fuzzy logics with additional connectives and their validation sets

Rostislav Horcík, 2004, Fuzzy Sets Syst..

On the Structure of Finite Integral Commutative Residuated Chains

Rostislav Horcík, 2011, J. Log. Comput..

Stronger version of standard completeness theorem for MTL

Rostislav Horcík, 2005, EUSFLAT Conf..

Endomorphisms of Classical Planning Tasks

Rostislav Horcík, Daniel Fiser, 2021, AAAI.

Adversary Strategy Sampling for Effective Plan Generation

Lukás Chrpa, Stefan Edelkamp, Rostislav Horcík, 2021, SOCS.

Double Oracle Algorithm for Computing Equilibria in Continuous Games

Rostislav Horcík, Tomás Kroupa, Lukás Adam, 2020, AAAI.

Endomorphisms of Lifted Planning Problems

Rostislav Horcík, Daniel Fiser, Rostislav Horcík, 2021, ICAPS.