Schroeder, MichaelMóra, IaraAlferes, José Julio2019-02-122019-02-1219973540635866978354063586403029743PURE: 1110904PURE UUID: e346e9bb-d5ac-40ba-a4ff-f645f5577d1fScopus: 84948977638ORCID: /0000-0001-5520-4623/work/54189813http://www.scopus.com/inward/record.url?scp=84948977638&partnerID=8YFLogxKACROPOLE PBIC/TIT/2519/95Argumentation semantics in extended logic programming has been defined in [5,121 for a single agent which determines its believes by an internal argumentation process. In this paper we extend the initial argumentation framework to a multi-agent setting including both argumentation and cooperation. We define inference for multi-agent systems and define an algorithm for inference. We sketch an argumentation protocol and line out by an example how it is implemented using vivid agents [15,13].12418450engArgumentationLogic ProgrammingMulti-Agent SystemsSemanticsArtificial intelligenceInference enginesMulti-agent settingGeneral Computer ScienceTheoretical Computer ScienceVivid agents arguing about distributed extended logic programsconference object10.1007/BFb0023924https://www.scopus.com/pages/publications/84948977638