Theory and Application of Diagrams: First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

Springer, 2000. - 517 pages SSBN: 3540679154 This 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 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

This 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.