An agent-based tutoring system for learning propositional logic using multiple linked representations | IEEE Conference Publication | IEEE Xplore