Automatic Detection of Concepts from Problem Solving Times. - Petr Boros; Juraj Niznan; Radek Pelánek; Jirí Rihák (AIED, 2013)