Validation sets in fuzzy logics. - Rostislav Horcík; Mirko Navara (Kybernetika, 2002)

A note on the structure of PiMTL-chains and left-continuous cancellative T-norms. - Rostislav Horcík (EUSFLAT Conf., 2003)

Extension of Lukasiewicz Logic by Product Connective. - Rostislav Horcík; Petr Cintula (IFSA, 2003)

Product L ukasiewicz Logic. - Rostislav Horcík; Petr Cintula (Arch. Math. Log., 2004)

Residuated fuzzy logics with additional connectives and their validation sets. - Rostislav Horcík (Fuzzy Sets Syst., 2004)

Stronger version of standard completeness theorem for MTL. - Rostislav Horcík (EUSFLAT Conf., 2005)

Standard completeness theorem for PiMTL. - Rostislav Horcík (Arch. Math. Log., 2005)

Decidability of Cancellative Extension of Monoidal T-norm Based Logic. - Rostislav Horcík (Log. J. IGPL, 2006)

On Weakly Cancellative Fuzzy Logics. - Franco Montagna; Carles Noguera; Rostislav Horcík (J. Log. Comput., 2006)

Fuzzy Class Theory: Some Advanced Topics. - Petr Cintula; Rostislav Horcík (EUSFLAT Conf. (1), 2007)

Formal systems of fuzzy logic and their fragments. - Petr Cintula; Petr Hájek 001; Rostislav Horcík (Ann. Pure Appl. Log., 2007)

On the failure of standard completeness in PiMTL for infinite theories. - Rostislav Horcík (Fuzzy Sets Syst., 2007)

On n-contractive fuzzy logics. - Rostislav Horcík; Carles Noguera; Milan Petrík (Math. Log. Q., 2007)

Alternative Proof of Standard Completeness Theorem for MTL. - Rostislav Horcík (Soft Comput., 2007)

Solution of a system of linear equations with fuzzy numbers. - Rostislav Horcík (Fuzzy Sets Syst., 2008)

How to Solve a System of Linear Equations with Fuzzy Numbers. - Rostislav Horcík (Soft Computing for Hybrid Intelligent Systems, 2008)

Archimedean classes in integral commutative residuated chains. - Rostislav Horcík; Franco Montagna (Math. Log. Q., 2009)

Solutions to Some Open Problems on Totally Ordered Monoids. - Rostislav Horcík (J. Log. Comput., 2010)

On the Structure of Finite Integral Commutative Residuated Chains. - Rostislav Horcík (J. Log. Comput., 2011)

Disjunction property and complexity of substructural logics. - Rostislav Horcík; Kazushige Terui (Theor. Comput. Sci., 2011)

Distributive Substructural Logics as Coalgebraic Logics over Posets. - Marta Bílková; Rostislav Horcík; Jirí Velebil (Advances in Modal Logic, 2012)

Minimal Varieties of Representable Commutative Residuated Lattices. - Rostislav Horcík (Stud Logica, 2012)

Cayley and Holland Theorems for Residuated Lattices. - Nikolaos Galatos; Rostislav Horcík (TACL, 2013)

Residuated Lattices, Regular Languages, and Burnside Problem. - Rostislav Horcík (TACL, 2013)

Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties. - Petr Cintula; Rostislav Horcík; Carles Noguera (Rev. Symb. Log., 2013)

Full Lambek Calculus with Contraction is Undecidable. - Karel Chvalovský; Rostislav Horcík (J. Symb. Log., 2016)

An Algebraic Approach to Valued Constraint Satisfaction. - Rostislav Horcík; Tommaso Moraschini; Amanda Vidal (CSL, 2017)

Strengthening Potential Heuristics with Mutexes and Disambiguations. - Daniel Fiser; Rostislav Horcík; Antonín Komenda (ICAPS, 2020)

Planning Against Adversary in Zero-Sum Games: Heuristics for Selecting and Ordering Critical Actions. - Lukás Chrpa; Pavel Rytír; Rostislav Horcík (SOCS, 2020)

Double Oracle Algorithm for Computing Equilibria in Continuous Games. - Lukás Adam; Rostislav Horcík; Tomás Kasl; Tomás Kroupa (AAAI, 2021)

Endomorphisms of Classical Planning Tasks. - Rostislav Horcík; Daniel Fiser (AAAI, 2021)

Endomorphisms of Lifted Planning Problems. - Rostislav Horcík; Daniel Fiser (ICAPS, 2021)

Adversary Strategy Sampling for Effective Plan Generation. - Lukás Chrpa; Pavel Rytír; Rostislav Horcík; Jan Cuhel; Anastasiia Livochka; Stefan Edelkamp (SOCS, 2021)

Competing for Resources: Estimating Adversary Strategy for Effective Plan Generation. - Lukás Chrpa; Pavel Rytír; Rostislav Horcík; Stefan Edelkamp (AAAI, 2022)

Homomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation Heuristics. - Rostislav Horcík; Daniel Fiser; Álvaro Torralba (AAAI, 2022)

Optimal Mixed Strategies for Cost-Adversarial Planning Games. - Rostislav Horcík; Álvaro Torralba; Pavel Rytír; Lukás Chrpa; Stefan Edelkamp (ICAPS, 2022)

Effective Planning in Resource-Competition Problems by Task Decomposition. - Lukás Chrpa; Pavel Rytír; Andrii Nyporko; Rostislav Horcík; Stefan Edelkamp (SOCS, 2022)

Gaifman Graphs in Lifted Planning. - Rostislav Horcík; Daniel Fiser (ECAI, 2023)

Expressiveness of Graph Neural Networks in Planning Domains. - Rostislav Horcík; Gustav Sír (ICAPS, 2024)

Deep Learning for Generalised Planning with Background Knowledge. - Dillon Z. Chen; Rostislav Horcík; Gustav Sír (CoRR, 2024)

State Encodings for GNN-Based Lifted Planners. - Rostislav Horcík; Gustav Sír; Vítezslav Simek; Tomás Pevný (AAAI, 2025)