Dmitry Rozplokhas

18 papers A* 4B 4Misc 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals.
IJCAI
Carlos Aguilera-Ventura, Xinghan Liu, Emiliano Lorini, Dmitry Rozplokhas
2025 J jnl
A Non-Interventionist Approach to Causal Reasoning based on Lewisian Counterfactuals.
CoRR
Carlos Aguilera-Ventura, Xinghan Liu, Emiliano Lorini, Dmitry Rozplokhas
2025 B conf
From Explicit Allowances to Defeasible Deontic Operators: A Modal View.
PRIMA
Agata Ciabattoni, Josephine Dik, Emiliano Lorini, Dominik Pichler, Dmitry Rozplokhas
2025 — conf
GL-Based Calculi for PCL and Its Deontic Cousin.
JELIA (1)
Agata Ciabattoni, Dmitry Rozplokhas, Matteo Tesi
2025 B conf
Graded Distributed Belief.
TARK
Emiliano Lorini, Dmitry Rozplokhas
2024 B conf
LEGO-Like Small Model Constructions for Åqvist's Logics.
AiML
Dmitry Rozplokhas
2024 J jnl
LEGO-like Small-Model Constructions for Åqvist's Logics.
CoRR
Dmitry Rozplokhas
2024 A* conf
Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract).
IJCAI
Agata Ciabattoni, Dmitry Rozplokhas
2024 A* conf
Strongly Analytic Calculi for KLM Logics with SMT-Based Prover.
KR
Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas
2023 — conf
Analytic Proof Theory for Åqvist's System F.
DEON
Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas
2023 A* conf
Streamlining Input/Output Logics with Sequent Calculi.
KR
Agata Ciabattoni, Dmitry Rozplokhas
2023 J jnl
Streamlining Input/Output Logics with Sequent Calculi.
CoRR
Agata Ciabattoni, Dmitry Rozplokhas
2022 Misc conf
Scheduling Complexity of Interleaving Search.
FLOPS
Dmitry Rozplokhas, Dmitry Boulytchev
2022 J jnl
Scheduling Complexity of Interleaving Search.
CoRR
Dmitry Rozplokhas, Dmitry Boulytchev
2020 B conf
Certified Semantics for Relational Programming.
APLAS
Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev
2020 J jnl
Certified Semantics for Relational Programming.
CoRR
Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev
2020 J jnl
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them.
CoRR
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
2020 J jnl
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them.
Theory Pract. Log. Program.
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold