Constraint diagram reasoning

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    3 Citations (Scopus)


    Diagrammatic human-computer interfaces are now becoming standard. In the near future, diagrammatic front-ends, such as those of UML-based CASE tools, will be required to offer a much more intelligent behavior than just editing. Yet there is very little formal support and there are almost no tools available for the construction of such environments. The present paper introduces a constraint-based formalism for the specification and implementation of complex diagrammatic environments. We start from grammar-based definitions of diagrammatic languages and show how a constraint solver for diagram recognition and interpretation can automatically be constructed from such grammars. In a second step, the capabilities of these solvers are extended by allowing to axiomatise formal diagrammatic systems, such as Venn Diagrams, so that they can be regarded as a new constraint domain. The ultimate aim of this schema is to establish a language of type CLP(Diagram) for diagrammatic reasoning applications.
    Original languageEnglish
    Title of host publicationPrinciples and Practice of Constraint Programming – CP’99
    Subtitle of host publication5th International Conference, CP’99 Alexandria, VA, USA, October 11-14, 1999 Proceedings
    EditorsJoxan Jaffar
    Place of PublicationBerlin Germany
    Number of pages15
    ISBN (Print)3540666265
    Publication statusPublished - 1999
    EventInternational Conference on Principles and Practice of Constraint Programming 1999 - Alexandria, United States of America
    Duration: 11 Oct 199914 Oct 1999
    Conference number: 5th

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743


    ConferenceInternational Conference on Principles and Practice of Constraint Programming 1999
    Abbreviated titleCP 1999
    CountryUnited States of America

    Cite this