Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings

Table of Contents......Page 12
Diagrams in the Mind and in the World: Relations between Internal and External Visualizations......Page 18
Can Diagrams Have Epistemic Value? The Case of Euclid......Page 31
Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations......Page 35
On Frege´s Logical Diagrams?......Page 39
Psychological Foundations for Concept Modeling......Page 43
On Differences between the Real and Physical Plane......Page 46
Query Graphs with Cuts: Mathematical Foundations......Page 49
Towards a Default Reading for Constraint Diagrams......Page 68
Drawing Graphs in Euler Diagrams......Page 83
Diagrams and Non­monotonicity in Puzzles......Page 99
Peirce´s Diagrammatic Logic in IF Perspective......Page 114
What Can Spider Diagrams Say?......Page 129
Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets......Page 145
On Extending Venn Diagram by Augmenting Names of Individuals......Page 159
Reasoning with Projected Contours......Page 164
An Architecture for Problem Solving with Diagrams......Page 168
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams......Page 183
Automated Model Transformation and Its Validation Using AToM[sup(3)] and AGG......Page 199
Inter­diagrammatic Reasoning and Digital Geometry......Page 216
A Prototype Inference Engine for Rule­Based Geometric Reasoning......Page 233
Automatic Proofs for Scalecharts......Page 244
Diagram Schemas: What, Why, How......Page 248
Roles of Diagrammatic Information for the Discovery of Geometrical Theorems......Page 252
Interpreting Imprecise Diagrams......Page 256
Why Diagrams are (Sometimes) Six Times Easier than Words: Benefits beyond Locational Indexing......Page 259
Incorporating Perceptual Task Effort into the Recognition of Intention in Information Graphics......Page 272
Individual Differences in Graphical Reasoning......Page 288
Co­ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction......Page 303
Predictors of Success in Diagrammatic Problem Solving......Page 318
Speech and Graphical Interaction in Multimodal Communication......Page 333
Generating New Research Hypotheses from a Result Diagram of Qualitative Research......Page 346
Interpreting Lines in Graphs: Do Graph Users Construe Fictive Motion?......Page 350
Learning with Diagrams: Effects on Inferences and the Integration of Information......Page 354
Making TRACS: The Diagrammatic Design of a Double­Sided Deck......Page 358
A Cognitive Processing Perspective on Student Programmers’ ‘Graphicacy’......Page 361
Using Graphics to Communicate Across Cultures......Page 364
The Effect of Knowledge­of­External­Representations upon Performance and Representational Choice in a Database Query Task......Page 368
User­Controllable Animated Diagrams: The Solution for Learning Dynamic Content?......Page 372
Processing Animation: Integrating Information from Animated Diagrams......Page 377
A Training Program to be Perceptually Sensitive and Conceptually Productive through Meta-cognition: A Case Study......Page 382
Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour?......Page 385
Spatial Transformations in Graph Comprehension......Page 389
Constructing Diagrams Representing Group Motions......Page 393
Bar­Gain Boxes: An Informative Illustration of the Pairing Problem......Page 396
Bayesian Boxes: A Colored Calculator for Picturing Posteriors......Page 399
Representing Rosters: Conceptual Integration Counteracts Visual Complexity......Page 402
Visualization Techniques for Product Change and Product Modelling in Complex Design......Page 405
Geographic Projection of Cluster Composites......Page 409
Decision Diagrams in Machine Learning: An Empirical Study on Real-Life Credit­Risk Data......Page 412
Feature Diagrams in Phonology......Page 415
Using Color Component Overlays for Result Visualization in a Classification by Sketch System......Page 419
Teaching Children Brackets by Manipulating Trees: Is Easier Harder?......Page 424
CIDER:A Component­Based Toolkit for Creating Smart Diagram Environments......Page 432
Diagrammatic Spreadsheet: An Overview......Page 437
Perceptual Support of Diagram Creation and Editing......Page 441
ScanScribe: Perceptually Supported Diagram Image Editing......Page 445
An Experimental Comparison of Diagrammatic and Algebraic Logics......Page 449
Automatic Generation of the Behavior Definition of Distributed Design Tools from Task Method Diagrams and Method Flux Diagrams by Diagram Composition......Page 452
Selected Aspects of Customization of Cognitive Dimensions for Evaluation of Visual Modeling Languages......Page 455
Notations for Software Engineering Class Structures......Page 458
N......Page 464
Y......Page 465