Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned

摘要

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.