P
PaperPicks
Conferences
Researchers
Sponsors ♥
Kees van Berkel
4 papers at tracked venues · 1 at CORE A* · active 2024–2026
DBLP profile ↗
ORCID search ↗
Venues
KR
×3
AAAI
×1
Frequent coauthors
Ofer Arieli
×2
Christian Straßer
×2
Emery A. Neufeld
×1
Andrea Sabatini
×1
Badran Raddaoui
×1
Papers
Normative Narrator: Guiding and Explaining Reinforcement Learning Agents
BibTeX ⧉
KR 2026
·
Emery A. Neufeld
,
Kees van Berkel
Proof-Search for Normative and Doxastic Reasoning and Its Use in Logical Argumentation
BibTeX ⧉
KR 2026
·
Kees van Berkel
,
Andrea Sabatini
Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation
BibTeX ⧉
AAAI 2024
·
Ofer Arieli
,
Kees van Berkel
,
Christian Straßer
Deontic Reasoning Based on Inconsistency Measures
BibTeX ⧉
KR 2024
·
Ofer Arieli
,
Kees van Berkel
,
Badran Raddaoui
,
Christian Straßer