The Design Rationale of Logic-Muse, an ITS for Logical Reasoning in Multiple Contexts.

Roger Nkambou, Clauvice Kenfack, Serge Robert, Janie Brisson

Browse the full AIED paper archive.