Roger Nkambou, Clauvice Kenfack, Serge Robert, Janie Brisson. The Design Rationale of Logic-Muse, an ITS for Logical Reasoning in Multiple Contexts. In Cristina Conati, Neil T. Heffernan, Antonija Mitrovic, M. Felisa Verdejo, editors, Artificial Intelligence in Education - 17th International Conference, AIED 2015, Madrid, Spain, June 22-26, 2015. Proceedings. Volume 9112 of Lecture Notes in Computer Science, pages 738-742, Springer, 2015. [doi]
Abstract is missing.