Title: Diagrammatic representation and inference
Description: 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>
Subjects: Graphic methods, Computer graphics, Congresses, Visual communication