Project Description
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.
Key Publications
A. Merceron and K. Yacef. Revisiting interestingness of strong symmetric association rules in educational data. In Proceedings of International Workshop on Applying Data Mining in e-Learning (ADML'07), 2007. [View Details]
A. Merceron and K. Yacef. Clustering students to help evaluate learning, volume 171 of Technology Enhanced Learning, pages 31-42. Springer, 2005. [View Details]
K. Yacef. The Logic-ITA in the classroom: a medium scale experiment. International Journal on Artificial Intelligence in Education, 15:41-60, 2005. [View Details]
A. Merceron and K. Yacef. Tada-ed for educational data mining. Interactive Multimedia Electronic Journal of Computer-Enhanced Learning, 7(1), 2005. [View Details]
A. Merceron and K. Yacef. Educational data mining: a case study. In C. K. Looi, G. McCalla, B. Bredeweg, and J. Breuker, editors, Proceedings of the 12th Conference on Artificial Intelligence in Education, pages 467-474, Amsterdam, The Netherlands, 2005. IOS Press. [View Details]
A. Merceron and K. Yacef. Clustering students to help evaluate learning, Technology Enhanced Learning, volume 171, pages 31-42. Springer, 2005. [View Details]
K. Yacef. Making large class teaching more adaptive with the logic-ita. In R. Lister and A. Young, editors, Proceedings of Sixth Australasian Computing Education Conference (ACE2004), pages 343-347, Dunedin, New Zealand, 2004. [View Details]
A. Merceron and K. Yacef. Mining student data captured from a web-based tutoring tool: Initial exploration and results. Journal of Interactive Learning Research (JILR), 15(4):319-346, 2004. [View Details]
A. Merceron and K. Yacef. Train, store, analyse for more adaptive teaching. In Proceedings of International Symposium Information and Knowledge Technologies in Higher Education and Industry (TICE2004), pages 52-59, Compiegne, France, 2004. Technical University of Compigne. [View Details]
M. Benchaffai, G. Debord, A. Merceron, and K. Yacef. Tada-ed, a tool to visualize and mine students' online work. In E. McKay and B. Collis, editors, Proceedings of International Conference on Computers in Education, (ICCE04), pages 1891-1897, Melbourne, Australia, 2004. RMIT. [View Details]
K. Yacef. Experiment and evaluation results of the logic-ita. Technical Report 542, School of Information Technologies, University of Sydney, 2003. [View Details]
A. Merceron and K. Yacef. A web-based tutoring tool with mining facilities to improve learning and teaching. In F. Verdejo and U. Hoppe, editors, Proceedings of 11th International Conference on Artificial Intelligence in Education (AIED03), pages 201-208, Sydney, 2003. IOS Press. [View Details]
K. Yacef. Intelligent teaching assistant systems. In Kinshuk, editor, Proceedings of International Conference on Computers in Education (ICCE'02), pages 136-140, Auckland, New Zealand, 2002. [View Details]
L. Lesta and K. Yacef. An intelligent teaching-assistant system for logic. In S. Cerri and F. Paraguo, editors, Proceedings of International Conference on Intelligent Tutoring Systems (ITS'02), volume 2363 of Lecture Notes on Computer Science, pages 421-431. Springer-Verlag, 2002. [View Details]
D. Abraham and K. Yacef. Adaptation in the web-based Logic-ITA. In P. de Bra, editor, Proceedings of 2nd International Conference on Adaptive Hypermedia and Adaptive Web Based Systems (AH2002), volume 2347 of Lecture Notes in Computer Science, pages 456-461, Malaga, Spain, 2002. Springer-Verlag. [View Details]
D. Abraham, L. Crawford, L. Lesta, A. Merceron, and K. Yacef. The logic tutor: a multimedia presentation. Interactive Multimedia Electronic Journal of Computer-Enhanced Learning, 3, 2001. [View Details]
D. Abraham, L. Crawford, L. Lesta, A. Merceron, and K. Yacef. The logic tutor. In Proceedings of International conference on Innovation and Technology in Computer Science Education (ITiCSE), Canterbury, England, 2001. [View Details]
D. Abraham, L. Crawford, L. Lesta, A. Merceron, and K. Yacef. A tool to practice formal proofs. In Proceedings of International Conference ED-MEDIA, Tampere, Finland, 2001. [View Details]
| 
![[Cellerator]](Images/cellerator.png "Cellerator Home"){kind=small}