This is a preview of subscription content, log in via an institution to check access.
References
Bagrow, L. and Skelton, R.A., 1964, History of Cartography, London: C.A. Watts and Co.
Barker-Plummer, D. and Bailin, S.C., 1997, “The role of diagrams in mathematical proofs,” Machine GRAPHICS and VISION 6(1), 25–56 (special issue on “Diagrammatic Representation and Reasoning”).
Barwise, J. and Etchemendy, J., 1995, “Heterogeneous logic,” pp. 209–232 in Diagrammatic Reasoning: Cognitice and Computational Perspectives, J. Glasgow, N.H. Narayanan, and B. Chandrasekaran, eds., Cambridge, MA: AAAI Press/The MIT Press.
Barwise, J. and Shimojima, A., 1995, “Surrogate reasoning,” Cognitive Studies: Bulletin of Japanese Cognitive Science Society 4(2), 7–27.
Cheng, P.C.-H., 1996, “Scientific discovery with law-encoding diagrams,” Creativity Research Journal 9(2/3), 145–162.
Cummins, R., 1996, Representations, Targets, and Attitudes, Cambridge, MA: The MIT Press.
Dretske, F., 1981, Knowledge and the Flow of Information, Cambridge, MA: Bradford/The MIT Press.
Eggleston, H.G., 1969, Convexity, Cambridge: Cambridge University Press.
Euler, L., 1768, Lettres à une princesse d'Allemagne, St. Petersburg: L'Académie Impériale des Sciences.
Funt, B.V., 1980, “Problem-solving with diagrammatic representations,” Artificial Intelligence 13, 201–230.
Gärdenfors, P.: 1996, “Mental representation, conceptual spaces, and metaphors,” Synthese 106, 21–47.
Gelernter, H., 1959, “Realization of a geometry-theorem proving machine,” pp. 134–152 in Computers and Thought, E.A. Feigenbaum and J. Feldman, eds., New York: McGraw-Hill.
Gooday, J. and Cohn, A., 1996, “Using spatial logic to describe visual languages,” Artificial Intelligence Review 10, 171–186.
Goodman, N., 1968, Languages of Art: An Approach to a Theory of Symbols, London: Oxford University Press.
Grigni, M., Papadias, D., and Papadimitriou, C., 1995, “Topological inference,” pp. 901–906 in International Joint Conference on Artificial Intelligence (IJCAI' 95), C.S. Mellish, ed., Morgan Kaufmann.
Hammer, E.M., 1995, Logic and Visual Information, Studies in Logic, Language, and Information, Stanford, CA: CSLI Publications and FoLLI.
Harel, D., 1988, “On visual formalisms,” Communications of the ACM 31(5), 514–530.
Howell, R., 1976, “Ordinary pictures, mental representations, and logical forms,” Synthese 33, 149–174.
Jamnik, M., Bundy, A., and Green, I., 1999, “On automating diagrammatic proofs of arithmetic arguments,” Journal of Logic, Language, and Information, this issue.
Kosslyn, S.M., 1994, Image and Brain: The Resolution of the Imagery Debate, Cambridge, MA: The MIT Press.
Larkin, J. and Simon, H., 1987, “Why a diagram is (sometimes) worth 10,000 words,” Cognitive Science 11 65–99.
Lemon, O. and Pratt, I., 1997a, “Logical and diagrammatic reasoning: The complexity of conceptual space,” pp. 430–435 in 19th Annual Conference of the Cognitive Science Society, M. Shafto and P. Langley, eds., New Jersey: Lawrence Erlbaum Associates.
Lemon, O. and Pratt, I., 1997b, “Spatial logic and complexity of diagrammatic reasoning,” Machine GRAPHICS and VISION 6(1), 89–108 (special issue on “Diagrammatic Representation and Reasoning”).
Lemon, O. and Pratt, I., 1999, “On the insufficiency of linear diagrams for syllogisms,” Notre Dame Journal of Formal Logic, to appear.
Levesque, H.J., 1988, “Logic and the complexity of reasoning,” Journal of Philosophical Logic 17, 355–389.
Peirce, C.S., 1933, Collected Papers, Cambridge, MA: Harvard University Press.
Pylyshyn, Z.W., 1981, “Imagery and artificial intelligence,” pp. 170–196 in Readings in Philosophy of Psychology, Vol. 2, N. Block, ed., Cambridge, MA: Harvard University Press.
Russell, B., 1923, “Vagueness,” pp. 145–154 in Essays on Language, Mind, and Matter 1912-26, The Collected Papers of Bertrand Russell, J. Slater, ed., London: Unwin Hyman.
Shimojima, A., 1996, “On the efficacy of representation,” Ph.D. Thesis, Indiana University.
Shin, S.-J., 1995, The Logical Status of Diagrams, Cambridge: Cambridge University Press.
Sowa, J.F., 1984, Conceptual Structures: Information Processing on Mind and Machine, London: Addison Wesley.
Stenning, K. and Lemon, O., 1999, “Aligning logical and psychological perspectives on diagrammatic reasoning,” Artificial Intelligence Review, to appear.
Stenning, K. and Oberlander, J., 1995, “A cognitive theory of graphical and linguistic reasoning: Logic and implementation,” Cognitive Science 19(1), 97–140.
Venn, J., 1881, Symbolic Logic, London: MacMillan.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lemon, O., de Rijke, M. & Shimojima, A. Editorial: Efficacy of Diagrammatic Reasoning. Journal of Logic, Language and Information 8, 265–271 (1999). https://doi.org/10.1023/A:1008349211870
Issue Date:
DOI: https://doi.org/10.1023/A:1008349211870