5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2021★ 5 cited
Dynamic Logic of Legal Competences
Huimin Dong, Olivier Roy
We propose a new formalization of legal competences, and in particular for the Hohfeldian categories of power and immunity, through a deontic reinterpretation of dynamic epistemic…
cs.AI2021
Towards AI Logic for Social Reasoning
Huimin Dong, Réka Markovich, Leendert van der Torre
Artificial Intelligence (AI) logic formalizes the reasoning of intelligent agents. In this paper, we discuss how an argumentation-based AI logic could be used also to formalize imp…