Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2004

Diagrammatic Representation and Inference

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

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)

Conference series link(s): Diagrams: International Conference on Theory and Application of Diagrams

Conference proceedings info: Diagrams 2004.

Sections

Buy it now

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

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

Table of contents (60 papers)

  1. Front Matter

    PDF

  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

  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

Back to top

Keywords

Back to top

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

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation