An agent-based tutoring system for learning propositional logic using multiple linked representations.
Evandro de Barros Costa, Emanuele Tuane Silva, Anderson Santos, Alexandre Carlos Santos Azevedo, Priscylla Silva, Marlos Tacio Silva, Hemilis Rocha, Caroline Lima
Browse the full FIE paper archive.