Kees van Berkel - Researcher in AI and Philosophy
News:
May 6, 2024 - Panel member: CAIML Symposium 2024. The 3rd CAIML Symposium will bring together leading experts and enthusiasts in the field of AI.
March 2024 - Started an Assistant Professor position AI Ethics at the Institute for Logic and Computation, TU Wien.
February 2024 - The paper "Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation" was published at AAAI24, the 38th Annual AAAI Conference on Artificial Intelligence. Joint work with Ofer Arieli and Christian Strasser.
Old news:
December 2023 - Talk at JURIX23 on "Arguing About Choosing a Normative System: Conflict of Laws." Joint work with Réka Markovich, Christian Strasser, and Leon van der Torre.
October 2023 - Talk "Towards Deontic Explanations in Formal Argumentation" at the NOREA workshop on normative reasoning at KU Leuven. Joint work with Christian Strasser.
September 2023 - Christian Strasser and I will be giving a course on ``Proof-Theoretic Approaches in Logical Argumentation'' at the Reasoning web Summer school, Oslo 21 - 24 September.
September 2023 - Christian Strasser and I will be giving the master course ``Introduction to Deontic Logic: challenges, paradoxes, and formal systems" at Ruhr Universität Bochum.
March 2023 - I will be giving the master course "Reasoning about Agency and Action in Logic" at Ruhr Universität Bochum.
December 1, 2022 - Started a new post-doctoral position at Ruhr Universität Bochum in the group "Reasoning, Rationality, and Science" led by Dunja Šešelja and Christian Strasser.
About me:
I am an Assistant Professor of AI ethics at the Institute of Logic and Computation, TU Wien. My core research interests are in AI Ethics and logical and formal argumentative perspectives on normative reasoning. It includes the study of norm explanations in AI, the logical analysis of meta-ethical principles, proof theory for defeasible normative reasoning, and argumentative characterizations of nonmonotonic deontic logics.
Academic biography:
> 2024. Assistant Professor in AI Ethics at the Institute for Logic and Computation, TU Wien, Austria (tenure track).
> 2024. Affiliate of the project "Logical methods for Deontic Explanations (LoDEx)", which is a collaboration between Ruhr Universität Bochum (C. Strasser), TU Wien (A. Ciabattoni), and the University of Luxembourg (L. van der Torre).
2022 - 2023. Postdoctoral researcher (wiss. Mitarbeiter) in the group "Reasoning, Rationality, and Science" led by Dunja Šešelja and Christian Strasser, at the Institute for Philosophy II, Fakultat fur Philosophie und Erziehungswissenschaft, Ruhr University Bochum, Germany.
2022. Research Assistantship at School of Computer Science, The Academic College of Tel-Aviv-Yaffo. Working with Ofer Arieli.
> 2022. Research affiliate of the LANCAR group (Language and Cognition in Argumentation) at the University of Amsterdam.
2018 - 2022. PhD in Computer Science (Technischen Wissenschaften) at the doctoral college on `Logical Methods in Computer Science' (0.75 fte). Advisors: Agata Ciabattoni and Stefan Woltran. Institute for Logic and Computation, TU Wien, Austria.
Thesis: A Logical Analysis of Normative Reasoning: Agency, Action, and Argumentation.
2018 - 2022. Project assistant in the interdisciplinary project `Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts' led by Agata Ciabattoni, funded by WWTF (0.25 fte). Institute for Logic and Computation, TU Wien, Austria.
2017 Research assistant for Kim Knibbe at University of Groningen, the Netherlands (Topics: care ethics, feminist metaphysics, phenomenology of pregnancy).
2012 - 2015 Master of Science in Logic, track: Logic & Philosophy. Institute for Language Logic and Computation (ILLC), University of Amsterdam, the Netherlands.
2010 - 2012 Bachelor of Arts in Philosophy. Faculty of Humanities, University of Amsterdam, the Netherlands.
2009 - 2010 Propaedeutic in Business Economics. Tilburg University, the Netherlands.
Publications:
2024
Arieli, O., van Berkel, K., and Strasser, C.: Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation. In: Proceedings of AAAI24, the 38th Annual AAAI Conference on Artificial Intelligence.
2023
van Berkel, K., Markovich, R., Strasser, C., and van der Torre, L.: Arguing About Choosing a Normative System: Conflict of Laws. In: Legal Knowledge and Information Systems (proceedings of JURIX23), pp.73-82
van Berkel, K., Lyon, T., Pascucci, M.: A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations. In: Journal of Philosophical Logic.
van Berkel, K., Wagemans, J.: Practical Reasoning and Practical Argumentation: A Stakeholder Commitment Approach. In: TOPOI, An International Review of Philosophy.
van Berkel, K., Ciabattoni, A., Freschi, E., Gulisano, F., Olszewski, M.: Deontic paradoxes in Mmam. sa logics: there and back again. In: Journal of Logic, Language and Information. Vol. 32, March issue, pp.19–62
van Berkel, K.: A Logical Analysis of Normative Reasoning: Agency, Action, and Argumentation. PhD Dissertation, TU Wien. Supervision: Agata Ciabattoni and Stefan Woltran (co).
2022
van Berkel, K., Strasser, C: Reasoning With and About Norms in Logical Argumentation. In: COMMA 2022, 9th International Conference on Computational Models of Argument.
Arieli, O., van Berkel, K., Strasser, C.: Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation. In: 31st International Joint Conference on Articial Intelligence (IJCAI22).
van Berkel, K.: Kant's Logic: Letting go of a Historical Assumption. In: Stenning, K., Stokhof, M. (eds), Rules, Regularities, Randomness. Festschrift for Michiel van Lambalgen. pp.35-55
2021
van Berkel, K., Ciabattoni, A., Freschi, E., Gulisano, F., Olszewski, M.: The Gentle Murder Paradox in Sanskrit Philosophy. In: Liu, F., Marra, A., Portner, P., Van De Putte, F. (eds), Deontic Logic and Normative Systems: 15th International Conference (DEON21). College Publications, London
van Berkel, K., Gabbay, D., van der Torre, L.: If you want to smoke, don't buy cigarettes: Near-Anankastics, Contexts, and Hyper Modality. In: Liu, F., Marra, A., Portner, P., Van De Putte, F. (eds), Deontic Logic and Normative Systems: 15th International Conference (DEON21). College Publications, London
2020
van Berkel, K., Lyon, T.: The Varieties of Ought-implies-Can and Deontic STIT Logic. In: Liu, F., Marra, A., Portner, P., Van De Putte, F. (eds), Deontic Logic and Normative Systems: 15th International Conference (DEON21). College Publications, London
van Berkel K., Lyon T., Olivieri F.: A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms. In: Dastani M., Dong H., van der Torre L. (eds), Logic and Argumentation. CLAR 2020. Lecture Notes in Computer Science, vol 12061. Springer, Cham
2019
Lyon T., van Berkel K.: Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. In: Baldoni M., Dastani M., Liao B., Sakurai Y., Zalila Wenkstern R. (eds), International Conference on Principles and Practice of Multi-Agent Systems (PRIMA19). LNAI vol 11873. Springer, Cham
van Berkel K., Lyon T.: A Neutral Temporal Deontic STIT Logic. In: Blackburn P., Lorini E., Guo, M. (eds), Logic, Rationality, and Interaction. LORI 2019. LNAI vol 11813. Springer, Berlin, Heidelberg
van Berkel, K., Ciabattoni, A., Freschi, E., Modgil, S.: Evaluating Networks of Arguments: A Case Study in Mmam. sa Dialectics. In: Blackburn P., Lorini E., Guo, M. (eds), Logic, Rationality, and Interaction. LORI 2019. LNAI vol 11813. Springer, Berlin, Heidelberg
van Berkel, K., Lyon, T.: Cut-free Calculi and Relational Semantics for Temporal STIT Logics. In: Calimeri F., Leone N., Manna M. (eds), European Conference on Logics in Articial Intelligence (JELIA19). LNAI vol 11468. Springer, Cham
2018
van Berkel, K., Pascucci, M.: Notions of Instrumentality in Agency Logic. In: Miller, T., Oren, N., Sakurai, Y., Noda, I., Savarimuthu, B., Son, T.C. (eds) International Conference on Principles and Practice of Multi-Agent Systems (PRIMA18). LNAI vol 11224. Springer, Cham
Ciabattoni, A. Lellmann, B. van Berkel, K.: Deontic reasoning: from ancient texts to articial intelligence. Workshop report. In: ACM SIGLOG News 5(4), pp.48-51
2017
van Berkel, K.: De Kantiaanse Stemwijzer (transl. The Kantian Voting Guide) In: deFusie, Amsterdam (Online philosophy magazine) (March 10, 2017)
2015
van Berkel, K.: Kant's Logic in the Critique of Practical Reason - A Logical Formalization of Kant's Practical Transcendental Argument. In: ILLC Publications, Master of Logic: Thesis (MoL) Series
Academic Service:
2024
Program Committee Memver of KR24, 21st International Conference on Knowledge Representation and Reasoning.
2023
Program Committee Member of AAAI24, The 38th Annual AAAI Conference on Artificial Intelligence.
Program Committee Member of ArgXAI-23, the 2nd International Workshop on Argumentation for eXplainable AI. (Cancelled eventually.)
Program Committee Member of DEON23, the 16th International Conference on Deontic Logic and Normative Systems.
2022
Program Committee Member of AAAI23, the Thirty-Seventh AAAI Conference on Articial Intelligence.
2020
Author/designer of the social science puzzle `Bee Puzzzled' for the 2020 Vienna Ball of Sciences, as representative of the Vienna Center for Logic and Algorithms (VCLA), TU Wien. The ball was held on January 25, 2020. (Magazine articles on the puzzle: Ball of Sciences magazine article (p.25) and VCLA article.)
2019
PhD student representative of the doctoral college on `Logical Methods in Computer Science' run jointly by TU Wien, TU Graz and JKU Linz (the school has around 40 PhD students).
2018
Seminar organiser of the doctoral college on `Logical Methods in Computer Science' at TU Wien, Austria.
Organising committee member of the workshop: Deontic Reasoning: From Ancient Texts to Articial Intelligence 2018 at TU Wien, Austria.
Reviewing activities:
Journal of Logic and Computation
International Journal of Approximate Reasoning
Computation & Foundations of Science Journal
Also: LORI2023, DEON23, AAAI23, AAAI24, CLAR2020, KR2022.
Teaching:
SS2024 (upcoming)
Bachelor course `Scientific Research and Writing' (`Wissenschaftliches Arbeiten') at TU Wien, together with Agata Ciabattoni and Chris Fermüller.
WS2023/2024
Bachelor and Master course `Introduction to deontic logic: challenges, paradoxes, and formal systems' (in English) at the Fakultät für Philosophie und Erziehungswissenschaft, Ruhr Universität Bochum, Germany
Christian Strasser and I gave a course on ``Proof-Theoretic Approaches in Logical Argumentation'' at the Reasoning web Summer school, Oslo, 21 - 24 September.
SS2023
Bachelor and Master course `Reasoning about action and agency in logic' (in English) at the Fakultät für Philosophie und Erziehungswissenschaft, Ruhr Universität Bochum, Germany
Bachelor course "Übung Seminar zur Vorlesung: Grundzuge der Logik: Logik I" (in English) at the Fakultät für Philosophie und Erziehungswissenschaft, Ruhr Universitat Bochum, Germany
SS2017
Bachelor course `Research Skills in Philosophy' (in Dutch) at the Faculty of Humanities, University of Amsterdam, the Netherlands. Topic: Transcendental argumentation in contemporary philosophy.
Publicity:
News article (interview) in Mein Bezirk (Viennese newspaper) by Katharina Kropshofer. Title: Pure Logik. Computer als Entscheidungshelfer: Kees van Berkel versucht Computersystemen logisches Denken beizubringen. In print January 10, 2020.