Strict Unattack Inclusion

A semantics σ\sigma satisfies Strict Unattack Inclusion iff {a}∈σ(F)\{a\} \in \sigma(F) for every unattacked argument aa, and ∅∈σ(F)\emptyset \in \sigma(F).

Reference

Baumann, R., Brewka, G. & Ulbricht, M. (2020). Comparing Weak Admissibility Semantics to their Dung-style Counterparts – Reduct, Modularization, and Strong Equivalence in Abstract Argumentation. In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), pp. 79–88. ijcai.org.