Two-Valued Model (ADF)

A two-valued interpretation $v$ of an ADF is a two-valued model iff $v(a) = v(C_a)$ for all $a \in A$ .

Reference

Brewka, G. & Woltran, S. (2010). Abstract Dialectical Frameworks. In: Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), pp. 102–111. AAAI Press.

Referenced by

Stable Semantics (ADF)