TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Dmitrii Rozplokhas

Univ.Ass. Mag.

Dmitrii Rozplokhas

Role

Contact

  • Graded Distributed Belief / Lorini, E., & Rozplokhas, D. (2025). Graded Distributed Belief. In A. Bjorndahl (Ed.), Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2025) (pp. 203–215). Open Publishing Association. https://doi.org/10.4204/EPTCS.437.19
  • A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals / Aguilera-Ventura, C., Liu, X., Lorini, E., & Rozplokhas, D. (2025). A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals. In J. Kwok (Ed.), Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence (pp. 4301–4310). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2025/479
  • GL-Based Calculi for PCL and Its Deontic Cousin / Ciabattoni, A., Rozplokhas, D., & Tesi, M. (2025). GL-Based Calculi for PCL and Its Deontic Cousin. In G. Casini, B. Dundua, & T. Kutsia (Eds.), Logics in Artificial Intelligence : 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I (pp. 171–186). Springer. https://doi.org/10.1007/978-3-032-04587-4_11
  • LEGO-like Small Model Constructions for Åqvist's Logics / Rozplokhas, D. (2024). LEGO-like Small Model Constructions for Åqvist’s Logics. In A. Ciabattoni, D. Gabelaia, & I. Sedlár (Eds.), Advances in Modal Logic (pp. 631–651). College Publications. http://hdl.handle.net/20.500.12708/202365
    Project: LoDEx (2024–2026)
  • Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract) / Ciabattoni, A., & Rozplokhas, D. (2024). Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract). In K. Larson (Ed.), Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence (pp. 8389–8393). https://doi.org/10.24963/ijcai.2024/928
    Project: TAIGER (2023–2027)
  • Streamlining Input/Output Logics with Sequent Calculi / Ciabattoni, A., & Rozplokhas, D. (2023). Streamlining Input/Output Logics with Sequent Calculi. In P. Marquis, T. C. Son, & G. Kern-Isberner (Eds.), Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (pp. 146–155). IJCAI Organization. https://doi.org/10.24963/kr.2023/15
    Project: TAIGER (2023–2027)
  • Analytic Proof Theory for Aqvist's System F / Ciabattoni, A., Olivetti, N., Parent, X., Ramanayake, D. R. S., & Rozplokhas, D. (2023). Analytic Proof Theory for Aqvist’s System F. In J. Maranhão, C. Peterson, C. Straßer, & L. van der Torre (Eds.), Deontic Logic and Normative Systems - 16th International Conference, DEON 2023 (pp. 79–98). College Publications. http://hdl.handle.net/20.500.12708/190605
    Projects: Lisa Meitner grant (2021–2024) / Mosaic (2021–2026)