On the Formalization of an Argumentation System for Software Agents | Publicación