Stable Semantics (ADF)

A two-valued interpretation $v$ of an ADF $D$ is a stable model iff $v$ is a two-valued model of $D$ and $v^{-1}(\mathsf{t}) = w^{-1}(\mathsf{t})$ , where $w$ is the grounded model of the reduced ADF $D_{\downarrow v}$ .

Reference

Brewka, G., Ellmauthaler, S., Strass, H., Wallner, J.P. & Woltran, S. (2013). Abstract Dialectical Frameworks Revisited. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), pp. 803–809. AAAI Press.