• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • AAAI Officers and Committees
    • AAAI Staff
    • Bylaws of AAAI
    • AAAI Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • Award for Artificial Intelligence for the Benefit of Humanity
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • AAAI Resources
    • AAAI Mailing Lists
    • Past AAAI Presidential Addresses
    • Presidential Panel on Long-Term AI Futures
    • Past AAAI Policy Reports
      • A Report to ARPA on Twenty-First Century Intelligent Systems
      • The Role of Intelligent Systems in the National Information Infrastructure
    • AAAI Logos
    • News
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • IAAI
    • ICWSM
    • HCOMP
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AAAI Press
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
  • aaai-icon_ai-magazine-line-yellowAI Magazine
    • Issues and Articles
    • Author Guidelines
    • Editorial Focus
  • MembershipMembership
    • Member Login
    • Developing Country List
    • AAAI Chapter Program

  • Career CenterCareer Center
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

Home / Proceedings / Papers from the 1992 AAAI Spring Symposium /

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

Primary Sidebar