Kees van Berkel

31 papers A* 3B 3C 4Journal 10Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
A dialectical formalisation of preferred subtheories reasoning under resource bounds.
Int. J. Approx. Reason.
Kees van Berkel, Marcello D'Agostino, Sanjay Modgil
2025 — ed.
Deontic Logic and Normative Systems - 17th International Conference, DEON 2025, Vienna, Austria, July 1-3, 2025
DEON
Kees van Berkel, Agata Ciabattoni, John F. Horty
2025 — conf
Hypothesis-Driven Disjunctive Reasoning in Logical Argumentation.
LORI
Zheng Zhou, Christian Straßer, Kees van Berkel
2025 — conf
Reasoning With and About Normative Conflicts.
DEON
Kees van Berkel, Christian Straßer
2024 C conf
A Nonmonotonic Proof Theory for Dialectical Argumentation Under Bounded Resources.
COMMA
Kees van Berkel, Sanjay Modgil
2024 A* conf
Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation.
AAAI
Ofer Arieli, Kees van Berkel, Christian Straßer
2024 A* conf
Deontic Reasoning Based on Inconsistency Measures.
KR
Ofer Arieli, Kees van Berkel, Badran Raddaoui, Christian Straßer
2024 J jnl
Proof Theory and Decision Procedures for Deontic STIT Logics.
CoRR
Tim S. Lyon, Kees van Berkel
2024 J jnl
Proof Theory and Decision Procedures for Deontic STIT Logics.
J. Artif. Intell. Res.
Tim S. Lyon, Kees van Berkel
2024 — conf
Towards Deontic Explanations Through Dialogue.
ArgXAI
Kees van Berkel, Christian Straßer
2024 C conf
Towards an Argumentative Unification of Default Reasoning.
COMMA
Kees van Berkel, Christian Straßer, Zheng Zhou
2023 J jnl
A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations.
J. Philos. Log.
Kees van Berkel, Tim S. Lyon, Matteo Pascucci
2023 — conf
A Tutorial in Proof-Theoretic Approaches to Logical Argumentation.
RW
Kees van Berkel, Christian Straßer
2023 C conf
Arguing About Choosing a Normative System: Conflict of Laws.
JURIX
Kees van Berkel, Réka Markovich, Christian Straßer, Leendert van der Torre
2023 J jnl
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again.
J. Log. Lang. Inf.
Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Francesca Gulisano, Maya Olszewski
2022 J jnl
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations.
CoRR
Kees van Berkel, Tim S. Lyon, Matteo Pascucci
2022 A* conf
Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation.
IJCAI
Ofer Arieli, Kees van Berkel, Christian Straßer
2022 C conf
Reasoning With and About Norms in Logical Argumentation.
COMMA
Kees van Berkel, Christian Straßer
2021 — conf
If You Want to Smoke, Don't Buy Cigarettes: Near-Anankastics, Contexts, and Hyper Modality.
DEON
Kees van Berkel, Dov M. Gabbay, Leendert van der Torre
2021 — conf
The Gentle Murder Paradox in Sanskrit Philosophy.
DEON
Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Francesca Gulisano, Maya Olszewski
2021 — conf
The Varieties of Ought-Implies-Can and Deontic STIT Logic.
DEON
Kees van Berkel, Tim S. Lyon
2020 — conf
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms.
CLAR
Kees van Berkel, Tim S. Lyon, Francesco Olivieri
2019 — conf
A Neutral Temporal Deontic STIT Logic.
LORI
Kees van Berkel, Tim S. Lyon
2019 J jnl
A Neutral Temporal Deontic STIT Logic.
CoRR
Kees van Berkel, Tim S. Lyon
2019 J jnl
Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics.
CoRR
Kees van Berkel, Tim S. Lyon
2019 B conf
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.
PRIMA
Tim S. Lyon, Kees van Berkel
2019 J jnl
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.
CoRR
Tim S. Lyon, Kees van Berkel
2019 B conf
Cut-Free Calculi and Relational Semantics for Temporal STIT Logics.
JELIA
Kees van Berkel, Tim S. Lyon
2019 J jnl
Cut-free Calculi and Relational Semantics for Temporal STIT Logics.
CoRR
Kees van Berkel, Tim S. Lyon
2019 — conf
Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics.
LORI
Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Sanjay Modgil
2018 B conf
Notions of Instrumentality in Agency Logic.
PRIMA
Kees van Berkel, Matteo Pascucci