Vacuous Reduct Semantics

Given a base semantics σ\sigma and a reduct semantics τ\tau, a set E⊆AE \subseteq A is a στ\sigma^{\tau}-extension iff E∈σ(F)E \in \sigma(F) and the reduct FEF^E is τ\tau-vacuous, i.e. τ(FE)⊆{∅}\tau(F^E) \subseteq \{\emptyset\}.

Reference

Thimm, M. (2023). On Undisputed Sets in Abstract Argumentation. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI 2023), pp. 6550–6557. AAAI Press.

Referenced by