Nadira Boudjani, Abdelkader Gouaich, Souhila Kaci. Debate-Based Learning Game for Constructing Mathematical Proofs. In Alessandro Antonucci, Laurence Cholvy, Odile Papini, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings. Volume 10369 of Lecture Notes in Computer Science, pages 36-45, Springer, 2017. [doi]
Abstract is missing.