Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings [Paperback]

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, humancomputer interaction, linguistics, logic, ma- ematics, philosophy, psychology, and software modelling. The articles in this volume re?ect this variety and interdisciplinarity of the ?eld.Invited Talks.- Diagrams in the Mind: Visual or Spatial?.- Understanding Diagrams, and More: The Computers View.- Tutorials.- Diagrams: A Perspective from Logic.- Drawing Euler Diagrams for Information Visualization.- Graduate Student Symposium.- The Graduate Student Symposium of Diagrams 2010.- Euler and Venn Diagrams.- The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings.- Drawing Euler Diagrams with Circles.- Coloured Euler Diagrams: A Tool for Visualizing Dynamic Systems and Structured Information.- Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons.- Formal Aspects of Diagrams.- Fragments of Spider Diagrams of Order and Their Relative Expressiveness.- A Calculus for Graphs with Complement.- Two Types of Diagrammatic Inference Systl³-