Computational Argumentation: Reasoning, Dynamics, and Supporting Explainability | Synapse