Abstract argumentation is an important research area in AI. It is mainly about the
acceptability of arguments in an argumentation framework. The classical notion of defense …

An autonomous system is constructed by a manufacturer, operates in a society subject to
norms and laws, and interacts with end users. All of these actors are stakeholders affected …

We formulate discussion graph semantics of first-order logic with equality for reasoning
about discussion and argumentation as naturally as we would reason about sentences …

We introduce argumentation tuple relational calculus, adapting tuple relational calculus for
acceptability semantics, and derive relational acceptability semantics of abstract …

Distributed argumentation technology is a computational approach incorporating
argumentation reasoning mechanisms within multi-agent systems. For the formal …

Liuwen Yu, Leendert van der Torre, and Réka Markovich abstract. In this chapter, we
present thirteen challenges in formal and computational argumentation. They are organized …