Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
We provide empirical support for the assertions that high level of knowledge construction is associated with structured design and that knowledge construction is associated with c...
We describe a system to improve the quality of feedback provided to an Introductory Programming course. The system uses web technology to create a graphical tool that the tutors c...
In this study, we describe a conversational agent designed to support collaborative learning interactions between pairs of students. We describe a study in which we independently m...
Developing adaptive internet based learning courses usually requires a lot of programming efforts to provide session management, keeping track of the learners current state, and ad...
Gerhard Weber, Hans-Christian Kuhl, Stephan Weibel...