Kees van Berkel
Assistant Prof. Dr.techn. / MSc
Research Focus
- Logic and Computation: 100%
Research Areas
- Philosophical Logic, Computational Logic, Knowledge Representation, Proof Theory, AI Ethics, Formal Normative Systems
About
Kees van Berkel is an Assistant Professor of AI ethics at the Institute of Logic and Computation, TU Wien. His core research interests are in logical and formal argumentative perspectives on normative reasoning, explainability, and AI ethics.
Role
-
Assistant Professor
Theory and Logic, E192-05
Courses
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
Publications
-
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) -
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., … Aldá Júnior, W. L. (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) - 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
- 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
- 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