A formal model of persuasion dialogs for interactions among argumentative software agents | Publicación