Research output per year
Research output per year
- 18 results
Search results
-
2016
Socratic dialogue as a teaching and research method for co-creativity?
Stenning, K., Schmoelz, A., Wren, H., Stouraitis, E., Scaltsas, T., Alexopoulos, K. & Aichhorn, A., 1 Jul 2016, (E-pub ahead of print) In: Digital Culture and Education. 8, 2, p. 154-168 13 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
1999
Unnatural Language Processing
Oberlander, J., Monaghan, P., Cox, R., Stenning, K. & Tobin, R., Jun 1999, In: Journal of Logic, Language and Information. 8, 3, p. 363-384 22 p.Research output: Contribution to journal › Article › peer-review
-
Hyperproof : abstraction, visual preference and multimodality
Oberlander, J., Stenning, K. & Cox, R., 1999, Logic, Language and Computation. Moss, L. S., Ginzburg, J. & de Rijke, M. (eds.). Stanford, CA, USA: CSLI Publications/Center for the Study of Language and Information, Vol. 2. p. 222-236 15 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
File -
1997
Assigning Information to Modalities: Comparing Graphical Treatments of the Syllogism
Stenning, K. & Tobin, R., 1997, Logic, Action and Cognition: Essays in Philosophical Logic. Ejerhed, E. & Lindström, S. (eds.). Dordrecht: Springer, p. 211-228 18 p. (Trends in Logic: Studia Logica Library; vol. 2).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
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
Extension of the temporal synchrony approach to dynamic variable bindingin a connectionist inference system
Park, N. S., Robertson, D. & Stenning, K., Dec 1995, In: Knowledge-Based Systems. 8, 6, p. 345 - 357 13 p.Research output: Contribution to journal › Article › peer-review
-
Contrasting the cognitive effects of graphical and sentential logic teaching: Reasoning, representation and individual differences
Stenning, K., Cox, R. & Oberlander, J., 1 Aug 1995, In: Language and Cognitive Processes. 10, 3-4, p. 333-354Research output: Contribution to journal › Article › peer-review
Open AccessFile -
The effect of graphical and sentential logic teaching on spontaneous external representation
Cox, R., Stenning, K. & Oberlander, J., Jan 1995, In: Japanese Journal of Cognitive Science. 2, p. 56-75Research output: Contribution to journal › Article › peer-review
Open AccessFile -
A cognitive theory of graphical and linguistic reasoning: Logic and implementation
Stenning, K. & Oberlander, J., 1995, In: Cognitive Science: A Multidisciplinary Journal. 19, 1, p. 97 - 140Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system
Park, N. S., Robertson, D. & Stenning, K., 1995, In: Knowledge-Based Systems. 8, 6, p. 345-357 13 p.Research output: Contribution to journal › Article › peer-review
-
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
Spatial Inclusion and Analogy for Set Membership: A Case Study of Analogy at Work
Stenning, K. & Oberlander, J., May 1994, Analogical Connections. Barnden, J. A. & Holyoak, K. J. (eds.). Hillsdale, New Jersey: Lawrence Erlbaum Associates, Vol. 2. p. 446-486 31 p. (Advances in Connectionist and Neural Computation; vol. 2).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Open AccessFile -
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
-
1993
Nonsentential representation and nonformality
Stenning, K. & Oberlander, J., 1 Jun 1993, In: Behavioral and Brain Sciences. 16, p. 365-366 2 p.Research output: Contribution to journal › Article › peer-review
Open Access -
An Extension of the Temporal Synchrony Solution to Dynamic Variale Bindings in a Connectionist System
Park, NS., Robertson, D. & Stenning, K., 1993, University of Edinburgh, Department of Artificial Intelligence.Research output: Book/Report › Book
-
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 -
1991
Reasoning with Words, Pictures and Calculi: Computation Versus Justification
Stenning, K. & Oberlander, J., 1991, Situation Theory and Its Applications. Barwise, J., Gawron, J. M., Plotkin, G. & Tutiya, S. (eds.). CSLI Publications, Vol. 2. p. 607-621 15 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review