Rostislav Horcík

According to our database, Rostislav Horcík authored at least 38 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Gaifman Graphs in Lifted Planning.

Rostislav Horcík, Daniel Fiser

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Effective Planning in Resource-Competition Problems by Task Decomposition.

Lukás Chrpa, Pavel Rytír, Andrii Nyporko, Rostislav Horcík, Stefan Edelkamp

Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

Optimal Mixed Strategies for Cost-Adversarial Planning Games.

Rostislav Horcík, Álvaro Torralba, Pavel Rytír, Lukás Chrpa, Stefan Edelkamp

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Homomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation Heuristics.

Rostislav Horcík, Daniel Fiser, Álvaro Torralba

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Competing for Resources: Estimating Adversary Strategy for Effective Plan Generation.

Lukás Chrpa, Pavel Rytír, Rostislav Horcík, Stefan Edelkamp

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Adversary Strategy Sampling for Effective Plan Generation.

Lukás Chrpa, Pavel Rytír, Rostislav Horcík, Jan Cuhel, Anastasiia Livochka, Stefan Edelkamp

Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021

Endomorphisms of Lifted Planning Problems.

Rostislav Horcík, Daniel Fiser

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

Endomorphisms of Classical Planning Tasks.

Rostislav Horcík, Daniel Fiser

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Double Oracle Algorithm for Computing Equilibria in Continuous Games.

Lukás Adam, Rostislav Horcík, Tomás Kasl, Tomás Kroupa

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

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

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

Proceedings of the Thirteenth International Symposium on Combinatorial Search, 2020

Strengthening Potential Heuristics with Mutexes and Disambiguations.

Daniel Fiser, Rostislav Horcík, Antonín Komenda

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2017

An Algebraic Approach to Valued Constraint Satisfaction.

Rostislav Horcík, Tommaso Moraschini, Amanda Vidal

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016

Full Lambek Calculus with Contraction is Undecidable.

Karel Chvalovský, Rostislav Horcík

J. Symb. Log., 2016

2013

Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties.

Petr Cintula, Rostislav Horcík, Carles Noguera

Rev. Symb. Log., 2013

Residuated Lattices, Regular Languages, and Burnside Problem.

Rostislav Horcík

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Cayley and Holland Theorems for Residuated Lattices.

Nikolaos Galatos, Rostislav Horcík

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

Minimal Varieties of Representable Commutative Residuated Lattices.

Rostislav Horcík

Stud Logica, 2012

Distributive Substructural Logics as Coalgebraic Logics over Posets.

Marta Bílková, Rostislav Horcík, Jirí Velebil

Proceedings of the Advances in Modal Logic 9, 2012

2011

Disjunction property and complexity of substructural logics.

Rostislav Horcík, Kazushige Terui

Theor. Comput. Sci., 2011

On the Structure of Finite Integral Commutative Residuated Chains.

Rostislav Horcík

J. Log. Comput., 2011

2010

Solutions to Some Open Problems on Totally Ordered Monoids.

Rostislav Horcík

J. Log. Comput., 2010

2009

Archimedean classes in integral commutative residuated chains.

Rostislav Horcík, Franco Montagna

Math. Log. Q., 2009

2008

How to Solve a System of Linear Equations with Fuzzy Numbers.

Rostislav Horcík

Proceedings of the Soft Computing for Hybrid Intelligent Systems, 2008

Solution of a system of linear equations with fuzzy numbers.

Rostislav Horcík

Fuzzy Sets Syst., 2008

2007

Alternative Proof of Standard Completeness Theorem for MTL.

Rostislav Horcík

Soft Comput., 2007

On <i>n</i>-contractive fuzzy logics.

Rostislav Horcík, Carles Noguera, Milan Petrík

Math. Log. Q., 2007

On the failure of standard completeness in PiMTL for infinite theories.

Rostislav Horcík

Fuzzy Sets Syst., 2007

Formal systems of fuzzy logic and their fragments.

Petr Cintula, Petr Hájek, Rostislav Horcík

Ann. Pure Appl. Log., 2007

Fuzzy Class Theory: Some Advanced Topics.

Petr Cintula, Rostislav Horcík

Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

2006

On Weakly Cancellative Fuzzy Logics.

Franco Montagna, Carles Noguera, Rostislav Horcík

J. Log. Comput., 2006

Decidability of Cancellative Extension of Monoidal T-norm Based Logic.

Rostislav Horcík

Log. J. IGPL, 2006

2005

Standard completeness theorem for PiMTL.

Rostislav Horcík

Arch. Math. Log., 2005

Stronger version of standard completeness theorem for MTL.

Rostislav Horcík

Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, 2005

2004

Residuated fuzzy logics with additional connectives and their validation sets.

Rostislav Horcík

Fuzzy Sets Syst., 2004

Product L ukasiewicz Logic.

Rostislav Horcík, Petr Cintula

Arch. Math. Log., 2004

2003

Extension of Lukasiewicz Logic by Product Connective.

Rostislav Horcík, Petr Cintula

Proceedings of the Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30, 2003

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

Rostislav Horcík

Proceedings of the 3rd Conference of the European Society for Fuzzy Logic and Technology, 2003

2002

Validation sets in fuzzy logics.

Rostislav Horcík, Mirko Navara

Kybernetika, 2002