I. Rahwan and G. Simari, Argumentation in Artificial Intelligence, 2009.

P. M. Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artificial Intelligence, vol.77, pp.321-357, 1995.

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

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

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.

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

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

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.

C. Cayrol, A. Cohen, and M. Lagasquie-schiex, Towards a new framework for recursive interactions in abstract bipolar argumentation, Proceedings of International Conference on Computational Models of Argument (COMMA), P. Baroni, pp.191-198, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01474908

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

A. Cohen, S. Gottifredi, A. J. García, and G. R. Simari, On the acceptability semantics of argumentation frameworks with recursive attack and support, Proceedings of International Conference on Computational Models of Argument (COMMA), P. Baroni, pp.231-242, 2016.

M. Caminada, S. Sá, J. Alcântara, and W. Dvo?ák, On the equivalence between logic programming semantics and argumentation semantics, special Issue of the Twelfth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, vol.58, pp.87-111, 2013.

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

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

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.

C. Cayrol and M. Lagasquie-schiex, Acceptability semantics in recursive argumentation frameworks: Logical encoding and computation

R. Demolombe, L. Del-cerro, N. Obeid, and ;. Corunna, Molecular Interaction Automated Maps (regular paper), International Workshop on Learning and Non Monotonic Reasoning (LNMR), pp.31-42

J. M. Alliot, R. Demolombe, L. Del-cerro, M. Diéguez, and N. Obeid, Reasoning on molecular interaction maps, 7 th European Symposium on Computational Intelligence and Mathematics (ESCIM'15), pp.263-269, 2015.

P. Besnard, S. Doutre, V. H. Ho, and D. Longin, SESAME -A System for Specifying Semantics in Abstract Argumentation (regular paper), International Workshop on Systems and Algorithms for Formal Argumentation (SAFA), vol.1672, pp.40-51, 2016.

D. Grossi, International Foundation for Autonomous Agents and Multiagent Systems, Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, vol.1, pp.409-416, 2010.

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

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.

,

F. Cerutti, P. E. Dunne, M. Giacomin, and M. Vallati, Computing preferred extensions in abstract argumentation: A SAT-based approach, Theory and Applications of Formal Argumentation: Second International Workshop, TAFA 2013, pp.176-193, 2013.

B. Bogaerts, T. Janhunen, and S. Tasharrofi, Declarative solver development: Case studies, Proc. of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, pp.74-83, 2016.

G. Brewka and S. Woltran, Abstract dialectical frameworks, Proc. of the 20 th International Conference on the Principles of Knowledge Representation and Reasoning, pp.102-111, 2010.

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, pp.241-248, 2015.

J. M. Lagniez, E. Lonca, and J. G. Mailly, Coquiaas: A constraint-based quick abstract argumentation solver, Tools with Artificial Intelligence (ICTAI), pp.928-935, 2015.

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

C. Cayrol, J. Fandinno, L. Del-cerro, and M. Lagasquieschiex, Argumentation frameworks with recursive attacks and evidencebased support, Proc. of Tenth International Symposium on Foundations of Information and Knowledge Systems, pp.150-169, 2018.