Rostislav Horcík

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 15

Top Topics

Partial Observability

Heuristic Search

Classical Planning

Top Venues

Publications

Rostislav Horcík, Gustav Sír
Expressiveness of Graph Neural Networks in Planning Domains. ICAPS (2024)
Rostislav Horcík, Daniel Fiser
Gaifman Graphs in Lifted Planning. ECAI (2023)
Lukás Chrpa, Pavel Rytír, Andrii Nyporko, Rostislav Horcík, Stefan Edelkamp
Effective Planning in Resource-Competition Problems by Task Decomposition. SOCS (2022)
Lukás Chrpa, Pavel Rytír, Rostislav Horcík, Stefan Edelkamp
Competing for Resources: Estimating Adversary Strategy for Effective Plan Generation. AAAI (2022)
Rostislav Horcík, Daniel Fiser, Álvaro Torralba
Homomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation Heuristics. AAAI (2022)
Rostislav Horcík, Álvaro Torralba, Pavel Rytír, Lukás Chrpa, Stefan Edelkamp
Optimal Mixed Strategies for Cost-Adversarial Planning Games. ICAPS (2022)
Lukás Chrpa, Pavel Rytír, Rostislav Horcík, Jan Cuhel, Anastasiia Livochka, Stefan Edelkamp
Adversary Strategy Sampling for Effective Plan Generation. SOCS (2021)
Rostislav Horcík, Daniel Fiser
Endomorphisms of Classical Planning Tasks. AAAI (2021)
Rostislav Horcík, Daniel Fiser
Endomorphisms of Lifted Planning Problems. ICAPS (2021)
Lukás Adam, Rostislav Horcík, Tomás Kasl, Tomás Kroupa
Double Oracle Algorithm for Computing Equilibria in Continuous Games. AAAI (2021)
Daniel Fiser, Rostislav Horcík, Antonín Komenda
Strengthening Potential Heuristics with Mutexes and Disambiguations. ICAPS (2020)
Lukás Adam, Rostislav Horcík, Tomás Kasl, Tomás Kroupa
Double Oracle Algorithm for Computing Equilibria in Continuous Games. CoRR (2020)
Lukás Chrpa, Pavel Rytír, Rostislav Horcík
Planning Against Adversary in Zero-Sum Games: Heuristics for Selecting and Ordering Critical Actions. SOCS (2020)
Rostislav Horcík, Tommaso Moraschini, Amanda Vidal
An Algebraic Approach to Valued Constraint Satisfaction. CSL (2017)
Karel Chvalovský, Rostislav Horcík
Full Lambek Calculus with Contraction is Undecidable. J. Symb. Log. 81 (2) (2016)
Nikolaos Galatos, Rostislav Horcík
Cayley and Holland Theorems for Residuated Lattices. TACL (2013)
Petr Cintula, Rostislav Horcík, Carles Noguera
Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties. Rev. Symb. Log. 6 (3) (2013)
Rostislav Horcík
Residuated Lattices, Regular Languages, and Burnside Problem. TACL (2013)
Rostislav Horcík
Minimal Varieties of Representable Commutative Residuated Lattices. Stud Logica 100 (6) (2012)
Marta Bílková, Rostislav Horcík, Jiri Velebil
Distributive Substructural Logics as Coalgebraic Logics over Posets. Advances in Modal Logic (2012)
Rostislav Horcík
On the Structure of Finite Integral Commutative Residuated Chains. J. Log. Comput. 21 (5) (2011)
Rostislav Horcík, Kazushige Terui
Disjunction property and complexity of substructural logics. Theor. Comput. Sci. 412 (31) (2011)
Rostislav Horcík
Solutions to Some Open Problems on Totally Ordered Monoids. J. Log. Comput. 20 (4) (2010)
Rostislav Horcík, Franco Montagna
Archimedean classes in integral commutative residuated chains. Math. Log. Q. 55 (3) (2009)
Rostislav Horcík
Solution of a system of linear equations with fuzzy numbers. Fuzzy Sets Syst. 159 (14) (2008)
Rostislav Horcík
On the failure of standard completeness in PiMTL for infinite theories. Fuzzy Sets Syst. 158 (6) (2007)
Rostislav Horcík, Carles Noguera, Milan Petrík
-contractive fuzzy logics. Math. Log. Q. 53 (3) (2007)
Petr Cintula, Petr Hájek, Rostislav Horcík
Formal systems of fuzzy logic and their fragments. Ann. Pure Appl. Log. 150 (1-3) (2007)
Rostislav Horcík
Alternative Proof of Standard Completeness Theorem for MTL. Soft Comput. 11 (2) (2007)
Petr Cintula, Rostislav Horcík
Fuzzy Class Theory: Some Advanced Topics. EUSFLAT Conf. (1) (2007)
Rostislav Horcík
Decidability of Cancellative Extension of Monoidal T-norm Based Logic. Log. J. IGPL 14 (6) (2006)
Franco Montagna, Carles Noguera, Rostislav Horcík
On Weakly Cancellative Fuzzy Logics. J. Log. Comput. 16 (4) (2006)
Rostislav Horcík
Stronger version of standard completeness theorem for MTL. EUSFLAT Conf. (2005)
Rostislav Horcík
Standard completeness theorem for PiMTL. Arch. Math. Log. 44 (4) (2005)
Rostislav Horcík
Residuated fuzzy logics with additional connectives and their validation sets. Fuzzy Sets Syst. 143 (1) (2004)
Rostislav Horcík, Petr Cintula
Product L ukasiewicz Logic. Arch. Math. Log. 43 (4) (2004)
Rostislav Horcík
A note on the structure of PiMTL-chains and left-continuous cancellative T-norms. EUSFLAT Conf. (2003)
Rostislav Horcík, Petr Cintula
Extension of Lukasiewicz Logic by Product Connective. IFSA (2003)
Rostislav Horcík, Mirko Navara
Validation sets in fuzzy logics. Kybernetika 38 (3) (2002)