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. © 2011 Springer-Verlag.
CITATION STYLE
Huertas, A. (2011). Ten years of computer-based tutors for teaching logic 2000-2010: Lessons learned. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6680 LNAI, pp. 131–140). https://doi.org/10.1007/978-3-642-21350-2_16
Mendeley helps you to discover research relevant for your work.