Diagrammatic Representation and Inference

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.- Diagrams in Human-Computer Interaction.- Effects of Navigation and Position on Task When Presenting Diagrams to Blind People uUsing Sound.- A Fuzzy Visual Query Language for a Domain-Specific Web Search Engine.- Diagrammatic Integration of Abstract Operations into Software Work Contexts.- Tracing the Processes of Diagrammatic Reasoning.- Extracting Explicit and Implict Information from Complex Visualizations.- Visual Attention and Representation Switching During Java Program Debugging: A Study Using the Restricted Focus Viewer.- Guiding Attention Produces Inferences in Diagram-Based Problem Solving.- Visualizing Information with Diagrams.- ViCo: A Metric for