2024W

• AI Ethics / 192.046 / VU
• Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
• Project in Computer Science 1 / 192.021 / PR
• Project in Computer Science 2 / 192.022 / PR
• Research Seminar for Master and PhD students / 185.A39 / SE
• Scientific Research and Writing / 193.052 / SE

2025S

• Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
• Project in Computer Science 1 / 192.021 / PR
• Project in Computer Science 2 / 192.022 / PR
• Research Seminar for Master and PhD students / 185.A39 / SE

2024

• Proof Theory and Decision Procedures for Deontic STIT Logics / Lyon, T. S., & van Berkel, K. (2024). Proof Theory and Decision Procedures for Deontic STIT Logics. Journal of Artificial Intelligence Research, 81, 837–876. https://doi.org/10.1613/jair.1.15710
• AI Alignment and Normative Reasoning / van Berkel, K. (2024, November 26). AI Alignment and Normative Reasoning [Keynote Presentation]. 1st AIxIA Workshop on Green-Aware Artificial Intelligence (Green-Aware AI 2024). Co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), Bolzano, Italy.
• Deontic Explanations Through Dialogue and 5 Key Challenges / van Berkel, K. (2024, October 16). Deontic Explanations Through Dialogue and 5 Key Challenges [Conference Presentation]. ENIGMA 2024, Luxembourg, Luxembourg.
  Project: LoDEx (2024–2026)
• Logical Argumentation: A Tutorial. / Straßer, C., & van Berkel, K. (2024, September). Logical Argumentation: A Tutorial. [Poster Presentation]. The 6th Summer School on Argumentation, Hagen, Germany.
• A Nonmonotonic Proof Theory for Dialectical Argumentation Under Bounded Resources / van Berkel, K., & Modgil, S. (2024). A Nonmonotonic Proof Theory for Dialectical Argumentation Under Bounded Resources. In Computational Models of Argument: Proceedings of COMMA 2024 (pp. 301–312). IOS Press. https://doi.org/10.3233/FAIA240330
  Download: Artikel (335 KB)
• Towards Deontic Explanations Through Dialoque / van Berkel, K., & Straßer, C. (2024). Towards Deontic Explanations Through Dialoque. In Proceedings of the 2nd International Workshop on Argumentation for eXplainable AI (pp. 29–40). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/202378
• Deontic Reasoning Based on Inconsistency Measures / Arieli, O., van Berkel, K., Raddaoui, B., & Straßer, C. (2024). Deontic Reasoning Based on Inconsistency Measures. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (pp. 71–81). IJCAI Organization. https://doi.org/10.24963/kr.2024/7
  Project: LoDEx (2024–2026)
• Towards an Argumentative Unification of Default Reasoning / van Berkel, K., Straßer, C., & Zhou, Z. (2024). Towards an Argumentative Unification of Default Reasoning. In C. Reed, M. Thimm, & T. Rienstra (Eds.), Computational Models of Argument : Proceedings of COMMA 2024 (pp. 313–324). IOS Press. https://doi.org/10.3233/FAIA240331
  Download: Artikel (290 KB)

2023

• Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again / van Berkel, K., Ciabattoni, A., Freschi, E., Gulisano, F., & Olszewski, M. (2023). Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again. Journal of Logic, Language and Information, 32, 19–62. https://doi.org/10.1007/s10849-022-09375-w
  Download: PDF (712 KB)
  Project: RTD-Indian (2017–2022)
• A logical analysis of normative reasoning: Agency, action, and argumentation / Van Berkel, C. L. J. (2023). A logical analysis of normative reasoning: Agency, action, and argumentation [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.111854
  Download: PDF (3.93 MB)

2022

• Reasoning With and About Norms in Logical Argumentation / van Berkel, K., & Straßer, C. (2022). Reasoning With and About Norms in Logical Argumentation. In Computational Models of Argument. Proceedings of COMMA 2022 (pp. 332–343). IOS Press. https://doi.org/10.3233/FAIA220164
  Download: PDF (291 KB)
  Project: RTD-Indian (2017–2022)
• Search for heavy resonances decaying to ZZ or ZW and axion-like particles mediating nonresonant ZZ or ZH production at √s = 13 TeV / Tumasyan, A., Adam, W., Andrejkovic, J. W., Bergauer, T., Chatterjee, S., Damanakis, K., Dragicevic, M., Escalante Del Valle, A., Frühwirth, R., Jeitler, M., Krammer, N., Lechner, L., Liko, D., Mikulec, I., Paulitsch, P., Pitters, F. M., Schieck, J., Schöfbeck, R., Schwarz, D., … The CMS collaboration. (2022). Search for heavy resonances decaying to ZZ or ZW and axion-like particles mediating nonresonant ZZ or ZH production at √s = 13 TeV. Journal of High Energy Physics, 2022(4), Article 87. https://doi.org/10.1007/JHEP04(2022)087
• Deontic Explanations by means of Formal Argumentation / van Berkel, K. (2022, March 31). Deontic Explanations by means of Formal Argumentation [Conference Presentation]. The ACLC-ILLC Workshop on Argumentation, Amsterdam, Netherlands (the). http://hdl.handle.net/20.500.12708/135855
• Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation / Arieli, O., van Berkel, K., & Straßer, C. (2022). Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation. In L. D. Raedt (Ed.), Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22) (pp. 2532–2538). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2022/351
  Download: PDF (293 KB)

2021

• What is the (potential) role of proof theory for normative reasoning? / van Berkel, K. (2021). What is the (potential) role of proof theory for normative reasoning? AuReLeE kick-off workshop, Automated Reasoning with Legal Entities (AuReLeE), ICR University of Luxembourg (virtual), Luxembourg. http://hdl.handle.net/20.500.12708/87238
• Using formal argumentation to clarify structures of legal reasoning / van Berkel, K., & Sartor, G. (2021). Using formal argumentation to clarify structures of legal reasoning. 26th European Conference on South Asian Studies (ECSAS), University of Vienna, virtuel, Austria. http://hdl.handle.net/20.500.12708/87240
• What is the (potential) role of proof theory for normative reasoning? / van Berkel, K. (2021). What is the (potential) role of proof theory for normative reasoning? TICAMORE 7th meeting, Wien, Austria. http://hdl.handle.net/20.500.12708/87239
• If You Want to Smoke, Don't Buy Cigarettes: Near Anankastics, Contexts, and Hyper Modality / van Berkel, K., & Gabbay, D. M. (2021). If You Want to Smoke, Don’t Buy Cigarettes: Near Anankastics, Contexts, and Hyper Modality. In Proceedings of DEON2020/21 (pp. 36–55). http://hdl.handle.net/20.500.12708/58510
• The Gentle Murder Paradox in Sanskrit Philosophy / Ciabattoni, A., van Berkel, K., Freschi, E., Gulisano, F., & Olszewski, M. (2021). The Gentle Murder Paradox in Sanskrit Philosophy. In Proceedings of DEON2020/21 (pp. 17–35). http://hdl.handle.net/20.500.12708/55623
• The Varieties of Ought-Implies-Can and Deontic STIT Logic / van Berkel, K., & Lyon, T. (2021). The Varieties of Ought-Implies-Can and Deontic STIT Logic. In Proceedings of DEON2020/21 (pp. 55–76). http://hdl.handle.net/20.500.12708/55616

2019

• Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. / van Berkel, K., & Ciabattoni, A. (2019). Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. In Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science (pp. 355–369). http://hdl.handle.net/20.500.12708/57935
• A Neutral Temporal Deontic STIT Logic / van Berkel, K., & Lyon, T. (2019). A Neutral Temporal Deontic STIT Logic. In Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science, (pp. 340–354). http://hdl.handle.net/20.500.12708/57934
• Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics / Lyon, T., & van Berkel, K. (2019). Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. In PRIMA 2019: Principles and Practice of Multi-Agent Systems (pp. 202–218). https://doi.org/10.1007/978-3-030-33792-6_13
• Cut-Free Calculi and Relational Semantics for Temporal STIT Logics / van Berkel, K., & Lyon, T. (2019). Cut-Free Calculi and Relational Semantics for Temporal STIT Logics. In Logics in Artificial Intelligence (pp. 803–819). Springer. https://doi.org/10.1007/978-3-030-19570-0_52
• Evaluating Networks of Structured Arguments with Support and a Case Study in Mimamsa Dialectics. / van Berkel, K. (2019). Evaluating Networks of Structured Arguments with Support and a Case Study in Mimamsa Dialectics. Workshop on Logic & Argumentation, Wien, TU, Austria. http://hdl.handle.net/20.500.12708/86963
• Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics / van Berkel, K. (2019). Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. Fifth TICAMORE MEETING, Wien, Austria. http://hdl.handle.net/20.500.12708/86964

2018

• Notions of Instrumentality in Agency Logic / van Berkel, K., & Pascucci, M. (2018). Notions of Instrumentality in Agency Logic. In T. M. Miller (Ed.), PRIMA 2018: Principles and Practice of Multi-Agent Systems (pp. 403–419). Springer. https://doi.org/10.1007/978-3-030-03098-8_25
• Deontic Reasoning: From Ancient Texts to Artificial Intelligence. Workshop report / Ciabattoni, A., Lellmann, B., & van Berkel, K. (2018). Deontic Reasoning: From Ancient Texts to Artificial Intelligence. Workshop report. ACM SIGLOG News, 5(4), 48–51. https://doi.org/10.1145/3292048.3292054
• Cut-free Calculi and Relational Semantics for temporal STIT logics / van Berkel, K. (2018). Cut-free Calculi and Relational Semantics for temporal STIT logics. FISP Workshop (3rd FISP Meeting), Vienna, Austria. http://hdl.handle.net/20.500.12708/86803