3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2021
Towards a Formalisation of Justification and Justifiability
Willem Hagemann
We introduce the logic QKSD which is a normal multi-modal logic over finitely many modalities that additionally supports bounded quantification of modalities. An important feature…
cs.MA2019★ 3 cited
Dynamic Conflict Resolution Using Justification Based Reasoning
Werner Damm, Martin Fränzle, Willem Hagemann +2
We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their l…
cs.MA2019
Justification Based Reasoning in Dynamic Conflict Resolution
Werner Damm, Martin Fränzle, Willem Hagemann +2
We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their l…