An agent-based tutoring system for learning propositional logic using multiple linked representations.
Evandro de Barros CostaEmanuele Tuane SilvaAnderson SantosAlexandre Carlos Santos AzevedoPriscylla SilvaMarlos Tacio SilvaHemilis RochaCaroline LimaPublished in: FIE (2014)