1. Editorial: Efficacy of Diagrammatic Reasoning

   • Oliver Lemon
   • Maarten de Rijke
   • Atsushi Shimojima

   OriginalPaper Pages: 265 - 271

2. Reconstituting Beta Graphs into an Efficacious System

   • Sun-Joo Shin

   OriginalPaper Pages: 273 - 295

3. On Automating Diagrammatic Proofs of Arithmetic Arguments

   • Mateja Jamnik
   • Alan Bundy
   • Ian Green

   OriginalPaper Pages: 297 - 321

4. Timing Diagrams: Formalization and Algorithmic Verification

   • Kathi Fisler

   OriginalPaper Pages: 323 - 361

5. Unnatural Language Processing

   • J. Oberlander
   • P. Monaghan
   • R. Tobin

   OriginalPaper Pages: 363 - 384

6. Forms of Representation: An Interdisciplinary Theme for Cognitive Science, Donald Peterson, ed.

   • Oliver Lemon

   OriginalPaper Pages: 385 - 387

7. Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, eds.

   • Maarten de Rijke

   OriginalPaper Pages: 387 - 390

8. Information Flow: The Logic of Distributed Systems, Jon Barwise and Jerry Seligman

   • Johan van Benthem
   • David Israel

   OriginalPaper Pages: 390 - 397

9. Call for Papers

   OriginalPaper Pages: 399 - 400