Research output per year
Research output per year
Search results
-
1996
Individual differences in proof structures following multimodal logic teaching
Oberlander, J., Cox, R., Monaghan, P., Stenning, K. & Tobin, R., 1996, Proceedings of the 18th Annual Conference of the Cognitive Science Society. Cottrell, G. W. (ed.). Lawrence Erlbaum Associates, p. 201-206 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
1995
Proofs as discourse: an empirical study
Oberlander, J., Cox, R. & Stenning, K., 1995, AAAI Spring Symposium on Empirical Methods in Discourse Interpretation and Generation. AAAI Press, p. 113-119 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
1994
Graphical Effects in Learning Logic: Reasoning, Representation and Individual Differences
Cox, R., Stenning, K. & Oberlander, J., 1994, Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society. Ram, A. & Eiselt, K. (eds.). LAWRENCE ERLBAUM ASSOC PUBL, p. 237-242 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
File -
The cognitive properties of graphical and algebraic representations
Oberlander, J., Stenning, K., Gurr, C. & Cox, R., 1994, Proceedings of the Workshop on Mathematical Assistants and Theorem Provers. p. 101-112 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
1992
Implementing Logics in Diagrams
Stenning, K. & Oberlander, J., 1992, Papers from 1992 AAAI Spring Symposium: Reasoning with Diagrammatic Representations: Technical Report SS-92-02. Narayanan, N. H. (ed.). AAAI Press, p. 88-92 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile