Non-empty Existence Existsσ¬∅\textsc{Exists}^{\neg\emptyset}_\sigma

Given an AF FF, decide whether FF has a σ\sigma-extension other than ∅\emptyset.

Reference

Dvořák, W. & Dunne, P.E. (2018). Computational Problems in Formal Argumentation and their Complexity. In: Baroni, P., Gabbay, D., Giacomin, M. & van der Torre, L. (eds.), Handbook of Formal Argumentation, Vol. 1, Chapter 13, pp. 631–688. College Publications.