Attack (ABA)

A set $S \subseteq \mathcal{A}$ attacks a set $T \subseteq \mathcal{A}$ iff there are $S' \subseteq S$ and $a \in T$ such that $S' \vdash \overline{a}$ for the contrary $\overline{a}$ of $a$ .

Reference

Čyras, K., Fan, X., Schulz, C. & Toni, F. (2018). Assumption-Based Argumentation: Disputes, Explanations, Preferences. In: Baroni, P., Gabbay, D., Giacomin, M. & van der Torre, L. (eds.), Handbook of Formal Argumentation, Vol. 1, Chapter 7, pp. 365–408. College Publications.

Referenced by

Admissibility (ABA)
Conflict-Freeness (ABA)
Contrary
Defence (ABA)
Stable Semantics (ABA)