IWINAC
2005
Springer
14 years 5 months ago
2005
Springer
This paper shows how empirical human reasoning traces can be formalised and automatically analysed against dynamic properties they fulfil. To this end, for the reasoning pattern c...