Implementing Logics in Diagrams

Keith Stenning, Jon Oberlander

Research output: Chapter in Book/Report/Conference proceedingConference contribution


We have been developing a general cognitive theory of graphics from this starting point. Our aim in this paper is to lay out the outlines of our theory so that it can be compared and contrasted with other approaches at this workshop. We will give a brief exposition of the logical treatment and then illustrate the theory in the domain of an Euler’s Circles based system for solving syllogisms.
Original languageEnglish
Title of host publicationPapers from 1992 AAAI Spring Symposium: Reasoning with Diagrammatic Representations
Subtitle of host publicationTechnical Report SS-92-02
EditorsN. Hari Narayanan
PublisherAAAI Press
Number of pages5
ISBN (Print)978-0-929280-63-9
Publication statusPublished - 1992
EventAAAI Spring Symposium on Reasoning with Diagrammatic Representations - Stanford University, Palo Alto, CA, United States
Duration: 25 Mar 199227 Mar 1992


SymposiumAAAI Spring Symposium on Reasoning with Diagrammatic Representations
Country/TerritoryUnited States
CityPalo Alto, CA


Dive into the research topics of 'Implementing Logics in Diagrams'. Together they form a unique fingerprint.

Cite this