Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings: Lecture Notes in Computer Science, cartea 2980

Diagrams in the Mind and in the World: Relations between Internal and External Visualizations.- Can Diagrams Have Epistemic Value? The Case of Euclid.- Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations.- On Frege’s Logical Diagrams.- Psychological Foundations for Concept Modeling.- On Differences between the Real and Physical Plane.- Query Graphs with Cuts: Mathematical Foundations.- Towards a Default Reading for Constraint Diagrams.- Drawing Graphs in Euler Diagrams.- Diagrams and Non-monotonicity in Puzzles.- Peirce’s Diagrammatic Logic in IF Perspective.- What Can Spider Diagrams Say?.- Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets.- On Extending Venn Diagram by Augmenting Names of Individuals.- Reasoning with Projected Contours.- An Architecture for Problem Solving with Diagrams.- Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams.- Automated Model Transformation and Its Validation Using AToM3 and AGG.- Inter-diagrammatic Reasoning and Digital Geometry.- A Prototype Inference Engine for Rule-Based Geometric Reasoning.- Automatic Proofs for Scalecharts.- Diagram Schemas: What, Why, How.- Roles of Diagrammatic Information for the Discovery of Geometrical Theorems.- Interpreting Imprecise Diagrams.- Why Diagrams Are (Sometimes) Six Times Easier than Words: Benefits beyond Locational Indexing.- Incorporating Perceptual Task Effort into the Recognition of Intention in Information Graphics.- Individual Differences in Graphical Reasoning.- Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction.- Predictors of Success in Diagrammatic Problem Solving.- Speech and Graphical Interaction in Multimodal Communication.- Generating NewResearch Hypotheses from a Result Diagram of Qualitative Research.- Interpreting Lines in Graphs: Do Graph Users Construe Fictive Motion?.- Learning with Diagrams: Effects on Inferences and the Integration of Information.- Making TRACS: The Diagrammatic Design of a Double-Sided Deck.- A Cognitive Processing Perspective on Student Programmers’ ‘Graphicacy’.- Using Graphics to Communicate Across Cultures.- The Effect of Knowledge-of-External-Representations upon Performance and Representational Choice in a Database Query Task.- User-Controllable Animated Diagrams: The Solution for Learning Dynamic Content?.- Processing Animation: Integrating Information from Animated Diagrams.- A Training Program to be Perceptually Sensitive and Conceptually Productive through Meta-cognition: A Case Study.- Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour?.- Spatial Transformations in Graph Comprehension.- Constructing Diagrams Representing Group Motions.- Bar-Gain Boxes: An Informative Illustration of the Pairing Problem.- Bayesian Boxes: A Colored Calculator for Picturing Posteriors.- Representing Rosters: Conceptual Integration Counteracts Visual Complexity.- Visualization Techniques for Product Change and Product Modelling in Complex Design.- Geographic Projection of Cluster Composites.- Decision Diagrams in Machine Learning: An Empirical Study on Real-Life Credit-Risk Data.- Feature Diagrams in Phonology.- Using Color Component Overlays for Result Visualization in a Classification by Sketch System.- Teaching Children Brackets by Manipulating Trees: Is Easier Harder?.- Cider: A Component-Based Toolkit for Creating Smart Diagram Environments.- Diagrammatic Spreadsheet: An Overview.- Perceptual Support of Diagram Creation and Editing.-ScanScribe: Perceptually Supported Diagram Image Editing.- An Experimental Comparison of Diagrammatic and Algebraic Logics.- Automatic Generation of the Behavior Definition of Distributed Design Tools from Task Method Diagrams and Method Flux Diagrams by Diagram Composition.- Selected Aspects of Customization of Cognitive Dimensions for Evaluation of Visual Modeling Languages.- Notations for Software Engineering Class Structures.