Springer, 2000. - 517 pages
SSBN: 3540679154This book constitutes the refereed proceedings of the First International Conference on the Theory and Application of Diagrams, Diagrams 2000, held in Edinburgh, Scotland, UK in September 2000.
The 31 revised full papers presented together with 9 posters were carefully reviewed and selected from around 100 submissions. The papers are organized in topical sections on logic and diagrams, theoretical concerns about diagrams, human communication with diagrams, diagrammatic reasoning and proof systems, and diagrams for systems versus systems for diagrams.Contents:
Invited Talks
Invited Talk: Representations to Mediate Geospatial
Collaborative Reasoning: A Cognitive-Semiotic Perspective
Alan M. MacEachren
nvited Talk: Jon Barwise: A Heterogeneous Appreciation
Keith Stenning
Tutorial Formal Approaches to Diagrams
Tutorial : Formal Approaches to Visual Language Specification and Understanding
Kim Marriott
Tutorial Cognitive Approach to Diagrams
Tutorial a: Cognitive History of Science: The Roles of Diagrammatic Representations in Discovery and Modeling Discovery
David Gooding
Tutorial b: Cognitive (Production System) Modelling of How an Expert Uses a Cartesian Graph
Hermi Schijf
Tutorial c: The Coordination of External Representations and Internal Mental Representations in Display-Based Cognitive Tasks
Jiajie Zhang
Logic and Diagrams
Positive Semantics of Projections in Venn-Euler Diagrams
Joseph (Yossi) Gil, John Howse and Elena Tulchinsky
On the Completeness and Expressiveness of Spider Diagram Systems
John Howse, Fernando Molina and John Taylor
Non-standard Logics for Diagram Interpretation
Kim Marriott and Bernd Meyer
Reviving the Iconicity of Beta Graphs
Sun-Joo Shin
Constraint Matching for Diagram Design: Qualitative Visual Languages
Ana von Klopp Lemon and Oliver von Klopp Lemon
Picking Knots from Trees The Syntactic Structure of Celtic Knotwork
Frank Drewes and Renate Klempien-Hinrichs
Theoretical Concerns about Diagrams
Differentiating Diagrams: A New Approach
Jesse Norman
Logical Systems and Formality
Patrick Scotto di Luzio
Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems
Keith Stenning
Cognition and Diagrams
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 and Robert Metcalf
Restricted Focus Viewer: A Tool for Tracking Visual Attention
Alan F. Blackwell, Anthony R. Jansen and Kim Marriott
Communicating Dynamic Behaviors: Are Interactive Multimedia Presentations Better than Static Mixed-Mode Presentations?
N. Hari Narayanan and Mary Hegarty
Capacity Limits in Diagrammatic Reasoning
Mary Hegarty
Human Communication with Diagrams
Recording the Future: Some Diagrammatic Aspects of Time Management
Stuart Clink and Julian Newman
Lines, Blobs, Crosses and Arrows: Diagrammatic Communication with Schematic Figures
Barbara Tversky, Jeff Zacks, Paul Lee and Julie Heiser
Animated Diagrams: An Investigation into the Cognitive Effects of Using Animation to Illustrate Dynamic Processes
Sara Jones and Mike Scaife
A Comparison of Graphics and Speech in a Task-Oriented Interaction
Patrick G. T. Healey, Rosemarie McCabe and Yasuhiro Katagiri
Diagramming Aesthetics: Modernism and Architecture in the st Century
Mark J. Clayton
Diagrammatic Reasoning/Proof Systems
JVenn: A Visual Reasoning System with Diagrams and Sentences
Hajime Sawamura and Kensuke Kiyozuka
A Proposal for Automating Diagrammatic Reasoning in Continuous Domains
Daniel Winterstein, Alan Bundy and Mateja Jamnik
Playing with Diagrams
Robert K. Lindsay
The Use of Intermediate Graphical Constructions in Problem Solving with Dynamic, Pixel-Level Diagrams
George Furnas, Yan Qu, Sanjeev Shrivastava and Gregory Peters
Diagrams for Systems, Systems for Diagrams
Treatment of Diagrams in Document Image Analysis
Dorothea Blostein, Edward Lank and Richard Zanibbi
Universal Arrow Foundations for Visual Modeling
Zinovy Diskin, Boris Kadish, Frank Piessens and Michael Johnson
Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language
Alexander Felfernig and Markus Zanker
Evaluating the Intelligibility of Diagrammatic Languages Used in the Specification of Software
Carol Britton, Sara Jones, Maria Kutar, Martin Loomes and Brian Robinson
Executing Diagram Sequences
Joseph Thurbon
MetaBuilder: The Diagrammer's Diagrammer
Robert Ian Ferguson, Andrew Hunter and Colin Hardy
Diagrammatic Control of Diagrammatic Structure Generation
Stefan Gruner and Murat Kurt
Two-Dimensional Positioning as Visual Thinking
Shingo Takada, Yasuhiro Yamamoto and Kumiyo Nakakoji
Reordering the Reorderable Matrix as an Algorithmic Problem
Erkki Mдkinen and Harri Siirtola
Posters
Clouds: A Module for Automatic Learning of Concept Maps
Francisco C amara Pereira and Amнlcar Cardoso
A Diagrammatic Notation for Interval Algebra
Zenon Kulpa
Animation of Diagrams: An Aid to Learning?
Richard Lowe
Diagrams as Components of Multimedia Discourse: A Semiotic Approach
John H. Connolly
Formalising the Essence of Diagrammatic Syntax
Corin Gurr and Konstantinos Tourlas
Using Grids in Maps
Alexander Klippel and Lars Kulik
Case Analysis in Euclidean Geometry: An Overview
Nathaniel Miller
Bar Charts Recognition Using Hough Based Syntactic Segmentation
Yan Ping Zhou and Chew Lim Tan
Experimenting with Aesthetics-Based Graph Layout
Helen C. Purchase, David Carrington and Jo-Anne Allder
Author Index
