This article reviews formal systems that regulate persuasion dialogues. In such dialogues
two or more participants aim to resolve a difference of opinion, each trying to persuade the …

Over the last ten years, argumentation has come to be increasingly central as a core study
within Artificial Intelligence (AI). The articles forming this volume reflect a variety of important …

A deductive argument is a pair where the first item is a set of premises, the second item is a
claim, and the premises entail the claim. This can be formalised by assuming a logical …

We present a formal, mathematical model of argument structure and evaluation, taking
seriously the procedural and dialogical aspects of argumentation. The model applies proof …

This article carries out a formal study of dialogue games for argumentation. A formal
framework for such games is proposed which imposes an explicit reply structure on …

One of the most widely studied systems of argumentation is the one described by Dung in a
paper from 1995. Unfortunately, this framework does not allow for joint attacks on …

Federico Cerutti, Sarah A. Gaggl, Matthias Thimm, Johannes P. Wallner abstract. We survey
the current state of the art of general techniques, as well as specific software systems for …

In this paper we investigate the use of classical logic as a basis for instantiating abstract
argumentation frameworks. In the first part, we propose desirable properties of attack …

The majority of existing work on agent dialogues considers negotiation, persuasion or
deliberation dialogues; we focus on inquiry dialogues, which allow agents to collaborate in …

Persuasion is an activity that involves one party trying to induce another party to believe
something or to do something. It is an important and multifaceted human facility. Obviously …