Abstract
We propose a formal model for argumentationbased dialogues between agents, using assumptionbased argumentation (ABA). The model is given in terms of ABA-speci?c utterances, trees drawn from dialogues and legal-move and outcome functions. We prove a formal connection between these dialogues and argumentation semantics. We illustrate persuasion as an application of the dialogue model.