Semi-Stable Semantics (ADF)

A semi-two-valued model $v$ of an ADF $D$ is a semi-stable model iff $v^{-1}(\mathsf{t}) = w^{-1}(\mathsf{t})$ , where $w$ is the grounded model of the sub-reduct $D^v$ .

Reference

Keshavarzi Zafarghandi, A., Verbrugge, R. & Verheij, B. (2021). Semi-Stable Semantics for Abstract Dialectical Frameworks. In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), pp. 422–431. ijcai.org.