Diagrammatic representation and inference : third international conference, Diagrams 2004 Cambridge, UK, March | Diagrams 2004 (2004 : Cambridge, England), Blackwell, Alan F, Marriott, Kim, Shimojima, Atsushi, 1962-

Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings
Author: Alan F. Blackwell, Kim Marriott, Atsushi Shimojima
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-21268-3
DOI: 10.1007/b95854

Table 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