Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12909)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Conference series link(s): Diagrams: International Conference on Theory and Application of Diagrams
Conference proceedings info: Diagrams 2021.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (57 papers)
-
Front Matter
-
Diagrams and Logic
-
Front Matter
-
About this book
This book constitutes the refereed proceedings of the 12th International Conference on the Theory and Application of Diagrams, Diagrams 2021, held virtually in September 2021.
The 16 full papers and 25 short papers presented together with 16 posters were carefully reviewed and selected from 94 submissions. The papers are organized in the following topical sections: design of concrete diagrams; theory of diagrams; diagrams and mathematics; diagrams and logic; new representation systems; analysis of diagrams; diagrams and computation; cognitive analysis; diagrams as structural tools; formal diagrams; and understanding thought processes.
10 chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Keywords
- artificial intelligence
- computer hardware
- computer programming
- computer systems
- computer vision
- formal logic
- fuzzy logic
- fuzzy sets
- graph theory
- graphic methods
- Human-Computer Interaction (HCI)
- linguistics
- object-oriented programming
- programming languages
- semantics
- software engineering
- theoretical computer science
- uml diagrams
- unified modeling language
- visualization
Editors and Affiliations
-
Jadavpur University, Kolkata, India
Amrita Basu
-
University of Cambridge, Cambridge, UK
Gem Stapleton
-
Lancaster University in Leipzig, Leipzig, Germany
Sven Linker
-
Deakin University, Burwood, Australia
Catherine Legg
-
Kyoto University, Kyoto, Japan
Emmanuel Manalo
-
Universidade Federal Fluminense, Niterói, Brazil
Petrucio Viana
Bibliographic Information
Book Title: Diagrammatic Representation and Inference
Book Subtitle: 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings
Editors: Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-86062-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-86061-5Published: 03 September 2021
eBook ISBN: 978-3-030-86062-2Published: 21 September 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXI, 568
Number of Illustrations: 182 b/w illustrations, 98 illustrations in colour
Topics: User Interfaces and Human Computer Interaction, Mathematics of Computing, Computer Imaging, Vision, Pattern Recognition and Graphics, Algorithm Analysis and Problem Complexity, Data Structures, Mathematical Logic and Formal Languages