“…More recently, Strass (2013) showed that AFT can also be used to characterize the major semantics of Dung's argumentation frameworks (Dung, 1995) and abstract dialectical frameworks (Brewka and Woltran, 2010). Other recent applications of AFT include: defining extensions of logic programming (Antic et al, 2013), defining new logics (Bogaerts et al, 2014), integrating different formalisms (Bi et al, 2014), studying complexity (Strass and Wallner, 2014), and studying modularity and predicate introduction in a uniform way (Vennekens et al, 2006(Vennekens et al, , 2007a.…”