Theory and Application of Diagrams

1. Front Matter

   Pages I-XII

   PDF

2. Invited Talks

   1. Invited Talk: Representations to Mediate Geospatial Collaborative Reasoning: A Cognitive-Semiotic Perspective

      • Alan M. MacEachren

      Pages 1-1

   2. Invited Talk: Jon Barwise: A Heterogeneous Appreciation

      • Keith Stenning

      Pages 2-2

3. Tutorial 1 - Formal Approaches to Diagrams

   1. Tutorial 1: Formal Approaches to Visual Language Specification and Understanding

      • Kim Marriott

      Pages 3-3

4. Tutorial 2 - Cognitive Approach to Diagrams

   1. Tutorial 2a: Cognitive History of Science: The Roles of Diagrammatic Representations in Discovery and Modeling Discovery

      • David Gooding

      Pages 4-4

   2. Tutorial 2b: Cognitive (Production System) Modelling of How an Expert Uses a Cartesian Graph

      • Hermi Schijf

      Pages 5-5

   3. Tutorial 2c: The Coordination of External Representations and Internal Mental Representations in Display-Based Cognitive Tasks

      • Jiajie Zhang

      Pages 6-6

5. Logic and Diagrams

   1. Positive Semantics of Projections in Venn-Euler Diagrams

      • Joseph Yossi Gil, John Howse, Elena Tulchinsky

      Pages 7-25

   2. On the Completeness and Expressiveness of Spider Diagram Systems

      • John Howse, Fernando Molina, John Taylor

      Pages 26-41

   3. Non-standard Logics for Diagram Interpretation

      • Kim Marriott, Bernd Meyer

      Pages 42-57

   4. Reviving the Iconicity of Beta Graphs

      • Sun-Joo Shin

      Pages 58-73

   5. Constraint Matching for Diagram Design: Qualitative Visual Languages

      • Ana von Klopp Lemon, Oliver von Klopp Lemon

      Pages 74-88

   6. Picking Knots from Trees

      • Frank Drewes, Renate Klempien-Hinrichs

      Pages 89-104

6. Theoretical Concerns about Diagrams

   1. Differentiating Diagrams: A New Approach

      • Jesse Norman

      Pages 105-116

   2. Logical Systems and Formality

      • Patrick Scotto di Luzio

      Pages 117-132

   3. Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems

      • Keith Stenning

      Pages 132-148

7. Cognition and Diagrams

   1. How People Extract Information from Graphs: Evidence from a Sentence-Graph Verification Paradigm

      • Aidan Feeney, Ala K. W. Hola, Simon P. Liversedge, John M. Findlay, Robert Metcalf

      Pages 149-161

   2. Restricted Focus Viewer: A Tool for Tracking Visual Attention

      • Alan F. Blackwell, Anthony R. Jansen, Kim Marriott

      Pages 162-177

   3. Communicating Dynamic Behaviors: Are Interactive Multimedia Presentations Better than Static Mixed-Mode Presentations?

      • N. Hari Narayanan, Mary Hegarty

      Pages 178-193

   4. Capacity Limits in Diagrammatic Reasoning

      • Mary Hegarty

      Pages 194-206

Diagrams 2000 is dedicated to the memory of Jon Barwise. Diagrams 2000 was the ?rst event in a new interdisciplinary conference series on the Theory and Application of Diagrams. It was held at the University of Edinburgh, Scotland, September 1-3, 2000. Driven by the pervasiveness of diagrams in human communication and by the increasing availability of graphical environments in computerized work, the study of diagrammatic notations is emerging as a research ?eld in its own right. This development has simultaneously taken place in several scienti?c disciplines, including, amongst others: cognitive science, arti?cial intelligence, and computer science. Consequently, a number of di?erent workshop series on this topic have been successfully organized during the last few years: Thinking with Diagrams, Theory of Visual Languages, Reasoning with Diagrammatic Representations, and Formalizing Reasoning with Visual and Diagrammatic Representations. Diagrams are simultaneously complex cognitive phenonema and sophis- cated computational artifacts. So, to be successful and relevant the study of diagrams must as a whole be interdisciplinary in nature. Thus, the workshop series mentioned above decided to merge into Diagrams 2000, as the single - terdisciplinary conference for this exciting new ?eld. It is intended that Diagrams 2000 should become the premier international conference series in this area and provide a forum with su?cient breadth of scope to encompass researchers from all academic areas who are studying the nature of diagrammatic representations and their use by humans and in machines.

• Cognition
• Conceptual Graphs
• Diagram Interpretation
• Diagram Semantics
• Diagrammatic Communication
• Diagrammatic Syntax
• Diagrams
• Multimedia
• Unified Modeling Language (UML)
• Visual Languages
• algorithms
• image analysis
• learning
• modeling
• problem solving

• Department of Computer Science, University of Hartford, West Hartford, USA

  Michael Anderson

• School of Psychology ESRC Centre for Research in Development, Instruction and Training, University of Nottingham, University Park, UK

  Peter Cheng

• Computer Science Department, University of Hamburg, Hamburg, Germany

  Volker Haarslev

Policies and ethics