Diagrammatic Representation and Inference
Contributors: Alan Blackwell (Editor); Kim Marriott (Editor); Atsushi Shimojima (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 28, 2004
Language: eng
Format: Paperback
Number of pages: 448
ISBN-13: 9783540212683
Subjects: Image processing: graphics (static images); Visual communication; Computers; Computer Books: General; Computer Bks - Other Applications; Computers - Other Applications; Graphic methods; General; Computer Graphics - General; Computers / General; Computer graphics; Congresses
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>