Skip to Main content Skip to Navigation
Journal articles

The Logic-ITA in the classroom: a medium scale experiment

Abstract : This paper presents the experiment and consequent evaluation of introducing the Logic-ITA in a second year tertiary undergraduate class. The Logic-ITA is a web-based Intelligent Teaching Assistant system, aimed at alleviating some of the problems caused by large classes or distance learning. Its domain of application is the construction of formal proofs in logic. The system acts as an intermediary between teacher and students: on one hand, it provides students with an environment to practice formal proofs with feedback and on the other hand it allows teachers to monitor the class's progress and mistakes. It is complementary in the sense that it does not aim to replace any of the existing interactions between teachers and students. Since its introduction, over 600 students have used the tool. Evaluation shows a significant improvement in students' assessment results with an effect size of around 1 sigma. (
Document type :
Journal articles
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download
Contributor : Jerome Zeiliger Connect in order to contact the contributor
Submitted on : Monday, February 18, 2008 - 3:40:22 PM
Last modification on : Tuesday, August 9, 2022 - 9:58:22 AM
Long-term archiving on: : Friday, September 28, 2012 - 9:56:08 AM


Files produced by the author(s)


  • HAL Id : hal-00257107, version 1



Kalina Yacef. The Logic-ITA in the classroom: a medium scale experiment. International Journal of Artificial Intelligence in Education, Springer, 2005, 15, pp.41-62. ⟨hal-00257107⟩



Record views


Files downloads