TU Wien Informatics

20 Years


  • 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–2025)