Dmitry Rozplokhas

According to our database, Dmitry Rozplokhas authored at least 6 papers between 2018 and 2023.

Collaborative distances:

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

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