Rostislav Horcík

45 papers A* 10A 2B 5C 1Journal 21Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Perturbing Best Responses in Zero-Sum Games. AAAI Adam Dziwoki, Rostislav Horcík
2025	A	`conf`	Action Costs Prediction by Multiplicative Weights Update. ECAI Rostislav Horcík
2025	J	`jnl`	Perturbing Best Responses in Zero-Sum Games. CoRR Adam Dziwoki, Rostislav Horcík
2025	A*	`conf`	State Encodings for GNN-Based Lifted Planners. AAAI Rostislav Horcík, Gustav Sír, Vítezslav Simek, Tomás Pevný
2024	J	`jnl`	Deep Learning for Generalised Planning with Background Knowledge. CoRR Dillon Z. Chen, Rostislav Horcík, Gustav Sír
2024	A*	`conf`	Expressiveness of Graph Neural Networks in Planning Domains. ICAPS Rostislav Horcík, Gustav Sír
2023	A	`conf`	Gaifman Graphs in Lifted Planning. ECAI Rostislav Horcík, Daniel Fiser
2022	A*	`conf`	Competing for Resources: Estimating Adversary Strategy for Effective Plan Generation. AAAI Lukás Chrpa, Pavel Rytír, Rostislav Horcík, Stefan Edelkamp
2022	B	`conf`	Effective Planning in Resource-Competition Problems by Task Decomposition. SOCS Lukás Chrpa, Pavel Rytír, Andrii Nyporko, Rostislav Horcík, Stefan Edelkamp
2022	A*	`conf`	Homomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation Heuristics. AAAI Rostislav Horcík, Daniel Fiser, Álvaro Torralba
2022	A*	`conf`	Optimal Mixed Strategies for Cost-Adversarial Planning Games. ICAPS Rostislav Horcík, Álvaro Torralba, Pavel Rytír, Lukás Chrpa, Stefan Edelkamp
2021	B	`conf`	Adversary Strategy Sampling for Effective Plan Generation. SOCS Lukás Chrpa, Pavel Rytír, Rostislav Horcík, Jan Cuhel, Anastasiia Livochka, Stefan Edelkamp
2021	A*	`conf`	Double Oracle Algorithm for Computing Equilibria in Continuous Games. AAAI Lukás Adam, Rostislav Horcík, Tomás Kasl, Tomás Kroupa
2021	A*	`conf`	Endomorphisms of Classical Planning Tasks. AAAI Rostislav Horcík, Daniel Fiser
2021	A*	`conf`	Endomorphisms of Lifted Planning Problems. ICAPS Rostislav Horcík, Daniel Fiser
2020	J	`jnl`	Double Oracle Algorithm for Computing Equilibria in Continuous Games. CoRR Lukás Adam, Rostislav Horcík, Tomás Kasl, Tomás Kroupa
2020	B	`conf`	Planning Against Adversary in Zero-Sum Games: Heuristics for Selecting and Ordering Critical Actions. SOCS Lukás Chrpa, Pavel Rytír, Rostislav Horcík
2020	A*	`conf`	Strengthening Potential Heuristics with Mutexes and Disambiguations. ICAPS Daniel Fiser, Rostislav Horcík, Antonín Komenda
2017	B	`conf`	An Algebraic Approach to Valued Constraint Satisfaction. CSL Rostislav Horcík, Tommaso Moraschini, Amanda Vidal
2016	J	`jnl`	Full Lambek Calculus with Contraction is Undecidable. J. Symb. Log. Karel Chvalovský, Rostislav Horcík
2013	—	`conf`	Cayley and Holland Theorems for Residuated Lattices. TACL Nikolaos Galatos, Rostislav Horcík
2013	J	`jnl`	Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties. Rev. Symb. Log. Petr Cintula, Rostislav Horcík, Carles Noguera
2013	—	`conf`	Residuated Lattices, Regular Languages, and Burnside Problem. TACL Rostislav Horcík
2012	B	`conf`	Distributive Substructural Logics as Coalgebraic Logics over Posets. Advances in Modal Logic Marta Bílková, Rostislav Horcík, Jirí Velebil
2012	J	`jnl`	Minimal Varieties of Representable Commutative Residuated Lattices. Stud Logica Rostislav Horcík
2011	J	`jnl`	Disjunction property and complexity of substructural logics. Theor. Comput. Sci. Rostislav Horcík, Kazushige Terui
2011	J	`jnl`	On the Structure of Finite Integral Commutative Residuated Chains. J. Log. Comput. Rostislav Horcík
2010	J	`jnl`	Solutions to Some Open Problems on Totally Ordered Monoids. J. Log. Comput. Rostislav Horcík
2009	J	`jnl`	Archimedean classes in integral commutative residuated chains. Math. Log. Q. Rostislav Horcík, Franco Montagna
2008	—	`ch.`	How to Solve a System of Linear Equations with Fuzzy Numbers. Soft Computing for Hybrid Intelligent Systems Rostislav Horcík
2008	J	`jnl`	Solution of a system of linear equations with fuzzy numbers. Fuzzy Sets Syst. Rostislav Horcík
2007	J	`jnl`	Alternative Proof of Standard Completeness Theorem for MTL. Soft Comput. Rostislav Horcík
2007	J	`jnl`	Formal systems of fuzzy logic and their fragments. Ann. Pure Appl. Log. Petr Cintula, Petr Hájek, Rostislav Horcík
2007	—	`conf`	Fuzzy Class Theory: Some Advanced Topics. EUSFLAT Conf. (1) Petr Cintula, Rostislav Horcík
2007	J	`jnl`	On Math. Log. Q. Rostislav Horcík, Carles Noguera, Milan Petrík
2007	J	`jnl`	On the failure of standard completeness in PiMTL for infinite theories. Fuzzy Sets Syst. Rostislav Horcík
2006	J	`jnl`	Decidability of Cancellative Extension of Monoidal T-norm Based Logic. Log. J. IGPL Rostislav Horcík
2006	J	`jnl`	On Weakly Cancellative Fuzzy Logics. J. Log. Comput. Franco Montagna, Carles Noguera, Rostislav Horcík
2005	J	`jnl`	Standard completeness theorem for PiMTL. Arch. Math. Log. Rostislav Horcík
2005	—	`conf`	Stronger version of standard completeness theorem for MTL. EUSFLAT Conf. Rostislav Horcík
2004	J	`jnl`	Product L ukasiewicz Logic. Arch. Math. Log. Rostislav Horcík, Petr Cintula
2004	J	`jnl`	Residuated fuzzy logics with additional connectives and their validation sets. Fuzzy Sets Syst. Rostislav Horcík
2003	—	`conf`	A note on the structure of PiMTL-chains and left-continuous cancellative T-norms. EUSFLAT Conf. Rostislav Horcík
2003	C	`conf`	Extension of Lukasiewicz Logic by Product Connective. IFSA Rostislav Horcík, Petr Cintula
2002	J	`jnl`	Validation sets in fuzzy logics. Kybernetika Rostislav Horcík, Mirko Navara