| 2026 | AAAI | Perturbing Best Responses in Zero-Sum Games. | Adam Dziwoki, Rostislav Horck |
| 2025 | AAAI | State Encodings for GNN-Based Lifted Planners. | Rostislav Horck, Gustav Sr, Vtezslav Simek, Toms Pevn |
| 2025 | ECAI | Action Costs Prediction by Multiplicative Weights Update. | Rostislav Horck |
| 2024 | ICAPS | Expressiveness of Graph Neural Networks in Planning Domains. | Rostislav Horck, Gustav Sr |
| 2023 | ECAI | Gaifman Graphs in Lifted Planning. | Rostislav Horck, Daniel Fiser |
| 2022 | AAAI | Competing for Resources: Estimating Adversary Strategy for Effective Plan Generation. | Luks Chrpa, Pavel Rytr, Rostislav Horck, Stefan Edelkamp |
| 2022 | AAAI | Homomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation Heuristics. | Rostislav Horck, Daniel Fiser, lvaro Torralba |
| 2022 | SoCS | Effective Planning in Resource-Competition Problems by Task Decomposition. | Luks Chrpa, Pavel Rytr, Andrii Nyporko, Rostislav Horck, Stefan Edelkamp |
| 2021 | AAAI | Double Oracle Algorithm for Computing Equilibria in Continuous Games. | Luks Adam, Rostislav Horck, Toms Kasl, Toms Kroupa |
| 2021 | AAAI | Endomorphisms of Classical Planning Tasks. | Rostislav Horck, Daniel Fiser |
| 2021 | SoCS | Adversary Strategy Sampling for Effective Plan Generation. | Luks Chrpa, Pavel Rytr, Rostislav Horck, Jan Cuhel, Anastasiia Livochka, Stefan Edelkamp |
| 2020 | SoCS | Planning Against Adversary in Zero-Sum Games: Heuristics for Selecting and Ordering Critical Actions. | Luks Chrpa, Pavel Rytr, Rostislav Horck |
| 2017 | CSL | An Algebraic Approach to Valued Constraint Satisfaction. | Rostislav Horck, Tommaso Moraschini, Amanda Vidal |
| 2012 | AiML | Distributive Substructural Logics as Coalgebraic Logics over Posets. | Marta Blkov, Rostislav Horck, Jir Velebil |
| 2007 | EUSFLAT | Fuzzy Class Theory: Some Advanced Topics. | Petr Cintula, Rostislav Horck |
| 2005 | EUSFLAT | Stronger version of standard completeness theorem for MTL. | Rostislav Horck |
| 2003 | EUSFLAT | A note on the structure of PiMTL-chains and left-continuous cancellative T-norms. | Rostislav Horck |
| 2003 | IFSA | Extension of Lukasiewicz Logic by Product Connective. | Rostislav Horck, Petr Cintula |