5 citations · 23 across the 14 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SE2018★ 4 cited
Prototyping "Systems that Explain Themselves" for Education
Alan Krempler, Walther Neuper
"Systems that Explain Themselves" appears a provocative wording, in particular in the context of mathematics education -- it is as provocative as the idea of building educational s…
cs.AI2018
Proceedings 6th International Workshop on Theorem proving components for Educational software
Pedro Quaresma, Walther Neuper
The 6th International Workshop on Theorem proving components for Educational software (ThEdu'17) was held in Gothenburg, Sweden, on 6 Aug 2017. It was associated to the conference…