fall-1998-04

Contents

• VISCO-Querying GIS with Spatial Sketches

  Volker Haarslev, Michael Wessel

  PDF

• Verification of Diagrammatic Proofs

  Mateja Jamnik, Alan Bundy, Ian Green

  PDF

• Hypergraph Representations of Diagrams in Diagram Editors

  Mark Minas

  PDF

• Diamond: Diagrammatic Reasoning System Demonstration

  Mateja Jamnik, Alan Bundy, Ian Green

  PDF

• Generating User Interfaces for Pen-based Computers

  Sitt Sen Chok, Kim Marriott

  PDF

• Symposium Organization

  Gerard Allwein, Kim Marriott, Bernd Meyer

  PDF

• Demonstration of the Diagram Understanding System

  Robert P. Futrelle

  PDF

• Theories of Visual and Diagrammatic Reasoning: Foundational Issues

  Corin A. Gurr

  PDF

• Local Extent in Diagrams

  Norman Foo

  PDF

• Diagrammatic Reasoning about Actions Using Artificial Potential Fields

  Marcello Frixione, Gianni Vercelli, Renato Zaccaria

  PDF

• Inter-Diagrammatic Reasoning

  Michael Anderson

  PDF

• Diagrammatic Reasoning

  Gerard Allwein

  PDF

• Diagrammatic Reasoning and Color

  Michael Anderson, Chris Armen

  PDF

• GenEd-A Generic Editor for Reasoning about Visual Notations

  Volker Haarslev, Michael Wessel

  PDF

• Preface

  Gerard Allwein, Kim Marriott, Bernd Meyer

  PDF

• Euclid++

  Gerard Allwein

  PDF

• Organizing Committee

  Gerard Allwein, Kim Marriott, Bernd Meyer

  PDF

• A Logic-based Formalism for Reasoning about Visual Representations

  Volker Haarslev

  PDF

• Visual Language Specification and Recognition

  Kim Marriott

  PDF

• The BITPICT Computation System

  George W. Furnas

  PDF

• Diagrammatic Reasoning: Analysis of an Example

  Patrick J. Hayes, Geoffrey L. LaForte

  PDF

• Interpretation of Visual Notations in the Recopla Editor Generator

  Bernd Meyer, Hubert Zweckstetter

  PDF