Computational models of argument proceedings of COMMA 2012 / - Verheij, Bart.; Szeider, Stefan.; Woltran, Stefan. (IOS Press,)