Theory and Application of Diagrams First International Conferenc
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. Dr
- PDF / 8,488,604 Bytes
- 517 Pages / 431 x 666 pts Page_size
- 56 Downloads / 170 Views
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
1889
3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo
Michael Anderson Peter Cheng Volker Haarslev (Eds.)
Theory and Application of Diagrams First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA J¨org Siekmann, University of Saarland, Saarbr¨ucken, Germany Volume Editors Michael Anderson University of Hartford, Department of Computer Science Dana Hall 230, 200 Bloomfield Avenue West Hartford, Connecticut 06117, USA E-mail: [email protected] Peter Cheng University of Nottingham, School of Psychology ESRC Centre for Research in Development, Instruction and Training University Park, Nottingham, NG7 2RD, UK E-mail: [email protected] Volker Haarslev University of Hamburg, Computer Science Department Vogt-Koelln-Str. 30, 22527 Hamburg, Germany E-mail: [email protected] Cataloging-in-Publication Data applied for
CR Subject Classification (1998): I.2, D.1.7, G.2, H.5, J.4, J.5 ISBN 3-540-67915-4 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH © Springer-Verlag Berlin Heidelberg 2000 Printed in Germany Typesetting: Camera-ready by author, data conversion by DA-TeX Gerd Blumenstein Printed on acid-free paper SPIN: 10722507 06/3142 543210
Preface
Diagrams 2000 is dedicated to the memory of Jon Barwise. Diagrams 2000 was the first 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 field in its own right. This development has simultaneously taken place in several scientific disciplines, including, amongst others: cognitive science, artificial intelligence, and computer science. Consequently, a number of different 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 D
Data Loading...
