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
    4. Beryl Plimmer, Ann Morrison, Hendrik Knoche
      Pages 176-189
    5. Takeshi Sugio
      Pages 198-212
  7. Logic and Diagrams

    1. Lorenz Demey, Hans Smessaert
      Pages 213-227
    2. Beáta Bojda, Katalin Bubnó, Benedek Nagy, Viktor Takács
      Pages 228-230
    3. Atsushi Shimojima, Dave Barker-Plummer
      Pages 231-245
    4. Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri
      Pages 261-276
    5. Renata de Freitas, Petrucio Viana
      Pages 293-307
    6. Flavio Zelazek
      Pages 308-310
  8. Back Matter

About these proceedings


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.


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
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-44042-1
  • Online ISBN 978-3-662-44043-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site