The argument of mathematics, 2013. ,
Afra: Argumentation framework with recursive attacks, International Journal of Approximate Reasoning, vol.52, issue.1, pp.19-37, 2011. ,
Support in abstract argumentation, COMMA'10, pp.40-51, 2010. ,
Debate-based learning game for constructing mathematical proofs, European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pp.36-45, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01799456
Sus-a quick and dirty usability scale. Usability evaluation in industry, vol.189, pp.4-7, 1996. ,
Towards a new framework for recursive interactions in abstract bipolar argumentation, 6th International Conference on Computational Models of Argument (COMMA 2016), p.191, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01474908
Coalitions of arguments: A tool for handling bipolar argumentation frameworks, International Journal of Intelligent Systems, vol.25, issue.1, pp.83-109, 2010. ,
, Bipolarity in argumentation graphs: Towards a better understanding. IJAR, vol.54, pp.876-899, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01123535
An approach to abstract argumentation with recursive attack and support, Journal of Applied Logic, vol.13, issue.4, pp.509-533, 2015. ,
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artificial intelligence, vol.77, issue.2, pp.321-357, 1995. ,
Argumentation and proof in the mathematics classroom, Proof and proving in mathematics education, pp.349-367, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00804050
International Program Committee, et al. Icmi study 19: Proof and proving in mathematics education, ZDM, vol.40, issue.2, pp.329-336, 2008. ,
Teaching and learning in the language classroom, vol.106, 2001. ,
The effects of argumentation on student motivation in mathematics, 2016. ,
The ASPIC+ framework for structured argumentation: a tutorial, Argument & Computation, vol.5, issue.1, pp.31-62, 2014. ,
Bipolar argumentation frameworks with specialized supports, ICTAI'10, pp.215-218, 2010. ,
, , vol.I, 2015.
Semantics for evidence-based argumentation, COMMA'08, pp.276-284, 2008. ,
Automated theorem proving in mathematics, Annals of Mathematics and Artificial Intelligence, vol.8, issue.3-4, pp.425-447, 1993. ,
Lakatos games for mathematical argument, Computational Models of Argument -Proceedings of COMMA 2014, Atholl Palace Hotel, pp.59-66, 2014. ,
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation, Artificial Intelligence, vol.246, pp.181-219, 2017. ,
Argumentation and algebraic proof, ZDM, vol.40, issue.3, pp.385-400, 2008. ,
21 mesures pour enseignement des mathématiques, 2018. ,