Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. ProceedingsAuthor: Alan F. Blackwell, Kim Marriott, Atsushi Shimojima Published by Springer Berlin Heidelberg ISBN: 978-3-540-21268-3 DOI: 10.1007/b95854Table of Contents: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, Includes bibliographical references and index