Specifying Strategies for Exercises
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Using IDEAS in Teaching Logic, Lessons Learned
CSSE '08 Proceedings of the 2008 International Conference on Computer Science and Software Engineering - Volume 05
Evaluating the Impact of Adaptation to Learning Styles in a Web-Based Educational System
ICWL '009 Proceedings of the 8th International Conference on Advances in Web Based Learning
Uma abordagem declarativa para geraçao e adaptaçao de aplicações de guias Eletrônicos de Programaçao
Proceedings of the 14th Brazilian Symposium on Multimedia and the Web
The sell project: a learning tool for e-learning logic
TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
| Hi-index | 0.00 |
The First International Congress on Tools for Teaching Logic took place in 2000 and the second such congress took place in 2006. The third one takes place in 2011. In the ten years that separate the first and the third congress, the history of the tools for teaching Logic based on the paradigm of intelligent tutoring has been evolving significantly. This article provides a brief review of this history. It also presents a comparative study of 26 such tools and proposes a classification of existing tools with a specific methodology.