Graphic interface design and deductive proof construction

The Logic-ITA in the Classroom: A Medium Scale Experiment

International Journal of Artificial Intelligence in Education

Towards an Intelligent Tutoring System for Propositional Proof Construction

Proceedings of the 2008 conference on Current Issues in Computing and Philosophy

Visualizing educational data from logic tutors

ITS'10 Proceedings of the 10th international conference on Intelligent Tutoring Systems - Volume Part II

Enhancing the automatic generation of hints with expert seeding

International Journal of Artificial Intelligence in Education - Special issue on Best of ITS 2010

Data-Driven method for assessing skill-opportunity recognition in open procedural problem solving environments

ITS'12 Proceedings of the 11th international conference on Intelligent Tutoring Systems