Diagrammatic Representation and Inference: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings [Paperback]

This book constitutes the refereed proceedings of the Second International Conference Diagrams 2002, held in Callaway Gardens, Georgia, USA, in April 2002.
The 21 revised full papers and 19 posters presented were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on understanding and communicating with diagrams, diagrams in mathematics, computational aspects of diagrammatic representation and reasoning, logic and diagrams, diagrams in human-computer interaction, tracing the process of diagrammatic reasoning, visualizing information with diagrams, diagrams and software engineering, and cognitive aspects.Invited Talk.- What Does It Mean for a Computer to Do Diagrammatic Reasoning? A Functional Characterization of Diagrammatic Reasoning and Its Implications.- Understanding and Communicating with Diagrams.- Movement Conceptualizations in Graphical Communication.- Toward a Model of Knowledge-Based Graph Comprehension.- Learning on Paper: Diagrams and Discovery in Game Playing.- Diagrams in Mathematics.- Using Animation in Diagrammatic Theorem Proving.- Generating Euler Diagrams.- Corresponding Regions in Euler Diagrams.- Computational Aspects of Diagrammatic Representation and Reasoning.- CDEG: Computerized Diagrammatic Euclidean Geometry.- Compositional Semantics for Diagrams Using Constrained Objects.- Retrieving 2-D Line Drawings by Example.- A System That Supports Using Student-Drawn Diagrams to Assess Comprehension of Mathematical Formulas.- An Environment for Conducting and Analysing Graphical Communication Experiments.- Grammar-Based Layout for a Visual Programming Language Generation System.- Heterogeneous Data Querying in a Diagrammatic Information System.- Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML.- Logic and Diagrams.- The Inferential-Expressive Trade-Off: A Case Study of Tabular Representations.- Modeling Heterogeneous Systems.- On Diagram Tokens and Types.- Dial“(