M. Alviano, Argumentation reasoning via circumscription with Pyglaf, Fundamenta Informaticae, vol.167, issue.1-2, 2019.

L. Amgoud and C. Cayrol, A reasoning model based on the production of acceptable arguments, Annals of Mathematics and Artificial Intelligence, vol.34, pp.197-216, 2002.

L. Amgoud, N. Maudet, and S. Parsons, Modelling dialogues using argumentation, Proc. of ICMAS, pp.31-38, 2000.

O. Arieli and M. Caminada, A general QBF-based formalization of abstract argumentation theory, Proceedings of the 4th Conference on Computational Models of Argument (COMMA'2012, vol.245, pp.105-116, 2012.

O. Arieli and M. W. Caminada, A QBF-based formalization of abstract argumentation semantics, J. Applied Logic, vol.11, issue.2, pp.229-252, 2013.

P. Baroni, M. Caminada, and M. Giacomin, An introduction to argumentation semantics, Knowledge Eng. Review, vol.26, issue.4, pp.365-410, 2011.

P. Baroni, F. Cerutti, M. Giacomin, and G. Guida, AFRA: Argumentation framework with recursive attacks, International Journal of Approximate Reasoning, vol.52, pp.19-37, 2011.

H. Barringer, D. M. Gabbay, and J. Woods, Temporal dynamics of support and attack networks: From argumentation to zoology, vol.2605, pp.59-98, 2005.

C. Beierle, F. Brons, and N. Potyka, A software system using a SAT solver for reasoning under complete, stable, preferred, and grounded argumentation semantics, KI 2015: Advances in Artificial Intelligence -38th Annual German Conference on AI, Proceedings, pp.241-248, 2015.

P. Besnard, J. Boudou, S. Doutre, D. Van-hieu-ho, and . Longin, The SESAME website

P. Besnard and S. Doutre, Checking the acceptability of a set of arguments, 10th International Workshop on Non-Monotonic Reasoning (NMR'04, pp.59-64, 2004.

P. Besnard, S. Doutre, and A. Herzig, Encoding argument graphs in logic, International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU), vol.443, pp.345-354, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01147220

P. Besnard, S. Doutre, V. H. Ho, and D. Longin, SESAME -a system for specifying semantics in abstract argumentation, International Workshop on Systems and Algorithms for Formal Argumentation (SAFA), vol.1672, pp.40-51, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01475020

P. Besnard and A. Hunter, A logic-based theory of deductive arguments, Artificial Intelligence, vol.128, issue.1-2, pp.71-77, 2001.

P. Bisquert, C. Cayrol, F. Dupin-de-saint-cyr-bannay, and M. Lagasquie-schiex, Characterizing change in abstract argumentation systems, Trends in Belief Revision and Argumentation Dynamics, vol.48, pp.75-102, 2013.
URL : https://hal.archives-ouvertes.fr/hal-02884051

S. Bistarelli, F. Santini, L. Kotthoff, T. Mantadelis, and C. Taticchi, Int. competition on computational models of argumentation, 2019.

G. Boella, D. M. Gabbay, L. Van-der-torre, and S. Villata, Proceeding of the 2010 Conference on Computational Models of Argument: Proceedings of COMMA 2010, pp.111-122, 2010.

R. Booth, S. Kaci, T. Rienstra, L. Van-der, and T. , A logical theory about dynamics in abstract argumentation, Lecture Notes in Computer Science, vol.8078, pp.148-161, 2013.
URL : https://hal.archives-ouvertes.fr/lirmm-00863487

G. Brewka, M. Diller, G. Heissenberger, T. Linsbichler, and S. Woltran, Solving advanced argumentation problems with answer-set programming, Proc. of AAAI, pp.1077-1083, 2017.

G. Brewka, S. Ellmauthaler, H. Strass, J. P. Wallner, and S. Woltran, Abstract Dialectical Frameworks. An overview, The IfCoLog Journal of Logics and Their Applications, vol.4, issue.8, pp.2263-2318, 2017.

G. Brewka, S. Ellmauthaler, H. Strass, J. P. Wallner, and S. Woltran, Abstract Dialectical Frameworks, in: Handbook of Formal Argumentation, pp.237-286, 2018.

G. Brewka and S. Woltran, The ADF project website

G. Brewka and S. Woltran, The GRAPPA project website

M. Caminada, S. Sá, J. Alcântara, and W. Dvorák, On the equivalence between logic programming semantics and argumentation semantics, Int. J. Approx. Reasoning, vol.58, pp.87-111, 2015.

M. W. Caminada and D. M. Gabbay, A logical account of formal argumentation, Studia Logica, vol.93, issue.2-3, pp.109-145, 2009.

J. L. Carballido, J. C. Nieves, and M. Osorio, Inferring preferred extensions by pstable semantics, Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, vol.13, issue.41, pp.38-53, 2009.

C. Cayrol, F. Dupin-de-saint-cyr-bannay, and M. Lagasquie-schiex, Change in abstract argumentation frameworks: Adding an argument, Journal of Artificial Intelligence Research, vol.38, pp.49-84, 2010.
URL : https://hal.archives-ouvertes.fr/hal-02875350

C. Cayrol, J. Fandinno, L. Del-cerro, and M. Lagasquie-schiex, Valid attacks in argumentation frameworks with recursive attacks, Proc. of Thirteenth International Symposium on Commonsense Reasoning, CEUR Workshop Proceedings, vol.2052, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02884131

C. Cayrol, J. Fandinno, L. Del-cerro, and M. Lagasquie-schiex, Argumentation frameworks with recursive attacks and evidence-based support, Proc. of Tenth International Symposium on Foundations of Information and Knowledge Systems (FoIKS), vol.10833, pp.150-169, 2018.

C. Cayrol, L. Del-cerro, and M. Lagasquie-schiex, Logical encodings of interactions in an argumentation graph with recursive attacks, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02884127

C. Cayrol and M. Lagasquie-schiex, Gradual valuation for bipolar argumentation frameworks, Proc. of the Eighth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, vol.3571, pp.366-377, 2005.
URL : https://hal.archives-ouvertes.fr/hal-02875474

C. Cayrol and M. Lagasquie-schiex, Bipolarity in argumentation graphs: Towards a better understanding, vol.54, pp.876-899, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01123535

C. Cayrol and M. Lagasquie-schiex, Logical encoding of argumentation frameworks with higher-order attacks, Proc. of the 30th International Conference on Tools with Artificial Intelligence (ICTAI), 2018.
URL : https://hal.archives-ouvertes.fr/hal-02181912

C. Cayrol and M. Lagasquie-schiex, Acceptability semantics in recursive argumentation frameworks: Logical encoding and computation, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02884142

C. Cayrol and M. Lagasquie-schiex, The Grafix website

F. Cerutti, P. E. Dunne, M. Giacomin, and M. Vallati, Computing preferred extensions in abstract argumentation: A SATbased approach, Theory and Applications of Formal Argumentation, vol.8306, pp.176-193, 2013.

F. Cerutti, M. Giacomin, and M. Vallati, ArgSemSAT: Solving argumentation problems using SAT, Computational Models of Argument -Proceedings of COMMA, pp.455-456, 2014.

F. Cerutti, M. Giacomin, M. Vallati, and M. Zanella, An SCC recursive meta-algorithm for computing preferred labellings in abstract argumentation, Proc. of KR, pp.42-51, 2014.

F. Cerutti, M. Vallati, and M. Giacomin, An efficient Java-based solver for abstract argumentation framework: jArgSem-SAT, Int. Journal of Articial Intelligence Tools, vol.26, issue.2, pp.1-26, 2017.

F. Cerutti, M. Vallati, M. Giacomin, and T. Zanetti, , 2017.

A. Cohen, S. Gottifredi, A. J. García, and G. R. Simari, A survey of different approaches to support in argumentation systems, The Knowledge Engineering Review, vol.29, pp.513-550, 2014.

A. Cohen, S. Gottifredi, A. J. García, and G. R. Simari, An approach to abstract argumentation with recursive attack and support, Journal of Applied Logic, vol.13, issue.4, pp.509-533, 2015.

S. Coste-marquis, C. Devred, and P. Marquis, Constrained argumentation frameworks, Proc. of KR, pp.112-122, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00121160

S. Coste-marquis, S. Konieczny, J. Mailly, and P. Marquis, On the revision of argumentation systems: Minimal change of argument statuses, International Conference on Principles of Knowledge Representation and Reasoning, pp.72-81, 2014.

S. Coste-marquis, S. Konieczny, J. Mailly, and P. Marquis, A translation-based approach for revision of argumentation frameworks, Logics in Artificial Intelligence, pp.397-411, 2014.

C. Devred, S. Doutre, C. Lefèvre, and P. Nicolas, Dialectical proofs for constrained argumentation, Computational Models of Argument -Proceedings of COMMA, pp.159-170, 2010.

M. Diller, W. Dvorak, J. Puhrer, J. Wallner, and S. Woltran, Applications of ASP in formal argumentation, Proc. of TAASP Workshop, 2018.

M. Diller, A. Haret, T. Linsbichler, S. Rümmele, and S. Woltran, An extension-based approach to belief revision in abstract argumentation, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015, pp.2926-2932, 2015.

M. Diller, J. Wallner, and S. Woltran, Reasoning in Abstract Dialectical Frameworks using quantified Boolean formulas, Argument & Computation, vol.6, issue.2, pp.149-177, 2015.

M. Diller, J. P. Wallner, and S. Woltran, Reasoning in Abstract Dialectical Frameworks using quantified Boolean formulas, Proceedings of the 5th Conference on Computational Models of Argument (COMMA'2014, vol.266, pp.241-252, 2014.

Y. Dimopoulos, J. Mailly, and P. Moraitis, Control argumentation frameworks, Proc. of AAAI, pp.4678-4685, 2018.

S. Doutre, A. Herzig, and L. Perrussel, A dynamic logic framework for abstract argumentation, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'2014, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01787378

S. Doutre and J. Mailly, Constraints and changes a survey of abstract argumentation dynamics, Argument & Computation, vol.9, issue.3, pp.223-248, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02191836

P. M. Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artif. Intell, vol.77, issue.2, pp.321-358, 1995.

F. Dupin-de-saint-cyr, P. Bisquert, C. Cayrol, and M. Lagasquie-schiex, Argumentation update in YALLA (Yet Another Logic Language for Argumentation), Int. J. Approx. Reasoning, vol.75, pp.57-92, 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01372745

W. Dvo?ák, S. Gaggl, T. Linsbichler, and J. Wallner, Reduction-based approaches to implement Modgil's extended argumentation frameworks, in: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, vol.9060, pp.249-264, 2015.

W. Dvo?ák, S. A. Gaggl, and S. Woltran, The ASPARTIX website

W. Dvorak, M. Järvisalo, J. Wallner, and S. Woltran, Complexity-sensitive decision procedures for abstract argumentation, Artificial Intelligence, vol.206, pp.53-78, 2014.

W. Dvo?ák, M. Järvisalo, J. P. Wallner, and S. Woltran, CEGARTIX: A SAT-based argumentation system, Proc. of Pragmatics of SAT, Workshop of SAT Conference, 2012.

W. Dvo?ák, M. Järvisalo, J. P. Wallner, and S. Woltran, The CEGARTIX website

U. Egly, S. A. Gaggl, and S. Woltran, Answer-set programming encodings for argumentation frameworks, Argument & Computation, vol.1, issue.2, pp.147-177, 2010.

W. Faber, M. Vallati, F. Cerutti, and M. Giacomin, Enumerating preferred extensions using ASP domain heuristics: The ASPrMin solver, Proc. of COMMA, pp.459-460, 2018.

J. Fandinno and L. Fariñas-del-cerro, Constructive logic covers argumentation and logic programming, Proc. of Sixteenth International Conference on Principles of Knowledge Representation and Reasoning, pp.128-137, 2018.

D. M. Gabbay, Fibring argumentation frames, Studia Logica, vol.93, pp.231-295, 2009.

D. M. Gabbay, Semantics for higher level attacks in extended argumentation frames part 1: Overview, Studia Logica, vol.93, issue.2-3, pp.357-381, 2009.

D. M. Gabbay, Meta-Logical Investigations in Argumentation Networks, vol.44, 2013.

D. M. Gabbay and M. Gabbay, The attack as strong negation, part I, Logic Journal of the IGPL, vol.23, issue.6, pp.881-941, 2015.

D. M. Gabbay and M. Gabbay, The attack as intuitionistic negation, Logic Journal of the IGPL, vol.24, issue.5, pp.807-837, 2016.

S. A. Gaggl, Towards a general argumentation system based on answer-set programming, Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010, vol.7, pp.265-269, 2010.

D. Grossi, On the logic of argumentation theory, Proc. of AAMAS, pp.409-416, 2010.

N. Karacapilidis and D. Papadias, Computer supported argumentation and collaborative decision making: The HERMES system, Information Systems, vol.26, issue.4, pp.259-277, 2001.

J. Lagniez, E. Lonca, and J. Mailly, CoQuiAAS: A constraint-based quick abstract argumentation solver, 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI, pp.928-935, 2015.
URL : https://hal.archives-ouvertes.fr/hal-02380767

C. Lefèvre and P. Nicolas, The ASPeRiX website

T. Lehtonen, A. Niskanen, and M. Järvisalo, SAT-based approaches to adjusting, repairing, and computing largest extensions of argumentation frameworks, Computational Models of Argument -Proceedings of COMMA, pp.193-204, 2018.

T. Linsbichler, M. Maratea, A. Niskanen, J. Wallner, and S. Woltran, Novel algorithms for Abstract Dialectical Frameworks based on complexity analysis of subclasses and SAT solving, Proc. of IJCAI, pp.1905-1911, 2018.

S. , Reasoning about preferences in argumentation frameworks, Artificial Intelligence, vol.173, pp.901-934, 2009.

A. Niskanen and M. , ?-toksia. Participating in ICCMA 2019, 2019.

F. Nouioua, AFs with necessities: Further semantics and labelling characterization, Proc. of the International Conference on Scalable Uncertainty Management (SUM), pp.120-133, 2013.

F. Nouioua and V. Risch, Bipolar argumentation frameworks with specialized supports, Proc. of the IEEE International Conference on Tools with Artificial Intelligence (ICTAI), pp.215-218, 2010.

F. Nouioua and V. Risch, Argumentation frameworks with necessities, Proc. of the International Conference on Scalable Uncertainty Management (SUM), pp.163-176, 2011.

N. Oren and T. J. Norman, Semantics for evidence-based argumentation, Proc of the 2nd International Conference on Computational Models of Argument (COMMA), pp.276-284, 2008.

N. Oren, C. Reed, and M. Luck, Moving between argumentation frameworks, Proceeding of the Conference on Computational Models of Argument (COMMA), pp.379-390, 2010.

M. Osorio and J. C. Nieves, Range-based argumentation semantics as two-valued models, TPLP, vol.17, issue.1, pp.75-90, 2017.

M. Osorio, J. C. Nieves, and A. Santoyo, Complete extensions as Clark's completion semantics, Mexican International Conference on Computer Science, ENC 2013, pp.81-88, 2013.

S. Polberg, Understanding the abstract dialectical framework, Proc. of JELIA, pp.430-446, 2016.

S. Polberg, Intertranslatability of abstract argumentation frameworks, 2017.

S. Polberg and N. Oren, Revisiting support in abstract argumentation systems, 2014.

F. Pu, G. Luo, and Z. Jiang, Encoding argumentation semantics by Boolean algebra, IEICE Transactions, vol.100, issue.4, pp.838-848, 2017.

C. Sakama and T. Rienstra, Representing argumentation frameworks in answer set programming, Fundamenta Informaticae, vol.155, issue.3, pp.261-292, 2017.

F. Toni and M. Sergot, Argumentation and answer set programming, in: Logic Programming, Knowledge Representation and Nonmonotonic Reasoning: Essays in Honor of Michael, pp.164-180, 2010.

B. Verheij, DEFLOG: On the logical interpretation of prima facie justified assumptions, Journal of Logic in Computation, vol.13, pp.319-346, 2003.

S. Villata, G. Boella, D. M. Gabbay, L. Van-der, and T. , Modelling defeasible and prioritized support in bipolar argumentation, Annals of Mathematics and Artificial Intelligence, vol.66, issue.1-4, pp.163-197, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01076568

S. Villata, G. Boella, D. M. Gabbay, L. Van-der-torre, and J. Hulstijn, A logic of argumentation for specification and verification of abstract argumentation frameworks, Annals of Mathematics and Artificial Intelligence, vol.66, issue.1-4, pp.199-230, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01076597

M. Walicki and S. Dyrkolbotn, Finding kernels or solving SAT, Discrete Algorithms, vol.10, pp.146-164, 2012.

J. P. Wallner, G. Weissenbacher, and S. Woltran, Advanced SAT techniques for abstract argumentation, Computational Logic in Multi-Agent Systems -14th International Workshop, pp.138-154, 2013.

Y. Wu, M. Caminada, and D. M. Gabbay, Complete extensions in argumentation coincide with 3-valued stable models in logic programming, Studia Logica: An International Journal for Symbolic Logic, vol.93, issue.2/3, pp.383-403, 2009.