Kees van Berkel — accepted AI-conference papers

2024

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

Ofer Arieli, Kees van Berkel, Christian Straßer

AAAI 2024technical

We present a novel computational approach to resolving conflicts among norms by nonmonotonic normative reasoning (in constrained I/O logics). Our approach extends standard sequent-based proof systems and makes them more adequate to nonmonotonic reasoning by adding to the sequents annotations that ke…

Cited by 6 Source ↗PDF ↗Scholar ↗

2022

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

Ofer Arieli, Kees van Berkel, Christian Straßer

IJCAI 2022poster

We introduce annotated sequent calculi, which are extensions of standard sequent calculi, where sequents are combined with annotations that represent their derivation statuses. Unlike in ordinary calculi, sequents that are derived in annotated calculi may still be retracted in the presence of confli…

Cited by 4 Source ↗PDF ↗Scholar ↗