This paper presents a relation-centric solver for text-diagram function problems mainly studied in the secondary school, which aims to be the core solver for future intelligent tutoring systems. By ...

In this paper we introduce a new graph, the sequential decision diagram, to aid in modeling, formulation, and solution of sequential decision problems under uncertainty. While as compact as an ...

Ana Acevedo Nistal, Wim Van Dooren, Lieven Verschaffel, What counts as a flexible representational choice? An evaluation of students' representational choices to solve linear function problems, ...

In the development and verification of safety-critical and safety-related Instrumentation and Control (I&C) systems, it is essential to ensure there is no deviation from the requirements of the ...