van Berkel, Kees

3 publications

AAAI 2024 Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation Ofer Arieli, Kees van Berkel, Christian Straßer

JAIR 2024 Proof Theory and Decision Procedures for Deontic STIT Logics Tim S. Lyon, Kees van Berkel

IJCAI 2022 Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation Ofer Arieli, Kees van Berkel, Christian Straßer