Diagrammatic reasoning systems

John Howse

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Abstract

Euler diagrams have been used for centuries as a means for conveying logical statements in a simple, intuitive way. They form the basis of many diagrammatic notations used to represent set-theoretic relationships in a wide range of contexts including software modelling, logical reasoning systems, statistical data representation, database search queries and file system management. In this paper we consider some notations based on Euler diagrams, in particular Spider Diagrams and Constraint Diagrams, with particular emphasis on the development of reasoning systems.
Original languageEnglish
Title of host publicationProceedings of the 16th International Conference on Conceptual Structures
Place of PublicationBerlin
PublisherSpringer
Pages1-20
Number of pages20
Volume5113
ISBN (Electronic)9783540705963
ISBN (Print)9783540705956
DOIs
Publication statusPublished - 1 Jan 2008
EventProceedings of the 16th International Conference on Conceptual Structures - Toulouse, France, 7-11 July, 2008
Duration: 1 Jan 2008 → …

Publication series

NameLecture Notes in Computer Science

Conference

ConferenceProceedings of the 16th International Conference on Conceptual Structures
Period1/01/08 → …

Bibliographical note

Invited keynote paper for International Conference on Conceptual Structures, 2008

Keywords

  • Visual formalisms
  • diagrammatic reasoning
  • automated reasoning
  • software specification
  • information visualization

Fingerprint Dive into the research topics of 'Diagrammatic reasoning systems'. Together they form a unique fingerprint.

  • Cite this

    Howse, J. (2008). Diagrammatic reasoning systems. In Proceedings of the 16th International Conference on Conceptual Structures (Vol. 5113, pp. 1-20). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-540-70596-3_1