Unnatural language processing: An empirical study of multimodal proof styles

Journal of Logic, Language and Information

Volumn 8, Issue 3, 1999, Pages 363-384

  Oberlander, J ^a   Monaghan, P ^a   Cox, R ^a   Stenning, K ^a   Tobin, R ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Cognitive styles; Diagrammatic reasoning; Logic teaching

Indexed keywords

EID: 33745854942     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1008388812468     Document Type: Review

References (17)

1. Barwise, J. and Etchemendy, J., 1994, Hyperproof, Stanford, CA: CSLI Publications.
2. Campagnoni, F.R. and Ehrlich, K., 1989, "Information retreival using a hypertext-based help system," ACM Transactions on Information Systems 7, 271-291.
3. Cox, R., Stenning, K., and Oberlander, J., 1994, "Graphical effects in learning logic: Reasoning, representation and individual differences," pp. 237-242 in Proceedings of the 16th Annual Meeting of the Cognitive Science Society, Atlanta, GA, August, A. Ram and K. Eisett, eds., Hillsdale, NJ: Lawrence Erlbaum Associates.
4. di Sessa, A. A., 1979, "On Tearnable' representations of knowledge: A meaning for the computational metaphor," pp. 239-288 in Cognitive Process Instruction, J. Lochhead and J. Clement, eds., Philadelphia, PA: The Franklin Institute Press.
5. Dunning, T., 1993, "Accurate methods for the statistics of surprise and coincidence," Computational Linguistics 19, 61-74.
6. Duran, R., Powers, D., and Swinton, S., 1987, "Construct validity of the GRE analytical test: A resource document," ETS Research Report 87-11, Princeton, NJ: Educational Testing Service.
7. Harris, R.J., 1975, A Primer of Multivariate Statistics, London: Academic Press.
8. Mayer, R.E. and Sims, V.K., 1994, "For whom is a picture worth a thousand words? Extensions of a dual-coding theory of multimedia learning," Journal of Educational Psychology 86, 389-401.
9. Monaghan, P., 1995, "A corpus-based analysis of individual differences in proof-style," M.Sc. Thesis, Centre for Cognitive Science, University of Edinburgh.
10. Oberlander, J., Cox, R., and Stenning, K., 1996, "Proof styles in multimodal reasoning," pp. 403-414 in Language, Logic and Computation: Volume 1, J. Seligman and D. Westerstahl, eds., Stanford, CA: CSLI Publications.
11. Oberlander, J., Cox, R., Mongahan, P., Stenning, K., and Tobin, R., 1996, "Individual differences in proof structures following multimodal logic teaching," pp. 201-206 in Proceedings of the 18th Annual Meeting of the Cognitive Science Society, La Jolla, CA, July, G.W. Cottrell, ed., Hillsdale, NJ: Lawrence Erlbaum Associates.
12. Schwarz, B. and Dreyfus, T., 1993, "Measuring integration of information in multirepresentational software," Interactive Learning Environments 3, 177-198.
13. Snow, R.E., 1987, "Aptitude complexes," pp. 1-9 in Aptitude, Learning, and Instruction, Volume 3: Conative and Affective Process Analysis, R.E. Snow and M.J. Farr, eds., Hillsdale, NJ: Lawrence Erlbaum Associates.
14. Stenning, K. and Oberlander, J., 1991, "Reasoning with words, pictures and calculi: Computation versus justification," pp. 607-621 in Situation Theory and Its Applications, Volume 2, J. Barwise, J.M. Gawron, G. Plofkin, and S. Tutiya, eds., Chicago, IL: Chicago University Press.
15. Stenning, K. and Oberlander, J., 1995, "A cognitive theory of graphical and linguistic reasoning: Logic and implementation," Cognitive Science 19, 97-140.
16. Stenning, K., Cox, R., and Oberlander, J., 1995, "Contrasting the cognitive effects of graphical and sentential logic teaching: Reasoning, representation and individual differences," Language and Cognitive Processes 10, 333-354.
17. Wason, P.C., 1977, "Self-contradictions," pp. 114-128 in Thinking: Readings in Cognitive Science, P.N. Johnson-Laird and PC. Wason, eds., Cambridge: Cambridge University Press.