Proceedings of diagrammatic representation and inference (Diagrams 2006): 4th International Conference

This book constitutes the refereed proceedings of the 4th International Conference on Theory and Application of Diagrams, Diagrams 2006, held in Stanford, CA, USA in June 2006. The 13 revised full papers, 9 revised short papers, and 12 extended abstracts presented together with 2 keynote papers and 2 tutorial papers were carefully reviewed and selected from about 80 submissions. The papers are organized in topical sections on diagram comprehension by humans and machines, notations: history, design and formalization, diagrams and education, reasoning with diagrams by humans and machines, as well as psychological issues in comprehension, production and communication.