Editorial: Efficacy of Diagrammatic Reasoning
暂无分享,去创建一个
M. de Rijke | Oliver Lemon | Maarten de Rijke | Atsushi Shimojima | Oliver Lemon | Atsushi Shimojima
[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 .