Theory and Application of Diagrams

First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1–3, 2000 Proceedings

  • Michael Anderson
  • Peter Cheng
  • Volker Haarslev
Conference proceedings Diagrams 2000

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

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Talks

  3. Tutorial 1 - Formal Approaches to Diagrams

  4. Tutorial 2 - Cognitive Approach to Diagrams

  5. Logic and Diagrams

    1. Joseph Yossi Gil, John Howse, Elena Tulchinsky
      Pages 7-25
    2. John Howse, Fernando Molina, John Taylor
      Pages 26-41
    3. Kim Marriott, Bernd Meyer
      Pages 42-57
    4. Sun-Joo Shin
      Pages 58-73
    5. Ana von Klopp Lemon, Oliver von Klopp Lemon
      Pages 74-88
    6. Frank Drewes, Renate Klempien-Hinrichs
      Pages 89-104
  6. Theoretical Concerns about Diagrams

  7. Cognition and Diagrams

    1. Aidan Feeney, Ala K. W. Hola, Simon P. Liversedge, John M. Findlay, Robert Metcalf
      Pages 149-161
    2. Alan F. Blackwell, Anthony R. Jansen, Kim Marriott
      Pages 162-177
    3. Mary Hegarty
      Pages 194-206
  8. Human Communication with Diagrams

  9. Diagrammatic Reasoning/Proof Systems

    1. Hajime Sawamura, Kensuke Kiyozuka
      Pages 271-285
    2. Daniel Winterstein, Alan Bundy, Mateja Jamnik
      Pages 286-299
    3. Robert K. Lindsay
      Pages 300-313
    4. George Furnas, Yan Qu, Sanjeev Shrivastava, Gregory Peters
      Pages 314-329
  10. Diagrams for Systems, Systems for Diagrams

    1. Dorothea Blostein, Edward Lank, Richard Zanibbi
      Pages 330-344
    2. Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson
      Pages 345-360
    3. Carol Britton, Sara Jones, Maria Kutar, Martin Loomes, Brian Robinson
      Pages 376-391
    4. Joseph Thurbon
      Pages 392-406
    5. Robert Ian Ferguson, Andrew Hunter, Colin Hardy
      Pages 407-421
    6. Stefan Gruner, Murat Kurt
      Pages 422-436
    7. Shingo Takada, Yasuhiro Yamamoto, Kumiyo Nakakoji
      Pages 437-452
    8. Erkki Mäkinen, Harri Siirtola
      Pages 453-468
  11. Posters

    1. Francisco Câmara Pereira, Amíilcar Cardoso
      Pages 468-470
    2. Richard Lowe
      Pages 475-478
    3. Corin Gurr, Konstantinos Tourlas
      Pages 483-485
    4. Alexander Klippel, Lars Kulik
      Pages 486-489
    5. Nathaniel Miller
      Pages 490-493
    6. Yan Ping Zhou, Chew Lim Tan
      Pages 494-497
    7. Helen C. Purchase, David Carrington, Jo-Anne Allder
      Pages 498-501
  12. Back Matter
    Pages 503-504

About these proceedings


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.


Cognition Conceptual Graphs Diagram Interpretation Diagram Semantics Diagrammatic Communication Diagrammatic Syntax Diagrams Multimedia Unified Modeling Language (UML) Visual Languages algorithms image analysis learning modeling problem solving

Editors and affiliations

  • Michael Anderson
    • 1
  • Peter Cheng
    • 2
  • Volker Haarslev
    • 3
  1. 1.Department of Computer ScienceUniversity of HartfordWest HartfordUSA
  2. 2.School of Psychology ESRC Centre for Research in Development, Instruction and TrainingUniversity of NottinghamUniversity ParkUK
  3. 3.Computer Science DepartmentUniversity of HamburgHamburgGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67915-8
  • Online ISBN 978-3-540-44590-6
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences