| 2026 | IJCAR | SMT-Based Deontic Reasoning for qvist Logics. | Christian Kll, Agata Ciabattoni, Dmitry Rozplokhas |
| 2025 | IJCAI | A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals. | Carlos Aguilera-Ventura, Xinghan Liu, Emiliano Lorini, Dmitry Rozplokhas |
| 2025 | JELIA | GL-Based Calculi for PCL and Its Deontic Cousin. | Agata Ciabattoni, Dmitry Rozplokhas, Matteo Tesi |
| 2025 | PRIMA | From Explicit Allowances to Defeasible Deontic Operators: A Modal View. | Agata Ciabattoni, Josephine Dik, Emiliano Lorini, Dominik Pichler, Dmitry Rozplokhas |
| 2024 | AiML | LEGO-Like Small Model Constructions for qvist's Logics. | Dmitry Rozplokhas |
| 2024 | IJCAI | Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract). | Agata Ciabattoni, Dmitry Rozplokhas |
| 2024 | KR | Strongly Analytic Calculi for KLM Logics with SMT-Based Prover. | Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas |
| 2023 | KR | Streamlining Input/Output Logics with Sequent Calculi. | Agata Ciabattoni, Dmitry Rozplokhas |
| 2022 | FLOPS | Scheduling Complexity of Interleaving Search. | Dmitry Rozplokhas, Dmitry Boulytchev |
| 2020 | APLAS | Certified Semantics for Relational Programming. | Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev |