User Modeling and User-Adapted Interaction
Tailoring Privacy to Users' Needs
UM '01 Proceedings of the 8th International Conference on User Modeling 2001
ELM-ART: An Intelligent Tutoring System on World Wide Web
ITS '96 Proceedings of the Third International Conference on Intelligent Tutoring Systems
Stereotypes, Student Models and Scrutability
ITS '00 Proceedings of the 5th International Conference on Intelligent Tutoring Systems
A System for Concerned Teaching of Musical Aural Skills
ITS '00 Proceedings of the 5th International Conference on Intelligent Tutoring Systems
Intelligent Teaching Assistant Systems
ICCE '02 Proceedings of the International Conference on Computers in Education
Making large class teaching more adaptive with the logic-ITA
ACE '04 Proceedings of the Sixth Australasian Conference on Computing Education - Volume 30
Combining Expert Systems and Adaptive Hypermedia Technologies in a Web Based Educational System
ICALT '05 Proceedings of the Fifth IEEE International Conference on Advanced Learning Technologies
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
Journal of Automated Reasoning
The Logic-ITA in the Classroom: A Medium Scale Experiment
International Journal of Artificial Intelligence in Education
KRRT: knowledge representation and reasoning tutor system
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
The sell project: a learning tool for e-learning logic
TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
A multiagent-based ITS using multiple viewpoints for propositional logic
ITS'12 Proceedings of the 11th international conference on Intelligent Tutoring Systems
| Hi-index | 0.00 |
This paper presents the Logic-ITA, an Intelligent Teaching Assistant system for the teaching/learning of propositional logic. Intelligent Teaching Assistant Systems are dedicated both to learners and teachers. The system embeds three tools: the Logic Tutor, the LT-Configurator and the LT-Analyser. The Logic Tutor is an intelligent tutoring system destined to the students. The other two tools are dedicated to the teacher. The LT-Configurator manages teaching configuration settings and material. The LT-Analyser is for monitoring the class' progress and collect data.