Formalizing Reasoning with Visual and Diagrammatic Representations
Papers from the 1998 Fall Symposium
Gerard Allwein, Kim Marriott, Bernd Meyer, Program Cochairs
Technical Report FS-98-04. Published by The AAAI Press, Menlo Park, California
This technical report is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Organizing Committee / iii
Gerard Allwein, Kim Marriott, Bernd Meyer
Preface / iv
Gerard Allwein, Kim Marriott, Bernd Meyer
Symposium Organization / v
Gerard Allwein, Kim Marriott, Bernd Meyer
Visual Language Specification and Recognition / 1
Kim Marriott
Theories of Visual and Diagrammatic Reasoning: Foundational Issues / 3
Corin A. Gurr
Diagrammatic Reasoning and Color / 13
Michael Anderson, Chris Armen
Verification of Diagrammatic Proofs / 23
Mateja Jamnik, Alan Bundy, Ian Green
Diagrammatic Reasoning / 31
Gerard Allwein
Diagrammatic Reasoning: Analysis of an Example / 33
Patrick J. Hayes, Geoffrey L. LaForte
Diagrammatic Reasoning about Actions Using Artificial Potential Fields / 39
Marcello Frixione, Gianni Vercelli, Renato Zaccaria
Local Extent in Diagrams / 51
Norman Foo
A Logic-based Formalism for Reasoning about Visual Representations / 57
Volker Haarslev
Generating User Interfaces for Pen-based Computers / 67
Sitt Sen Chok, Kim Marriott
Hypergraph Representations of Diagrams in Diagram Editors / 79
Mark Minas
Euclid++ / 87
Gerard Allwein
Diamond: Diagrammatic Reasoning System Demonstration / 95
Mateja Jamnik, Alan Bundy, Ian Green
The BITPICT Computation System / 97
George W. Furnas
Demonstration of the Diagram Understanding System / 99
Robert P. Futrelle
GenEd-A Generic Editor for Reasoning about Visual Notations / 101
Volker Haarslev, Michael Wessel
VISCO-Querying GIS with Spatial Sketches / 103
Volker Haarslev, Michael Wessel
Inter-Diagrammatic Reasoning / 105
Michael Anderson
Interpretation of Visual Notations in the Recopla Editor Generator / 107
Bernd Meyer, Hubert Zweckstetter
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.