Reasoning with Diagrammatic Representations

Contents

• Implementing Logics in Diagrams

  Keith Stenning and J. Oberlander

  PDF

• Using Concrete, Perceptually-Based Representations to Avoid the Frame Problem

  Scott Huffman and J. E. Laird

  PDF

• A Model of Interaction with Geometry Diagrams

  T. McDougal and K. Hammond

  PDF

• Emergent Properties and Structural Constraints: Advantages of Diagrammatic Representations for Reasoning and Learning

  Ken Koedinger

  PDF

• Diagram Semantics and Scheme Algebra: A Framework for the Analysis and Simulation of Diagrammatic Reasoning

  Michael May

  PDF

• Perceptual Representation and Reasoning

  B. Chandrasekaran and N. H. Narayanan

  PDF

• A Cognitive Theory of Visual Interaction

  Erika Rogers

  PDF

• Diagrammatical Aspects of Qualitative Representation of Space

  Daniel Hernandez

  PDF

• Diagrammatic Semantics for Spatial Prepositions

  Tom Ioerger

  PDF

• Integrating Analogical and Sentential Reasoning for Perception

  Karen Myers and K. Konolige

  PDF

• Abstracted Models in Conceptual Change in Science: Analogy, Imagery, and Thought Experiment

  Nancy J. Nersessian

  PDF

• Graphoids: An Axiomatic Characterization of Graphical Representations

  Judea Pearl

  PDF

• Control of Automated Empirical Discovery by Diagrammatic Representation of Theory

  J. M. Zytkow and J. Zhu

  PDF

• Automated Interpretation of Diagrams for Specification of Medical Protocols

  J. W. Egar, A. R. Puerta and M. A. Musen

  PDF

• Diagrammatic Reasoning in Interdisciplinary Communication

  R. Fruchter, H. Krawinkler and Y. Iwasaki

  PDF

• Research Summary

  Steffen Werner

  PDF

• Computational Imagery

  Janice Glasgow and D. Papadias

  PDF

• Qualitative Models in Conceptual Design: A Case Study

  Boi Faltings

  PDF

• Creative Inference in Imagery and Invention

  Ronald Finke

  PDF

• Qualitative Compartmental Modeling

  Tim Menzies, Paul Compton, Bart Feldman and Thomas Toth

  PDF

• Animation of Horn Clause Proofs

  Ken Kahn

  PDF

• A Computer Model of Diagrammatic Reasoning

  N. Hari Narayanan and B. Chandrasekaran

  PDF

• Use of Reconstructed Spatial Image in Natural Language Understanding Process

  A. Yamada, T. Yamamoto, H. Ikeda, T. Nishida and S. Doshita

  PDF

• Statement of Research Interests

  Irvin Katz

  PDF

• Spatial Mental Representations

  Barbara Tversky

  PDF

• Proofs and Pictures: Proving the Diamond Lemma with the GROVER Theorem Proving System

  David Barker-Plummer and S. C. Bailin

  PDF

• Commonsense Reasoning about Moving Objects: an Elusive Goal

  Leo Joskowicz

  PDF

• Diagrammatic Reasoning of Tabular Data

  Todd R. Johnson, Jack W. Smith, Kathy Johnson, Nasir K. Amra and Matthew DeJongh

  PDF

• Hyperproof: Logical Reasoning with Diagrams

  Jon Barwise and J. Etchemendy

  PDF

• Informational Diagrams in Scientific Documents

  C. M. Carriero, R. P. Futrelle, N. Nikolakis and M. Tselman

  PDF

• Reasoning with Diagrams Only

  George Furnas

  PDF

• Automatic Design of Efficient Visual Problem Representations

  Steve Casner

  PDF

• Diagrammatic Reasoning in Scientific Discovery: Modeling Galileo’s Kinematic Diagrams

  Peter H. Cheng

  PDF

• Reasoning and Inference-making with Architectural Plans

  Janice Gobert Wickham

  PDF

• Acquiring Visual-Linguistic Associations and Reasoning With Them

  Ganesh Mani and W. C. Bulko

  PDF

• Reasoning About Ultrasound with Diagrams

  Steven Morris

  PDF

• A Semantic Analysis of Inference Involving Venn Diagrams

  Sun-Joo Shin

  PDF

• Qualitative Spatial Reasoning: Framework and Frontiers

  Kenneth D. Forbus

  PDF

• Situated Cognition in Diagrammatic Reasoning

  M. Lewis and J. Toth

  PDF

• Use of Diagrams in Solving Physics Problems

  Gordon Novak and W. C. Bulko

  PDF

• The Philosophical Case Against Visual Images: a Crucial Experiment

  Peter Slezak

  PDF

• Effect of Mode of Data Representation Reasoning About Economic Markets

  Hermina J. M. Tabachneck and H. A. Simon

  PDF

• Experiential Reasoning

  Brian Funt

  PDF

• Imagery and Mental Models in Problem Solving

  Yulin Qin and H. A. Simon

  PDF

• Author Index

  Index of symposium authors.

  PDF

• Expert Diagrammatic Reasoning in Biology

  Ann Kindfield

  PDF

• Diagrammatic Reasoning in Structural Analysis

  Y. Iwasaki and S. Tessler

  PDF

• Applying Means-ends Analysis to Spatial Planning

  B. Faltings and P. Pu

  PDF

• Ill-Structured Diagrams for Ill-structured Problems

  Vinod Goel

  PDF

• Combining Depictorial and Propositional Inferences for Processing Spatial Expressions

  L. Latecki and S. Pribbenow

  PDF

• A Qualitative Model for the Behavior of Liquids in Daily-life Circumstances

  J. Decuyper, D. Keymeulen and L. Steels

  PDF

• Diagrammatic Reasoning by Simulation

  Robert K. Lindsay

  PDF

• The Utility of Diagrammatic Representation for Model-based Reasoning

  Ethan Scarl

  PDF