Dmitry Rozplokhas

According to our database, Dmitry Rozplokhas authored at least 9 papers between 2018 and 2024.

Collaborative distances:

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

2024

Strongly Analytic Calculi for KLM Logics with SMT-Based Prover.

Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract).

Agata Ciabattoni, Dmitry Rozplokhas

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

LEGO-Like Small Model Constructions for Åqvist's Logics.

Dmitry Rozplokhas

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Streamlining Input/Output Logics with Sequent Calculi.

Agata Ciabattoni, Dmitry Rozplokhas

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Analytic Proof Theory for Åqvist's System F.

Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas

Proceedings of the Deontic Logic and Normative Systems - 16th International Conference, 2023

2022

Scheduling Complexity of Interleaving Search.

Dmitry Rozplokhas, Dmitry Boulytchev

Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

2020

The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them.

Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold

Theory Pract. Log. Program., 2020

Certified Semantics for Relational Programming.

Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2018

Improving Refutational Completeness of Relational Search via Divergence Test.

Dmitri Rozplokhas, Dmitri Boulytchev

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018