• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • AAAI Officers and Committees
    • AAAI Staff
    • Bylaws of AAAI
    • AAAI Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • Award for Artificial Intelligence for the Benefit of Humanity
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • AAAI Resources
    • AAAI Mailing Lists
    • Past AAAI Presidential Addresses
    • Presidential Panel on Long-Term AI Futures
    • Past AAAI Policy Reports
      • A Report to ARPA on Twenty-First Century Intelligent Systems
      • The Role of Intelligent Systems in the National Information Infrastructure
    • AAAI Logos
    • News
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • IAAI
    • ICWSM
    • HCOMP
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AAAI Press
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
  • aaai-icon_ai-magazine-line-yellowAI Magazine
    • Issues and Articles
    • Author Guidelines
    • Editorial Focus
  • MembershipMembership
    • Member Login
    • Developing Country List
    • AAAI Chapter Program

  • Career CenterCareer Center
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

Home / Proceedings / Papers from the 1998 AAAI Fall Symposium /

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

Primary Sidebar