Graphic interface design and deductive proof construction
Journal of Computers in Mathematics and Science Teaching
The Eyes Have It: A Task by Data Type Taxonomy for Information Visualizations
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
Toward Automatic Hint Generation for Logic Proof Tutoring Using Historical Student Data
ITS '08 Proceedings of the 9th international conference on Intelligent Tutoring Systems
The sell project: a learning tool for e-learning logic
TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
Hi-index | 0.00 |
We propose a data visualization tool that offers insights into the way students solve procedural domain problems The tool uses nodes and edges to represent states and actions which students have generated using an intelligent tutoring system or computer aided instruction tool, ultimately showing the way a student has solved a problem We use the example of logic tutor data and suggest two methods of evaluation for ensuring the tool is effective at aiding educators to better understand student learning.