Skip to main content
SpringerLink
Log in
Book cover

Diagrammatic Representation and Inference

6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Ashok K. Goel

    1. School of Interactive Computing, Design & Intelligence Laboratory, Georgia Institute of Technology,, Atlanta, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mateja Jamnik

    1. Computer Laboratory, University of Cambridge, Cambridge, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. N. Hari Narayanan

    1. Department of Computer Science & Software Engineering, Auburn University, Auburn, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6170)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: Diagrams 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (51 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Diagrams in the Mind: Visual or Spatial?

      • Thomas Barkowsky
      Pages 1-1

    2. Understanding Diagrams, and More: The Computer’s View

      • Randall Davis
      Pages 2-2

  3. Tutorials

    1. Diagrams: A Perspective from Logic

      • Dave Barker-Plummer
      Pages 3-3

    2. Drawing Euler Diagrams for Information Visualization

      • John Howse, Peter Rodgers, Gem Stapleton
      Pages 4-4

  4. Graduate Student Symposium

    1. The Graduate Student Symposium of Diagrams 2010

      • Jim Davies
      Pages 5-5

  5. Euler and Venn Diagrams

    1. The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings

      • Yuri Sato, Koji Mineshima, Ryo Takemura
      Pages 6-22

    2. Drawing Euler Diagrams with Circles

      • Gem Stapleton, Leishi Zhang, John Howse, Peter Rodgers
      Pages 23-38

    3. Coloured Euler Diagrams: A Tool for Visualizing Dynamic Systems and Structured Information

      • Paolo Bottoni, Andrew Fish
      Pages 39-53

    4. Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons

      • Peter Rodgers, Jean Flower, Gem Stapleton, John Howse
      Pages 54-68

  6. Formal Aspects of Diagrams

    1. Fragments of Spider Diagrams of Order and Their Relative Expressiveness

      • Aidan Delaney, Gem Stapleton, John Taylor, Simon Thompson
      Pages 69-83

    2. A Calculus for Graphs with Complement

      • Renata de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Petrucio Viana
      Pages 84-98

    3. Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style

      • Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
      Pages 99-114

  7. Reasoning with Diagrams

    1. Alternative Strategies for Spatial Reasoning with Diagrams

      • Mike Stieff, Mary Hegarty, Bonnie Dixon
      Pages 115-127

    2. Relating Two Image-Based Diagrammatic Reasoning Architectures

      • Michael Anderson, George Furnas
      Pages 128-143

    3. A Spatial Search Framework for Executing Perceptions and Actions in Diagrammatic Reasoning

      • Bonny Banerjee, B. Chandrasekaran
      Pages 144-159

    4. Toward a Physics of Equations

      • David Landy
      Pages 160-166

  8. Interacting with Diagrams

    1. Usability of Accessible Bar Charts

      • Cagatay Goncu, Kim Marriott, John Hurst
      Pages 167-181

    2. Diagram Editing on Interactive Displays Using Multi-touch and Pen Gestures

      • Mathias Frisch, Jens Heydekorn, Raimund Dachselt
      Pages 182-196
Back to top

Other volumes

  1. Diagrammatic Representation and Inference

Keywords

About this book

The 6th International Conference on the Theory and Application of Diagrams – Diagrams 2010 – was held in Portland, USA in August 2010. Diagrams is an international and interdisciplinary conference series, which continues to present the very best work in all aspects of research on the theory and application of diagrams. Some key questions that researchers are tackling concern gaining an insight into how diagrams are used, how they are rep- sented, which types are available and when it is appropriate to use them. The use of diagrammatic notations is studied for a variety of purposes including communication, cognition, creative thought, computation and problem-solving. Clearly, this must be pursued as an interdisciplinary endeavor, and Diagrams is the only conference series that provides such a united forum for all areas that are concerned with the study of diagrams: for example, architecture, arti?cial intelligence,cartography,cognitivescience,computer science,education,graphic design, history of science, human–computer interaction, linguistics, logic, ma- ematics, philosophy, psychology, and software modelling. The articles in this volume re?ect this variety and interdisciplinarity of the ?eld.

Editors and Affiliations

  • School of Interactive Computing, Design & Intelligence Laboratory, Georgia Institute of Technology,, Atlanta, USA

    Ashok K. Goel

  • Computer Laboratory, University of Cambridge, Cambridge, UK

    Mateja Jamnik

  • Department of Computer Science & Software Engineering, Auburn University, Auburn, USA

    N. Hari Narayanan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation