Cornelis Lambertus Johannes Van Berkel
Assistant Prof. Dr.techn. / MSc
Role
-
Assistant Professor
Theory and Logic, E192-05
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 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
- 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
- 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
- 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
- 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
- Notions of Instrumentality in Agency Logic / van Berkel, K., & Pascucci, M. (2018). Notions of Instrumentality in Agency Logic. In T. M. Miller (Ed.), Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-03098-8