Kees van Berkel

According to our database, Kees van Berkel authored at least 18 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Proof Theory and Decision Procedures for Deontic STIT Logics.

Tim S. Lyon, Kees van Berkel

CoRR, 2024

Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation.

Ofer Arieli, Kees van Berkel, Christian Straßer

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations.

Kees van Berkel, Tim S. Lyon, Matteo Pascucci

J. Philos. Log., October, 2023

Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again.

Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Francesca Gulisano, Maya Olszewski

J. Log. Lang. Inf., March, 2023

Arguing About Choosing a Normative System: Conflict of Laws.

Kees van Berkel, Réka Markovich, Christian Straßer, Leendert van der Torre

Proceedings of the Legal Knowledge and Information Systems, 2023

2022

Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation.

Ofer Arieli, Kees van Berkel, Christian Straßer

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Reasoning With and About Norms in Logical Argumentation.

Kees van Berkel, Christian Straßer

Proceedings of the Computational Models of Argument, 2022

2021

The Varieties of Ought-Implies-Can and Deontic STIT Logic.

Kees van Berkel, Tim Lyon

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

If You Want to Smoke, Don't Buy Cigarettes: Near-Anankastics, Contexts, and Hyper Modality.

Kees van Berkel, Dov M. Gabbay, Leendert van der Torre

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

The Gentle Murder Paradox in Sanskrit Philosophy.

Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Francesca Gulisano, Maya Olszewski

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2020

A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms.

Kees van Berkel, Tim Lyon, Francesco Olivieri

Proceedings of the Logic and Argumentation - Third International Conference, 2020

2019

Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics.

Kees van Berkel, Tim Lyon

CoRR, 2019

Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.

Tim Lyon, Kees van Berkel

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

A Neutral Temporal Deontic STIT Logic.

Kees van Berkel, Tim Lyon

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics.

Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Sanjay Modgil

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Cut-Free Calculi and Relational Semantics for Temporal STIT Logics.

Kees van Berkel, Tim Lyon

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

<i>Deontic reasoning: from ancient texts to artificial intelligence.</i>: workshop report.

Agata Ciabattoni, Björn Lellmann, Kees van Berkel

ACM SIGLOG News, 2018

Notions of Instrumentality in Agency Logic.

Kees van Berkel, Matteo Pascucci

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018