[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 6170 || The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings

[Lecture Notes in Computer Science] Diag

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 6170 || Alternative Strategies for Spatial Reasoning with Diagrams

✍ Goel, Ashok K.; Jamnik, Mateja; Narayanan, N. Hari 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 272 KB

The 6th International Conference on the Theory and Application of Diagrams – Diagrams 2010 – was held in Portland, USA in August 2010. Diagrams is an international and interdisciplinary conference series, which continues to present the very best work in all aspects of research on the theory and appl

[Lecture Notes in Computer Science] Diag

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 6170 || Relating Two Image-Based Diagrammatic Reasoning Architectures

✍ Goel, Ashok K.; Jamnik, Mateja; Narayanan, N. Hari 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 901 KB

The 6th International Conference on the Theory and Application of Diagrams – Diagrams 2010 – was held in Portland, USA in August 2010. Diagrams is an international and interdisciplinary conference series, which continues to present the very best work in all aspects of research on the theory and appl

[Lecture Notes in Computer Science] Diag

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 2317 || Generating Euler Diagrams

✍ Hegarty, Mary; Meyer, Bernd; Narayanan, N. Hari 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 327 KB

This book constitutes the refereed proceedings of the Second International Conference Diagrams 2002, held in Callaway Gardens, Georgia, USA, in April 2002. The 21 revised full papers and 19 posters presented were carefully reviewed and selected from 77 submissions. The papers are organized in topica

[Lecture Notes in Computer Science] Diag

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 7352 || Truth Diagrams: An Overview

✍ Cox, Philip; Plimmer, Beryl; Rodgers, Peter 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 161 KB

This book constitutes the refereed proceedings of the 7th International Conference on Theory and Application of Diagrams, Diagrams 2012, held in Canaterbury, UK, in July 2012. The 16 long papers, 6 short papers and 21 poster abstracts presented were carefully reviewed and selected from 83 submission

[Lecture Notes in Computer Science] Diag

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 7352 || Algebra Diagrams: A HANDi Introduction

✍ Cox, Philip; Plimmer, Beryl; Rodgers, Peter 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 296 KB

This book constitutes the refereed proceedings of the 7th International Conference on Theory and Application of Diagrams, Diagrams 2012, held in Canaterbury, UK, in July 2012. The 16 long papers, 6 short papers and 21 poster abstracts presented were carefully reviewed and selected from 83 submission

[Lecture Notes in Computer Science] Diag

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 7352 || What Can Concept Diagrams Say?

✍ Cox, Philip; Plimmer, Beryl; Rodgers, Peter 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 431 KB

This book constitutes the refereed proceedings of the 7th International Conference on Theory and Application of Diagrams, Diagrams 2012, held in Canaterbury, UK, in July 2012. The 16 long papers, 6 short papers and 21 poster abstracts presented were carefully reviewed and selected from 83 submission