Diagrammatic Reasoning Bibliography

A	B	C	D	E	F	G	H	I	J	K	L	M	N	O	P	Q	R	S	T	U	V	W	X	Y	Z

Amarel, Saul

"On Representations of Problems of Reasoning about Actions" in Machine Intelligence 3, D. Michie (ed.) Edinburgh: Edinburgh University Press, 1968, pp. 131-171.

Allwein, Gerard

& Barwise, Jon

Logical Reasoning with Diagrams, Oxford University Press, 1996, (ISBN: 0-19-510427-7)

Anderson, Michael

"Reasoning with Diagram Sequences" in Proceedings of the Conference on Information-Oriented Approaches to Logic, Language and Computation (Fourth Conference on Situation Theory and its Applications), Moraga, California. June, 1994.
Editor, Reasoning with Diagrammatic Representations II Papers from the 1997 Fall Symposium , Massachusetts Institute of Technology, 1997
"Towards Diagram Processing: a Diagrammatic Information System", Proceedings of the 16th National Conference on Artificial Intelligence, Orlando, Florida. July, 1999.
& Armen, C.

"Diagrammatic Reasoning and Color", Proceedings of the 1998 AAAI Fall Symposium on Formalization of Reasoning with Visual and Diagrammatic Representations, Orlando, Florida. October, 1998.

& McCartney, Robert

"Developing a Heuristic via Diagrammatic Reasoning" in Proceedings of the 10th Annual Symposium on Applied Computing. Nashville, Tennessee, February, 1995.
"Inter-diagrammatic Reasoning", Proceedings of the 1995 International Joint Conference on Artificial Intelligence, Montreal, Canada. August, 1995.
"Diagrammatic Reasoning and Cases", Proceedings of the Thirteenth National Conference on Artificial Intelligence, Portland, Oregon, 1996.
"Inductive Learning and Diagrams", Proceedings of International Workshop on the Theory of Graphical Languages, Capri, Italy, 1997.
"Learning from Diagrams", Special Issue on Diagrammatic Representation and Reasoning, Machine GRAPHICS & VISION, Vol. 6, No. 1, 1997.

Baalen, Jeffrey Van

"Automated Design of Specialized Representations," Artificial Intelligence, 54 (1992) 121-198.

Barker-Plummer, Dave

& Bailin, Sidney

"Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams." in Proceedings of the 10th European Conference on Artificial Intelligence

Bailin, Sidney & Ehrlichman, S.

"Diagrams and Mathematics", in Proceedings of the 4th International Symposium on AI and Mathematics, Florida, January, 1996.

Barwise, Jon

& Etchemendy , John

"Visual Information and Valid Reasoning" in Visualization in Mathematics, Zimmerman and Cunningham (eds.), Mathematical Association of America, 1990.
Hyperproof, CSLI Press, 1994, (ISBN: 1-881526-11-9)
"Computers, Visualization, and the Nature of Reasoning"

Bertin, Jacques

"Semiology of Graphics: Diagrams, Networks, Maps," Univ. of Wisconsin Press, 1983. {also final chapters in: Bertin, Jacques, "Graphics and Graphic Information Processing," Walter de Gruyter, Berlin 1981.}

Bowman, William J.

"Graphic Communication," J. Wiley, New York 1968.

Brown, James Robert

"Proofs and Pictures", British Journal for the Philosophy of Science, 1997
Philosophy of Mathematics: An Introduction to the World of Proofs and Pictures, Routledge, 1999

Bryant, David J.

"A Spatial Representation System in Humans." Accepted for publication in Psycoloquy.

Carroll, Lewis

Symbolic Logic and Game of Logic. New York: Dover Publications, 1958.

Chandrasekaren, B.

& Narayanan, H.

"Towards a Theory of Commonsense Visual Reasoning" in K.V. Nori and C.E. Madhavan (eds.), Foundations of Software Technology and Theoretical Computer Science: Proceedings of the Tenth Conference, Lecture Notes in Computer Science, 472, Berlin: Springer-Verlag, 1990, pp. 388-409.
"Integrating imagery and visual representations". Proceedings of the Twelfth Annual Conference of the Cognitive Science Society, Lawrence Erlbaum Associates, pp. 670-677, 1990.
"Perceptual representation and reasoning". Chapter 4 in Leon Sterling, (Editor), Intelligent Systems: Concepts and Applications, Plenum Press, 1993, pp. 67-76.

Narayanan, N. H. & Iwasaki, Y.

"Reasoning with diagrammatic representations", AI Magazine, 14(2): 49-56, 1993.

Chang, Shi-Kuo

"Visual Reasoning for Information Retrieval from Very Large Databases" in Journal of Visual Languages and Computing (1990) 1, 41-58.

Cheng, Peter

"Diagrammatic Reasoning in Scientific Discovery: Modelling GalileoUs Kenematic Diagrams" in Symposium: Reasoning with Diagrammatic Representations - Working Notes. (AAAI Spring Symposium Series, Stanford University, March 1992), 33-38.
& Simon, H.A.

"The right representation for discovery: Finding the conservation of momentum?" In D. Sleeman and P. Edwards, Machine Learning: Proceedings of the Ninth International Conferernce (ML92), San Mateo, CA: Morgann Kaufmann., 1992

Cox, P.T.

& Pietrzykowski, T.

"Using a Pictorial Representation to Combine Dataflow and Object-Orientation in a Language Independent Programming Mechanism," Proc. Internatl. Comp. Sci. Conf., Elsevier & IEEE Computer Society Press 1988, pp. 695-704; also reprinted in: Visual Programming Environments, Vol. I: Paradigms and Systems, E.P. Glinert (ed.), IEEE Computer Society Press, Washington DC, 1990, pp. 313-322.

Giles, F.R., & Pietrzykowski, T.

"Prograph: A Step Towards Liberating Programming from Textual Conditioning," Proc. 1989 IEEE Workshop on Visual Languages, IEEE Computer Society Press, Washington, DC, 1990, pp. 150-156.

Cox, R.

Oberlander, J. & Stenning, K.

"Multi-modal reasoning: graphical proofs and cognitive styles." In the Proceedings Fourth International Conference on Situation Theory and its Applications, Saint Mary's College of California, Moraga, California, USA. June 94. pps. 403--414. (in press)

Stenning, K. & Oberlander, J.

"The effect of graphical and sentential logic teaching on spontaneous external representation." Japanese Journal of Cognitive Science. (in press)

Do, Yi-Luen Ellen.

"What's in a diagram that a computer should understand"; in M. Tan & R. Teh (ed), The Global Design Studio, Proceedings of the Sithe International Conference on Computer Aided Architectural Design Futures 95, National University of Singapore: pp. 469-482
& Gross, Mark D.

"Drawing Analogies: finding visual references by sketching"; in L. Kalisperis & B. Kolarevic (ed), Proceedings, Association for Computer Aided Design in Architecture (ACADIA 95), 1995 National Conference for Computing in Design, Seattle, pp. 35-52
"Supporting Creative Architectural Design with Visual References""; in J. Gero etal (ed), 3rd International Conference on Computational Model of Creative Design, Australia, 1995, pp. 37-58
"Reasoning about Cases with Diagrams""; to appear in Jorge Vanegas (ed), Third Congress on Design Computing, Anaheim, 1996, American Society of Civil Engineers.

Dondis, D.A.

"A Primer of Visual Literacy," MIT Press, Cambridge, MA 1975.

Dreyfus, Tommy.

"On the Status of Visual Reasoning in Mathematics and Mathematics Education."

Fishwick, P.

Narayanan, N. H., Sticklen, J. and Bonarini A.

A multimodel approach to reasoning and simulation. IEEE Trans. on Systems, Man and Cybernetics, 24(10): 1433-1449, 1994.

Fisler, Kathi

"Containment of Regular Languages in Non-Regular Timing Diagram Languages is Decidable", Proceedings of Computer-Aided Verification (CAV)'97, LNCS, June 1997.
"A Unified Approach to Hardware Verification Through a Heterogeneous Logic of Design Diagrams", PhD Thesis. Indiana University Department of Computer Science, August 1996.
"A Canonical Form for Circuit Diagrams." Indiana University Technical Report 432, May 1995.
"Exploiting the Potential of Diagrams in Guiding Hardware Reasoning." To appear in Logical Reasoning with Diagrams, edited by Gerard Allwein and Jon Barwise, Oxford University Press, In Press.
& Johnson, Steven D.

"Integrating Design and Verification Environments Through a Logic Supporting Hardware Diagrams." Proceedings of Computer Hardware Description Languages and Their Applications (CHDL) '95, June, 1995.

Forbus, Kenneth D.

"Qualitative Spatial Reasoning: Framework and Frontiers."
Nielsen, Paul & Faltings, Boi

"Qualitative Spatial Reasoning: The CLOCK Project." February, 1991.

Fruchter, R.

Iwasaki, Y. & Krawinkler, H.

"Diagrammatic Reasoning in Interdisciplinary Communication." Symposium: Reasoning with Diagrammatic Representations, AAAI Spring Symposium Series, Stanford University, Stanford 1992.

Funt, Brian V.

"Problem-Solving with Diagrammatic Representions," in Artificial Intelligence 13 (1980), 201-230.

Furnas, George

"Reasoning with Diagrams Only" in Symposium: Reasoning with Diagrammatic Representations - Working Notes. (AAAI Spring Symposium Series, Stanford University, March 1992), 118-123.

Futrelle, Robert

"Discourse theory for text and graphics--Application to scientific papers."

Gardner, Martin

Logic Machines and Diagrams. (NY: McGraw-Hill Book Company, Inc., 1958).

Gelernter, H.

"Realization of a Geometry-Theorem Proving Machine" in Feigenbaum and Feldman (eds.) Computers and Thought. McGraw-Hill Book Company, 1963, 134-150.

Glasgow, J.L.

Narayanan, N. H. & Chandrasekaran, B. (Eds.)

Diagrammatic Reasoning: Cognitive and Computational Perspectives, Boston, MA: MIT Press and Menlo Park, CA: AAAI Press, 1995

& Papadias, D.

"Computational Imagery" to appear in Cognitive Science Journal.

Goel, Vinod

" Ill-Structured Diagrams for Ill-Structured Problems." Symposium: Reasoning with Diagrammatic Representations - Working Notes (Stanford University, March 1992), 66-71.
Sketches of Thought, MIT Press, 1995

Goodman, Nelson

Languages of Art: An Approach to a Theory of Symbols. The Bobbs-Merrill Company, Inc. 1968, 127-173.

Gross, Mark D.

"The Electronic Cocktail Napkin - computer support for working with diagrams"; in Volume 17, No. 1, p 53-69, 1996, Design Studies.
"Indexing visual databases in architecture with diagrams"; in A. Koutamanis, H. Timmermans and I. Vermeulen (eds) Visual Databases,1995, Avebury.
"Recognizing and Interpreting Diagrams in Design;" in T. Catarci. M. Costabile, S. Levialdi, G. Santucci eds., Advanced Visual Interfaces '94, ACM Press.
"Stretch-A-Sketch, a dynamic diagrammer"; in A. Ambler ed., IEEE Symposium on Visual Languages 1994.
"The Cocktail Napkin, the Fat Pencil, and the Slide Library"; in Proceedings, Association for Computer Aided Design in Architecture, 1994 National Conference, St Louis. 1994. pp. 103-114
& Zimring, Craig and Do, Yi-Luen Ellen

"Accessing a case library of designs with diagrams"; in J. Gero (ed), Artificial Intelligence in Design '94, Kluwer. pp. 129-144

& Do, Yi-Luen Ellen

"Diagram Query & Image Retrieval in Design"; in 2nd International Conference on Image Processing in Washington. D. C. IEEE Computer Society Press, 1995. Vol II: 3-8-311

Hagiya, Masami

"A Formal Approach to Visual Proving Based on Logic Programming." Submitted to VL T92.

Harris, Robert L.

Information Graphics: A Comprehensive Illustrated Reference, Management Graphics, Atlanta, GA, 1996.

Harel, David

"On Visual Formalisms." Communications of the ACM, vol. 31, No. 5, 1988, pp. 514-530; also reprinted in: Visual Programming Environments, Vol. I: Paradigms and Systems, E.P. Glinert (ed.), IEEE Computer Society Press, Washington DC, 1990, pp. 171-187.

Hammer, Eric

"Reasoning With Sentences and Diagrams." 1992.
Logic and Visual Information

Hoaglund, John

Critical Thinking, Chapter 6. "Argument analysis by diagramming", Vale Press, 1995. ISBN: 0-916475-077

Huffman, Scott B.

& Laird, John E.

"Using Concrete, Perceptually Based Representations to Avoid the Frame Problem. Symposium: Reasoning with Diagrammatic Representations - Working Notes (Stanford University, March 1992), 124-129.

Ioerger, T.R.

The manipulation of images to handle indeterminacy in spatial reasoning. Cognitive Science, 18:551-593. 1994.

Iwasaki, Yumi

"Problem Solving with Diagrams: Introduction." Diagrammatic Reasoning: Computational and Cognitive Perspectives on Problem Solving with Diagrams. J. Glasgow, B. Chandrasekaran, and H. Narayanan, eds. AAAI Press.
"Use of diagrams in qualitative reasoning." Special issue on diagrammatic reasoning of the Journal of Japanese Society of Artificial Intelligence, Vol. 9, No. 2, March 1994. In Japanese.
Tessler, S. & Law, K. H.

"REDRAW: Diagrammatic Reasoner for Qualitative Structural Analysis." Diagrammatic Reasoning: Computational and Cognitive Perspectives on Problem Solving with Diagrams. J. Glasgow, B. Chandrasekaran, and H. Narayanan, eds. AAAI Press.

Jamnik, M.

On Automating Diagrammatic Proofs of Arithmetic Arguments. Unpublished PhD thesis. Division of Informatics, University of Edinburgh. 1999. 236pp.
Bundy, A. & Green, I..

On Automating Diagrammatic Proofs of Arithmetic Arguments. Journal of Logic, Language and Information.8(3):297-321, 1999. Also available as Department of Artificial Intelligence Research Paper No. 910. 26pp.

Johnson-Laird, Phillip N.

& Byrne, Ruth M.J.

Deduction (Precis.) Hillsdale, NJ: Lawrence Erlbaum and Hove, Sussex, UK (1991).

Kahn, Kenneth M.

"Animation of Horn Clause Proofs."
& Vijay A. Saraswat.

"Complete Visualization of Concurrent Programs and their Executions." Xerox Palo Alto Research Center, 1990.

Kimura, Takayuki Dan

Julie W. Choi, and Jane M. Mack

"Show and Tell: A Visual Programming Language", in: Visual Programming Environments, Vol. I: Paradigms and Systems, E.P. Glinert (ed.), IEEE Computer Society Press, Washington DC, 1990, pp. 397-404.

Kirsch, R., A.

"Computer Interpretation of English and Text and Picture Patterns," IEEE Transactions on Electronic Computers, Vol. 13, pp. 363-376, 1964.

Kirsch, Joan

& Russell A. Kirsch

"The Painting Style: Description with Computer Rules." Leonardo 21:4 (1988).

Kleiber, M.

& Kulpa, Z.

"Computer-assisted hybrid reasoning in simulation and analysis of physical systems." Computer Assisted Mechanics and Engineerind Sciences (CAMES), vol. 2, No. 3, pp. 165-186, 1995.

Koedinger, Kenneth R.

"Emergent Properties and Structural Constraints: Advantages of Diagrammatic Representations for Reasoning and Learning" prepared for the AAAI Spring Symposium Series, Reasoning with Diagrammatic Representations, Stanford, CA, March 1992.

Kosslyn,S.M.

& Schwartz, S.P.

"A Data-Driven Simulation of Visual Imagery", Cognitive Science 1, 1977.

Kulpa, Zenon

"Diagrammatic Representation and Reasoning", Machine GRAPHICS & VISION, Vol. 3, Nos. 1/2, 77-103, 1994.
Editor, Special Issue on Diagrammatic Representation and Reasoning, Machine GRAPHICS & VISION, Vol. 6, No. 1, 1997

Lakin, Fred

"Computing With Text-Graphic Forms," proceedings of the 1980 ACM Lisp Conference, pp 100-107.
"Visual Grammars For Visual Languages," proceedings of AAAI-87, conference of the AMERICAN ASSOCIATION for ARTIFICIAL INTELLIGENCE, Seattle, Washington, July 1987, pp 683-688.
"A Visual Agent For Performance Graphics," presented at the 1994 AAAI Spring Symposium on Believable Agents at Stanford University in March 1994, and published in the working notes.

Larkin, Jill H.

& Simon, Herbert A.

"Why a Diagram is (Sometimes) Worth Ten Thousand Words." Cognitive Science 11 (1987), 65-100.

Levy, David M.

& Olson, Kenneth R.

"Type, Tokens and Templates." October, 1991.

Brotsky, Daniel C. & Olson , Kenneth R.

"Formalizing the Figural: Aspects of a Foundation for Document Manipulation." 1988.

Lewis, C. Michael

"Visualizations and Situations," Situation Theory and its Applications, vol. 2. CSLI Lecture Notes No. 26 (1991), pp. 553-580.

Mackinlay, J.

& Genesereth, M.R.

"Expressiveness of Languages," Proc AAAI-84, William Kaufmann, Los Altos, CA 1984, pp. 226-232.
"Expressiveness and Language Choice," Data & Knowledge Engineering, Vol. 1, No. 1, 1985, pp. 17-29. (extended version of (Mackinlay and Genesereth, 1984).)

Marks, Joe

"A Syntax and Semantics for Network Diagrams," Proc. 1990 IEEE Workshop on Visual Languages, IEEE Computer Society Press, Washington, DC, 1990, pp. 104-110.
& Reiter, E.

"Avoiding Unwanted Conversational Implicatures in Text and Graphics," Proc. AAAI-90, AAAI Press & MIT Press, Menlo Park, CA & Cambridge, MA 1990, pp. 450-456.

Myers, Karen

& Konolige, Kurt

"Integrating Sentential Reasoning for Perception" , 1992.

Najork, M.A.

& Golin, E.

"Enhancing Show and Tell with a Polymorphic Type System and Higher-Order Functions," Proc. 1990 IEEE Workshop on Visual Languages, IEEE Computer Society Press, Washington, DC, 1990, pp. 215-220.

Narayanan, N. Hari

"Imagery: computational and cognitive perspectives". Computational Intelligence, 9(4), 1993.
"Visual reasoning in discovery, instruction and problem solving". (Symposium Report) Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society, Lawrence Erlbaum Associates, pp. 980-984, 1994.
& Chandrasekaran, B.

"Integration of Qualitative and Quantitative Methods in Visual Reasoning", Proceedings of the Second Annual Conference on AI Simulation and Planning in High Autonomy Systems, IEEE Computer Society Press, pp. 272-278, 1991.
"Reasoning Visually about Spatial Interactions" in Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 1991. Mountain View, CA: Morgan Kaufmann Publishers, pp. 360-365.

& Hegarty, M.

"Comprehending and reasoning with multi-modal representations: educational implications". Proceedings of the Second International Symposium on Cognition and Education: A Multidisciplinary Perspective, 1994.

Suwa, M. & Motoda, H.

"Behavior hypothesis from schematic diagrams: a hybrid approach". Proceedings of the IJCAI-93 Workshop on Principles of Hybrid Representation and Reasoning, pp. 50-61, 1993.
"A case for depictive representations". Proceedings of the Research Workshop on Fundamentals of Artificial Intelligence, Japanese Society for Artificial Intelligence, pp. 1-8, 1993.
"How things appear to work: predicting behaviors from device diagrams". Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI Press, p. 1161-1167, 1994.
"A study of diagrammatic reasoning from verbal and gestural data". Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society, Lawrence Erlbaum Associates, pp. 652-657, 1994.
"Behavior hypothesis from schematic diagrams". Chapter 15 in Glasgow, J. I., Narayanan, N. H. and Chandrasekaran, B. (Eds.) Diagrammatic Reasoning: Computational and Cognitive Perspectives, Boston, MA: MIT Press and Menlo Park, CA: AAAI Press, 1995.
"Diagram-based problem solving: The case of an impossible problem". Proceedings of the Seventeenth Annual Conference of the Cognitive Science Society, 1995.

Nelson, Roger

"Proofs Without Words: Exercises in Visual Thinking", Classroom Resource Materials/Number 1, The Mathematical Association of America, 1993, ISBN: 0-88385-700-6.

Novak Jr., Gordon S.

"Representations of Knowledge in a Program for Solving Physics Problems", Proc. 5th International Joint Conference on Artificial Intelligence (IJCAI-77), Cambridge, MA, August 1977, pp. 286-291.
"Computational and Brain Representations of Imagery" (commentary on a paper by Janice Glasgow), Computational Intelligence, vol. 9, no. 4 (Nov. 1993), pp. 398-401.
"Generating Programs from Connections of Physical Models", Proc. Tenth Conference on Artificial Intelligence for Applications (CAIA-94), San Antonio, Texas, March 1994, pp. 224-230.
"Composing Reusable Software Components through Views", Proc. 9th Knowledge-Based Software Engineering Conference (KBSE-94), Monterey, CA, Sept. 1994, pp. 39-47.
"Conversion of Units of Measurement", IEEE Trans. on Software Engineering, vol. 21, no. 8 (Aug. 1995), pp. 651-661.
"Diagrams for Solving Physical Problems", in Janice Glasgow, N. Hari Narayanan, and B. Chandrasekaran, eds., Diagrammatic Reasoning: Cognitive and Computational Perspectives, AAAI Press / MIT Press, 1995, pp. 753-774.
& Bulko, William

"Understanding Natural Language with Diagrams", Proc. National Conference on Artificial Intelligence (AAAI-90), Aug. 1990, pp. 465-470.
"Uses of Diagrams in Solving Physics Problems", 1992 AAAI Spring Symposium on Reasoning with Diagrammatic Representations, Stanford, March 25-27, 1992.
"Diagrams and Text as Computer Input", Journal of Visual Languages and Computing4 (1993), pp. 161-175.

Pearl, Judea

"Markov and Bayes Networks: A Comparison of Two Graphical Representations of Probabilistic Knowledge." December, 1986.
& Verma, Thomas.

"The Logic of Representing Dependencies by Directed Graphs" in Proceedings, AAAI-87 Conference, Seattle, WA, July 13, 1987, pp. 374-379.

Roberts, Erika

"Visual Interaction: A Link Between Perception and Problem-Solving", Ph.D. dissertation, Georgia Tech, 1995.

Selker, T.

& Koved, L.

"Elements of Visual Language," Proc. 1988 IEEE Workshop on Visual Languages, IEEE Computer Society Press, Washington, DC, 1988, pp. 38-44.

Shin, Sun-Joo

"A Situation-Theoretic Account of Valid Reasoning with Venn Diagrams," Situation Theory and its Applications, vol. 2. CSLI Lecture Notes No. 26 (1991), 581-605.
The Logical Status of Diagrams, Cambridge University Press, 1995, (ISBN: 0-521-46157-X)

Sloman, Aaron

"Interactions Between Philosophy and Artificial Intelligence: The Role of Intuition and Non-Logical Reasoning and Intelligence," in Artificial Intelligence 2 (1971), 209-225.
"Afterthoughts on Analogical Representations," 1st Workshop on Theoretical Issues in Natural Language Processing (TINLAP-1), Cambridge, MA 1986, 164-168; (Also reprinted in: R.J. Brachman and H.J. Levesque, (Eds.), Readings in Knowledge Representation, Morgan Kaufmann, San Mateo, CA 1985, 432-439).

Sowa, John F.

Conceputal Structures: Information Processing in Mind and Machine. (Reading, MA: Addison-Wesley Publishing Company, 1984), pp. 1-26.

Stenning, Keith

& Inder, R.

"Applying semantic concepts to the media assigment problem in multi-media communication." In Chandrasekaran, & J. Glasgow (eds.) Diagrammatic Reasoning: Computational and Cognitive Perspectives on Problem Solving with Diagrams. MIT Press. pps. 303-338, 1995.

Cox, R. & Oberlander, Jon

"Contrasting the cognitive effects of graphical and sentential logic teaching: reasoning, representation and individual differences." Language and Cognitive Processes, 10 , pps. 333--354, 1995.

& Oberlander, Jon

"A Cognitive Theory of Graphical and Linguistic Reasoning: Logic and Implementation," Cognitive Science, 19, pps. 97-140, 1995.

& Tobin, R.

"Assigning information to modalities: comparing graphical treatments of the syllogism." In Action, Language and Cognition. Ejerhed, E. & Lindstrom, S. (Eds.) Proceedings of International Conference on Dynamic Semantics, Umea, Sweden, September 1993. Kluwer. (in press)

Suwa M.

& Motoda, H.

"Acquisition of associative knowledge by the frustration-based learning method in an auxiliary-line problem", Knowledge Acquisition, Vol.1, pp.113--137, 1989.
"A perceptual criterion for visually controlling learning", in Proc. of 4th international workshop on algorithmic learning theory, Lecture Notes in AI 744, Springer-Verlag, pp.356--369, 1993.
"PCLEARN: a computer model for learning perceptual-chunks", AICOM, vol.7, no.2 , June 1994 (also in Proc. of the 16th Annual Conference of the Cognitive Science Society, Atlanta, GA, Aug. 1994.)

Tessler, S.

Iwasaki, Y. & Law, K. H.

"Qualitative Structural Analysis Using Diagrammatic Reasoning." Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995.
"REDRAW - Diagrammatic Reasoning System for Qualitative Structural Analysis." Knowledge Based Systems for Civil and Structural Engineering, CIVIL-COMP 93, the Fifth International Conference on Civil and Structural Engineering Computing and the Third International Conference in the Application of Artificial Intelligence to Civil and Structural Engineering, pp. 227-234, 1993.

Tversky, B.

"Distortions in memory for visual displays" in S. R. Ellis (Ed.) and M. K. Kaiser and A. Grunwald (Associate Editors), Pictorial communication in virtual and real environments (pp. 61-75). London: Taylor and Francis, 1991.
"Spatial mental models" in G. H. Bower (Ed.), The Psychology of Learning and Motivation: Advances in Research and Theory. Vol. 27 (pp. 109-145). N. Y.: Academic Press, 1991.
"Cognitive origins of graphic conventions" in F. T. Marchese (Editor). Understanding images. Pp. 29-53. New York: Springer-Verlag, 1995.
"Memory for pictures, environments, maps, and graphs" in D. Payne and F. Conrad (Editors), A Synthesis of basic and applied approaches to human memory. Hillsdale, NJ: Erlbaum, in press.
Franklin, N., Taylor, H. A., & Bryant, D. J.