Diagrammatic Representation and Inference

8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 – August 1, 2014. Proceedings

  • Tim Dwyer
  • Helen Purchase
  • Aidan Delaney
Conference proceedings Diagrams 2014

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 8578)

Table of contents

  1. Front Matter
  2. Diagram Layout

    1. Miro Spönemann, Christoph Daniel Schulze, Ulf Rüegg, Reinhard von Hanxleden
      Pages 9-15
    2. Miro Spönemann, Björn Duderstadt, Reinhard von Hanxleden
      Pages 16-30
    3. Kim Marriott, Peter J. Stuckey, Michael Wybrow
      Pages 31-37
  3. Diagram Notations

    1. Michael Burch, Daniel Weiskopf
      Pages 38-44 Open Access
    2. Paolo Bottoni, Andrew Fish, Alexander Heußner
      Pages 45-47
  4. Diagramming Tools

    1. Dave Barker-Plummer, Nik Swoboda, Michael D. Murray
      Pages 51-53
    2. Jim Burton, Gem Stapleton, John Howse, Peter Chapman
      Pages 54-56
  5. Diagrams in Education

  6. Empirical Studies

    1. Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman
      Pages 108-122
    2. Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse
      Pages 123-137
    3. Peter Chapman, Gem Stapleton, Peter Rodgers, Luana Micallef, Andrew Blake
      Pages 146-160

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 8th International Conference on the Theory and Application of Diagrams, Diagrams 2014, held in Melbourne, VIC, Australia in July/August 2014. The 15 revised full papers and 9 short papers presented together with 6 posters were carefully reviewed and selected from 40 submissions. The papers have been organized in the following topical sections: diagram layout, diagram notations, diagramming tools, diagrams in education, empirical studies and logic and diagrams.

Keywords

3D visualization cognitive science completeness computer graphics graph drawing human-computer interaction hypergraphs information visualization object recognition theorem proving

Editors and affiliations

  • Tim Dwyer
    • 1
  • Helen Purchase
    • 2
  • Aidan Delaney
    • 3
  1. 1.Monash UniversityCaulfield EastAustralia
  2. 2.University of GlasgowGlasgowUK
  3. 3.University of BrightonBrightonUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-44043-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-44042-1
  • Online ISBN 978-3-662-44043-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Consumer Packaged Goods
Aerospace