Semi-Two-Valued Semantics (ADF)

A three-valued interpretation $v$ of an ADF is a semi-two-valued model iff $v$ is complete and $v^{-1}(\mathsf{u})$ is $\subseteq$ -minimal among all $w^{-1}(\mathsf{u})$ such that $w$ is a complete model.

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.

Referenced by

Semi-Stable Semantics (ADF)