Complete Semantics (ADF)
A three-valued interpretation of an ADF is a complete model iff , where is the characteristic operator.
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.