Davide Grossi. An Application of Model Checking Games to Abstract Argumentation. In Hans P. van Ditmarsch, Jérôme Lang, Shier Ju, editors, Logic, Rationality, and Interaction - Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings. Volume 6953 of Lecture Notes in Computer Science, pages 74-86, Springer, 2011. [doi]
Abstract is missing.