Diagrammatic Reasoning Bibliography
-
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
-
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
-
Bailin, Sidney & Ehrlichman, S.
-
"Diagrams
and Mathematics", in Proceedings of the 4th International Symposium
on AI and Mathematics, Florida, January, 1996.
-
Barwise,
Jon
-
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.)
-
& 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
-
& Do,
Yi-Luen Ellen
-
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
-
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
-
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.
-
"Spatial mental models from descriptions". Journal of the American Society
for Information Science, 45(9), 656-668, 1994.
-
Tonfoni , Graziella
-
Ullman, Shimon
-
"Visual Routines." Cognition 18 (1984) 97-159.
Diagrammatic
Reasoning Site
Maintained by Michael
Anderson (anderson@hartford.edu)
University of Hartford, West Hartford,
Connecticut, USA
Last updated February 22, 1997