Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation

It is proved that Carneades always induces a unique Dung extension, which is the same in all of Dung's semantics, allowing us to generalise Carneades to cycle-containing structures.