A General QBF-based Formalization of abstract Argumentation Theory

Ofer Arieli, Martin W. A. Caminada. A General QBF-based Formalization of abstract Argumentation Theory. In Bart Verheij, Stefan Szeider, Stefan Woltran, editors, Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012. Volume 245 of Frontiers in Artificial Intelligence and Applications, pages 105-116, IOS Press, 2012. [doi]

Authors

Ofer Arieli

This author has not been identified. Look up 'Ofer Arieli' in Google

Martin W. A. Caminada

This author has not been identified. Look up 'Martin W. A. Caminada' in Google