Skip to main content
SpringerLink
Log in
Book cover

Diagrammatic Representation and Inference

Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Alan F. Blackwell

    1. Computer Laboratory, University of Cambridge, Cambridge, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Kim Marriott

    1. Clayton School of IT Monash University, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Atsushi Shimojima

    1. Faculty of Culture and Information Science, Doshisha University, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2980)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: Diagrams 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (60 papers)

  1. Front Matter

    Download chapter PDF

  2. Diagrams in the Mind and in the World: Relations between Internal and External Visualizations

    • Mary Hegarty
    Pages 1-13

  3. Can Diagrams Have Epistemic Value? The Case of Euclid

    • Jesse Norman
    Pages 14-17

  4. Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations

    • Atsushi Shimojima
    Pages 18-21

  5. On Frege’s Logical Diagrams

    • Iulian D. Toader
    Pages 22-25

  6. Psychological Foundations for Concept Modeling

    • Csaba Veres, Gittan Mansson
    Pages 26-28

  7. On Differences between the Real and Physical Plane

    • Daniel Winterstein, Alan Bundy, Mateja Jamnik
    Pages 29-31

  8. Query Graphs with Cuts: Mathematical Foundations

    • Frithjof Dau
    Pages 32-50

  9. Towards a Default Reading for Constraint Diagrams

    • Andrew Fish, John Howse
    Pages 51-65

  10. Drawing Graphs in Euler Diagrams

    • Paul Mutton, Peter Rodgers, Jean Flower
    Pages 66-81

  11. Diagrams and Non-monotonicity in Puzzles

    • Benedek Nagy, Gerard Allwein
    Pages 82-96

  12. Peirce’s Diagrammatic Logic in IF Perspective

    • Ahti-Veikko Pietarinen
    Pages 97-111

  13. What Can Spider Diagrams Say?

    • Gem Stapleton, John Howse, John Taylor, Simon Thompson
    Pages 112-127

  14. Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets

    • Anne Verroust, Marie-Luce Viaud
    Pages 128-141

  15. On Extending Venn Diagram by Augmenting Names of Individuals

    • L. Choudhury, M. K. Chakraborty
    Pages 142-146

  16. Reasoning with Projected Contours

    • Chris John
    Pages 147-150

  17. An Architecture for Problem Solving with Diagrams

    • B. Chandrasekaran, Unmesh Kurup, Bonny Banerjee, John R. Josephson, Robert Winkler
    Pages 151-165

  18. Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams

    • Jean Flower, Judith Masthoff, Gem Stapleton
    Pages 166-181

  19. Automated Model Transformation and Its Validation Using AToM3 and AGG

    • Juan de Lara, Gabriele Taentzer
    Pages 182-198

  20. Inter-diagrammatic Reasoning and Digital Geometry

    • Robert McCartney, Passent El-Kafrawy
    Pages 199-215
Back to top

Other volumes

  1. Diagrammatic Representation and Inference

Keywords

Editors and Affiliations

  • Computer Laboratory, University of Cambridge, Cambridge, UK

    Alan F. Blackwell

  • Clayton School of IT Monash University, Australia

    Kim Marriott

  • Faculty of Culture and Information Science, Doshisha University, Japan

    Atsushi Shimojima

Bibliographic Information

  • Book Title: Diagrammatic Representation and Inference

  • Book Subtitle: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings

  • Editors: Alan F. Blackwell, Kim Marriott, Atsushi Shimojima

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/b95854

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2004

  • Softcover ISBN: 978-3-540-21268-3Published: 12 March 2004

  • eBook ISBN: 978-3-540-25931-2Published: 16 July 2004

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVI, 456

  • Topics: Computer Applications, Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation