Diagram processing: Computing with diagrams

Anderson, 1994, Reasoning with diagram sequences 1997 M. Anderson, Inter-diagrammatic reasoning, Ph.D. Dissertation, University of Connecticut, Storrs, CT, 1997 Anderson, 1999, Toward diagram processing: A diagrammatic information system, 394 Anderson, 2000, Diagrammatic reasoning and mathematical morphology, 109 Anderson, 2001, Mining diagrams, 1 Anderson, 1998, Diagrammatic reasoning and color, 13 Anderson, 2002, DiaSketches 2000 Anderson, 1995, Developing a heuristic via diagrammatic reasoning, 227 Anderson, 1995, Inter-diagrammatic reasoning, 878 Anderson, 1996, Diagrammatic reasoning and cases, 1004 Anderson, 1997, Learning from diagrams, J. Machine Vision and Graphics, 6, 57 2002 Barwise, 1991, Visual information and valid reasoning, 9 Berkeley, 1937, Boolean algebra (the technique for manipulating ‘and’, ‘or’ and ‘not’ conditions) and applications to insurance, The Record of the American Institute of Actuaries Bieger, 1985, The information content of picture-text instructions, J. Experimental Education, 53, 68, 10.1080/00220973.1985.10806364 Bieger, 1986, Comprehending spatial and contextual information in picture-text instructions, J. Experimental Education, 54, 181, 10.1080/00220973.1986.10806418 Blum, 1994, Linear approximation of shortest superstrings, J. ACM, 41, 630, 10.1145/179812.179818 Chandrasekaran, 1993, Reasoning with diagrammatic representations, AI Magazine, 14, 49 Date, 1989 L. Euler, Lettres a Une Princesse d'Allemagne, Vol. 2, 1761, Letters 102–108 Evans, 1962, A heuristic program to solve geometry analogy problems, MIT AI Memo, 46 Furnas, 1992, Reasoning with diagrams only, 118 Gelb, 1963 Gelernter, 1959, Realization of a geometry theorem proving machine, 273 Glasgow, 1993, The imagery debate revisited: A computational perspective, Computational Intelligence, 9, 10.1111/j.1467-8640.1993.tb00224.x 1995 J. Gu, Parallel algorithms and architectures for very fast AI search, Ph.D. Dissertation, University of Utah, Salt Lake City, UT, 1989 Hammer, 1995 Howse, 2002, Corresponding regions in Euler diagrams 2002 Jamnik, 2001 Kececioglu, 1995, Exact and approximate algorithms for the sequence reconstruction problem, Algorithmica, 13 Kolodner, 1993 1997, J. Machine Vision and Graphics, 6 Larkin, 1987, Why a diagram is (sometimes) worth ten thousand words, Cognitive Sci., 11, 65, 10.1111/j.1551-6708.1987.tb00863.x Lindsay, 1995, Knowing about Diagrams, 15 McCartney, 1993, Episodic cases and real-time performance in a case-based planning system, Expert Systems with Applications, 6, 9, 10.1016/0957-4174(93)90015-X Mitchell, 1997 1992 Narayanan, 1993, Taking issue/Forum: The imagery debate revisited, Computational Intelligence, 9 Narayanan, 1991, Reasoning visually about spatial interactions Pierce, 1933 L. Purvis, Constraint satisfaction combined with case-based reasoning for assembly sequence planning, Technical Report CSE-TR-93-20, University of Connecticut, Storrs, CT, 1995 Qin, 1995, Imagery and mental models Ritter, 1996 Serra, 1982 Serra, 1988 Shah, 2002, Graph comprehension: The role of format, content and individual differences Shin, 1994 Sloman, 1995, Musings on the roles of logical and non-logical representations in intelligence Sloman, 2002, Diagrams in the Mind? H.S. Stone, J. Stone, Efficient search techniques: An empirical study of the n-queens problem, Technical Report RC 12057, IBM T.J. Watson Research Center, Yorktown Heights, NY, 1986 Venn, 1894 Willows, 1987 Wyszecki, 1982