Argumentation in Artificial Intelligence, 2009. ,
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. ,
Temporal dynamics of support and attack networks : From argumentation to zoology, Mechanizing Mathematical Reasoning. LNAI 2605, pp.59-98, 2005. ,
Reasoning about preferences in argumentation frameworks, Artificial Intelligence, vol.173, pp.901-934, 2009. ,
AFRA: Argumentation framework with recursive attacks, International Journal of Approximate Reasoning, vol.52, pp.19-37, 2011. ,
Fibring argumentation frames, Studia Logica, vol.93, pp.231-295, 2009. ,
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
An approach to abstract argumentation with recursive attack and support, Journal of Applied Logic, vol.13, issue.4, pp.509-533, 2015. ,
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
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
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. ,
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. ,
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
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
The attack as strong negation, part I, Logic Journal of the IGPL, vol.23, issue.6, pp.881-941, 2015. ,
Acceptability semantics in recursive argumentation frameworks: Logical encoding and computation ,
Molecular Interaction Automated Maps (regular paper), International Workshop on Learning and Non Monotonic Reasoning (LNMR), pp.31-42 ,
Reasoning on molecular interaction maps, 7 th European Symposium on Computational Intelligence and Mathematics (ESCIM'15), pp.263-269, 2015. ,
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. ,
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. ,
A QBF-based formalization of abstract argumentation semantics, Journal of Applied Logic, vol.11, issue.2, pp.229-252, 2013. ,
Advanced SAT techniques for abstract argumentation, Computational Logic in Multi-Agent Systems: 14th International Workshop, pp.138-154, 2013. ,
,
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. ,
Declarative solver development: Case studies, Proc. of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, pp.74-83, 2016. ,
Abstract dialectical frameworks, Proc. of the 20 th International Conference on the Principles of Knowledge Representation and Reasoning, pp.102-111, 2010. ,
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. ,
Coquiaas: A constraint-based quick abstract argumentation solver, Tools with Artificial Intelligence (ICTAI), pp.928-935, 2015. ,
The Grafix website ,
Argumentation frameworks with recursive attacks and evidencebased support, Proc. of Tenth International Symposium on Foundations of Information and Knowledge Systems, pp.150-169, 2018. ,