4 papers
The Educational Proof Assistant Waterproof in an Introductory Proof Course: Proof Construction and Learning Processes
Pim Otte, Rogier Bos, Johan Commelin +1
We study the use of an educational proof assistant in an introductory proof course through a quasi-experiment in a varied setting: multiple teachers, students with different study…
Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback
Gerben van der Hoek, Bastiaan Heeren, Rogier Bos +2
Computer aided formative assessment can be used to enhance a learning process, for instance by providing feedback. There are many design choices for delivering feedback, that lead…
Combining model tracing and constraint-based modeling for multistep strategy diagnoses
Gerben van der Hoek, Johan Jeuring, Rogier Bos
Model tracing and constraint-based modeling are two approaches to diagnose student input in stepwise tasks. Model tracing supports identifying consecutive problem-solving steps tak…
Buggy rule diagnosis for combined steps through final answer evaluation in stepwise tasks
Gerben van der Hoek, Johan Jeuring, Rogier Bos
Many intelligent tutoring systems can support a student in solving a stepwise task. When a student combines several steps in one step, the number of possible paths connecting conse…