Admissible Termination Function

The termination function $\beta_{\mathsf{ad}}$ is defined by $\beta_{\mathsf{ad}}(F,E) = 1$ for every state $(F,E)$ .

Reference

Thimm, M. (2022). Revisiting Initial Sets in Abstract Argumentation. Argument & Computation, 13(3), pp. 325–360.