Diagrammatic representation and inference

the long version

Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings<br />Author: Alan F. Blackwell, Kim Marriott, Atsushi Shimojima<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-21268-3<br /> DOI: 10.1007/b95854<br /><br />Table of Contents:<p></p><ul><li>Diagrams in the Mind and in the World: Relations between Internal and External Visualizations </li><li>Can Diagrams Have Epistemic Value? The Case of Euclid </li><li>Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations </li><li>On Frege’s Logical Diagrams </li><li>Psychological Foundations for Concept Modeling </li><li>On Differences between the Real and Physical Plane </li><li>Query Graphs with Cuts: Mathematical Foundations </li><li>Towards a Default Reading for Constraint Diagrams </li><li>Drawing Graphs in Euler Diagrams </li><li>Diagrams and Non-monotonicity in Puzzles </li><li>Peirce’s Diagrammatic Logic in IF Perspective </li><li>What Can Spider Diagrams Say? </li><li>Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets </li><li>On Extending Venn Diagram by Augmenting Names of Individuals </li><li>Reasoning with Projected Contours </li><li>An Architecture for Problem Solving with Diagrams </li><li>Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams </li><li>Automated Model Transformation and Its Validation Using AToM3 and AGG </li><li>Inter-diagrammatic Reasoning and Digital Geometry </li><li>A Prototype Inference Engine for Rule-Based Geometric Reasoning</li></ul>