Theory and Application of Diagrams

Description

Springer, 2000. - 517 pagesSSBN: 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 TalksInvited Talk: Representations to Mediate GeospatialCollaborative Reasoning: A Cognitive-Semiotic Perspective Alan M. MacEachrennvited Talk: Jon Barwise: A Heterogeneous Appreciation Keith StenningTutorial ­ Formal Approaches to DiagramsTutorial : Formal Approaches to Visual Language Specification and Understanding Kim MarriottTutorial ­ Cognitive Approach to DiagramsTutorial a: Cognitive History of Science: The Roles of Diagrammatic Representations in Discovery and Modeling Discovery David GoodingTutorial b: Cognitive (Production System) Modelling of How an Expert Uses a Cartesian Graph Hermi SchijfTutorial c: The Coordination of External Representations and Internal Mental Representations in Display-Based Cognitive Tasks Jiajie ZhangLogic and DiagramsPositive Semantics of Projections in Venn-Euler Diagrams Joseph (Yossi) Gil, John Howse and Elena TulchinskyOn the Completeness and Expressiveness of Spider Diagram Systems John Howse, Fernando Molina and John TaylorNon-standard Logics for Diagram Interpretation Kim Marriott and Bernd MeyerReviving the Iconicity of Beta Graphs Sun-Joo ShinConstraint Matching for Diagram Design: Qualitative Visual Languages Ana von Klopp Lemon and Oliver von Klopp LemonPicking Knots from Trees ­ The Syntactic Structure of Celtic Knotwork Frank Drewes and Renate Klempien-HinrichsTheoretical Concerns about DiagramsDifferentiating Diagrams: A New Approach Jesse NormanLogical Systems and Formality Patrick Scotto di LuzioDistinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems Keith StenningCognition and DiagramsHow 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 MetcalfRestricted Focus Viewer: A Tool for Tracking Visual Attention Alan F. Blackwell, Anthony R. Jansen and Kim MarriottCommunicating Dynamic Behaviors: Are Interactive Multimedia Presentations Better than Static Mixed-Mode Presentations? N. Hari Narayanan and Mary HegartyCapacity Limits in Diagrammatic Reasoning Mary HegartyHuman Communication with DiagramsRecording the Future: Some Diagrammatic Aspects of Time Management Stuart Clink and Julian NewmanLines, Blobs, Crosses and Arrows: Diagrammatic Communication with Schematic Figures Barbara Tversky, Jeff Zacks, Paul Lee and Julie HeiserAnimated Diagrams: An Investigation into the Cognitive Effects of Using Animation to Illustrate Dynamic Processes Sara Jones and Mike ScaifeA Comparison of Graphics and Speech in a Task-Oriented Interaction Patrick G. T. Healey, Rosemarie McCabe and Yasuhiro KatagiriDiagramming Aesthetics: Modernism and Architecture in the st Century Mark J. ClaytonDiagrammatic Reasoning/Proof SystemsJVenn: A Visual Reasoning System with Diagrams and Sentences Hajime Sawamura and Kensuke KiyozukaA Proposal for Automating Diagrammatic Reasoning in Continuous Domains Daniel Winterstein, Alan Bundy and Mateja JamnikPlaying with Diagrams Robert K. LindsayThe Use of Intermediate Graphical Constructions in Problem Solving with Dynamic, Pixel-Level Diagrams George Furnas, Yan Qu, Sanjeev Shrivastava and Gregory PetersDiagrams for Systems, Systems for DiagramsTreatment of Diagrams in Document Image Analysis Dorothea Blostein, Edward Lank and Richard ZanibbiUniversal Arrow Foundations for Visual Modeling Zinovy Diskin, Boris Kadish, Frank Piessens and Michael JohnsonDiagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language Alexander Felfernig and Markus ZankerEvaluating the Intelligibility of Diagrammatic Languages Used in the Specification of Software Carol Britton, Sara Jones, Maria Kutar, Martin Loomes and Brian RobinsonExecuting Diagram Sequences Joseph ThurbonMetaBuilder: The Diagrammer's Diagrammer Robert Ian Ferguson, Andrew Hunter and Colin HardyDiagrammatic Control of Diagrammatic Structure Generation Stefan Gruner and Murat KurtTwo-Dimensional Positioning as Visual Thinking Shingo Takada, Yasuhiro Yamamoto and Kumiyo NakakojiReordering the Reorderable Matrix as an Algorithmic Problem Erkki Mдkinen and Harri SiirtolaPostersClouds: A Module for Automatic Learning of Concept Maps Francisco C amara Pereira and Amнlcar CardosoA Diagrammatic Notation for Interval Algebra Zenon KulpaAnimation of Diagrams: An Aid to Learning? Richard LoweDiagrams as Components of Multimedia Discourse: A Semiotic Approach John H. ConnollyFormalising the Essence of Diagrammatic Syntax Corin Gurr and Konstantinos TourlasUsing Grids in Maps Alexander Klippel and Lars KulikCase Analysis in Euclidean Geometry: An Overview Nathaniel MillerBar Charts Recognition Using Hough Based Syntactic Segmentation Yan Ping Zhou and Chew Lim TanExperimenting with Aesthetics-Based Graph Layout Helen C. Purchase, David Carrington and Jo-Anne AllderAuthor Index