Grounded Semantics (ADF)

The grounded model of an ADF DD is the ≤i\leq_i-least fixed point of the characteristic operator ΓD\Gamma_D.

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.

Referenced by