1 paper
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…