Human-formalism interaction: Studies in communication through formalism

Interacting with Computers

Volumn 9, Issue 2, 1997, Pages 111-128

  Stenning, Keith ^a   Gurr, Corin ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Cognitive science; Formal methods; HCI; Representation and reasoning; Teaching and learning

Indexed keywords

COGNITIVE SYSTEMS; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; LEARNING SYSTEMS; SOFTWARE ENGINEERING;

COGNITIVE SCIENCE; LOGIC TEACHING;

HUMAN COMPUTER INTERACTION;

EID: 0031246001     PISSN: 09535438     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0953-5438(97)00012-X     Document Type: Article

References (24)

1. M. Cole, A.S. Scribner, Culture and Thought. A Psychological Introduction, Wiley, New York, 1974.
2. L.S. Vygotsky, Thought and Language, MIT Press, 1962.
3. J. Mackinlay, Automating the design of graphical presentations of relational information, ACM Transactions on Graphics 2(5) (1986) 110-141.
4. J.H. Larkin, H.A. Simon, Why a diagram is (sometimes) worth ten thousand words, Cognitive Science 11 (1987) 65-99.
5. K. Stenning, R. Cox, J. Oberlander, Contrasting the cognitive effects of graphical and sentential logic teaching: reasoning, representation and individual differences, Language and Cognitive Processes 10(3/4) (1995) 333-354.
6. J. Barwise, J. Etchemendy, Hyperproof, CSLI Publications, Stanford, CA, 1994.
7. K. Stenning, J. Oberlander, A cognitive theory of graphical and linguistic reasoning: logic and implementation, Cognitive Science 19 (1995) 97-140.
8. J. Oberlander, R. Cox, R. Tobin, K. Stenning, P. Monaghan, Individual differences in proof development strategy following multimodal logic teaching, in: Proceedings of the Annual Meeting of the Cognitive Science Society of America, UCSD, 1996.
9. R. Cox, K. Stenning, J. Oberlander, The effect of graphical and sentential logic teaching on spontaneous external representation, Cognitive Studies: The Bulletin of the Japanese Cognitive Science Society 2(4) (1995) 56-75.
10. J. van der Pal, The balance of situated action and formal instruction for learning conditional reasoning, University of Twente, 1995.
11. R. Inder, J. Oberlander, Using discourse to aid hypertext navigation, in: Proceedings of HCI International, Yokohama, Japan, 1995.
12. R. Milner, Communication and Concurrency, Prentice Hall, 1989.
13. C. Gurr, Supporting formal reasoning for safety critical systems, High Integrity Systems, Vol. 1, No. 4, Oxford University Press, 1995, pp. 385-396.
14. D. Harel, Statecharts: A visual approach to complex systems, Technical Report CS 84-05, Department of Applied Mathematics. The Weizmann Institute of Science, 1986.
15. A. Pnueli, M. Shalev, What is in a step: On the semantics of Statecharts, in: Theoretical Aspects of Computer Science, Springer, Lecture Notes in Computer Science No. 526, 1992.
16. C. Gurr, Causal CCS. Working paper of the Communication in Safety Cases project, HCRC, University of Edinburgh, 1996.
17. H. Grice, Logic and conversation, in: P. Cole, J. Morgan (Eds.), Syntax and Semantics: Vol 3, Speech Acts, Academic Press, New York, 1975, pp. 43-58.
18. K. Stenning, R. Cox, J. Oberlander, Attitudes to logical independence: traits in quantifier interpretation, in: Proceedings of the Seventeenth Annual Conference of the Cognitive Science Society, pp. 742-747, Hillsdale, N.J., Distributed by Lawrence Erlbaum Associates, 1995b.
19. K. Stenning, Embedding logic in communication: lessons from the logic classroom, in: J. van Benthem (Ed.), Proceedings of Colloquium on Logic and Argumentation, Royal Netherlands Academy of Arts and Sciences, 1996, in press.
20. E. Vallduví, The Informational Component, Garland Publishing, New York, 1992.
21. K. Stenning, R. Cox, P. Yule, Quantifier interpretation and syllogistic reasoning, in: Proceedings of the Annual Meeting of the Cognitive Science Society of America, UCSD, 1996.
22. J. Tversky, D. Kahneman, Judgement under Uncertainty: Heuristics and Biases, Cambridge University Press, 1993.
23. R. Hertwig, Why Dr. Gould's homunculus doesn't think like Dr. Gould: the 'conjunction fallacy' reconsidered, Hartung-Gorre, 1995.
24. D. Bloor, Hamilton and Peacock on the essence of algebra, in: H. Mehrtens, H. Bos, I. Schneider (Eds.), Social History of Nineteenth Century Mathematics, Birkhauser, Basel, 1981.