117
click to vote
IWINAC
2005
Springer
15 years 9 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...