Editorial: Efficacy of Diagrammatic Reasoning

[1]  William P. Alston,et al.  Knowledge and the Flow of Information , 1985 .

[2]  Leo Bagrow,et al.  History of cartography , 1965 .

[3]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[4]  H. Gelernter,et al.  Realization of a geometry theorem proving machine , 1995, IFIP Congress.

[5]  Oliver Lemon,et al.  Spatial logic and the complexity of diagrammatic reasoning , 1997 .

[6]  Sun-Joo Shin,et al.  The logical status of diagrams , 1995 .

[7]  Oliver Lemon,et al.  On the Insufficiency of Linear Diagrams for Syllogisms , 1998, Notre Dame J. Formal Log..

[8]  Zenon Iy. Pylyshyn,et al.  9. Imagery and Artificial Intelligence , 1978 .

[9]  Nelson Goodman,et al.  Languages of Art, an Approach to a Theory of Symbols , 1970 .

[10]  Eric Hammer,et al.  Logic and Visual Information , 1995 .

[11]  Jon Barwise,et al.  Heterogeneous logic , 1996 .

[12]  Brian V. Funt,et al.  Problem-Solving with Diagrammatic Representations , 1980, Artif. Intell..

[13]  Herbert A. Simon,et al.  Why a Diagram is (Sometimes) Worth Ten Thousand Words , 1987 .

[14]  Dimitris Papadias,et al.  Topological Inference , 1995, IJCAI.

[15]  R. Cummins Representations, targets, and attitudes , 1996 .

[16]  Alan Bundy,et al.  On Automating Diagrammatic Proofs of Arithmetic Arguments , 1999, J. Log. Lang. Inf..

[17]  Peter C.-H. Cheng Scientific Discovery With Law-Encoding Diagrams , 1996 .

[18]  H. Levesque Logic and the complexity of reasoning , 1988 .

[19]  N. Goodman,et al.  Languages of art : an approach to a theory of symbols , 1979 .

[20]  David Harel,et al.  On visual formalisms , 1988, CACM.

[21]  Jon Oberlander,et al.  A cognitive theory of graphical and linguistic reasoning: logic and implementation. Cognitive Science , 1995 .

[22]  S. Kosslyn Image and brain: the resolution of the imagery debate , 1994 .

[23]  Atsushi Shimojima,et al.  ON THE EFFICACY OF REPRESENTATION , 1996 .

[24]  Sharon C. Salveter Review of Conceptual structures: information processing in mind and machine by John F. Sowa. Addison-Wesley 1984. , 1986 .

[25]  Putnam,et al.  The Collected Papers. , 1988 .