Credulous Acceptance Credσ\textsc{Cred}_\sigma

Given an AF FF and an argument aa, decide whether aa is credulously accepted, i.e. contained in some σ\sigma-extension of FF.

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.

Referenced by