Operational constraints in diagrammatic reasoning
Logical reasoning with diagrams
Logic and Visual Information
Theories of Diagrammatic Reasoning: Distinguishing Component Problems
Minds and Machines
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Towards a Formalization of Constraint Diagrams
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Machine Graphics & Vision International Journal
A diagrammatic reasoning system for the description logic ALC
Journal of Visual Languages and Computing
Diagrammatic Reasoning Systems
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Journal of Visual Languages and Computing
The expressiveness of spider diagrams augmented with constants
Journal of Visual Languages and Computing
The Advent of Formal Diagrammatic Reasoning Systems
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Abstractions of Euler Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Measuring and Reducing Clutter in Euler Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
A Survey of Reasoning Systems Based on Euler Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Visualizing the semantics (not the syntax) of concept descriptions
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Usability of a visual language for DL concept descriptions
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Exploring the notion of ‘clutter' in euler diagrams
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Twelve years of diagrams research
Journal of Visual Languages and Computing
Hi-index | 0.00 |
Rejecting the temptation to make up a list of necessary and sufficient conditions for diagrammatic and sentential systems, we present an important distinction which arises from sentential and diagrammatic features of systems. Importantly, the distinction we will explore in the paper lies at a meta-level. That is, we argue for a major difference in meta-theory between diagrammatic and sentential systems, by showing the necessity of a more fine-grained syntax for a diagrammatic system than for a sentential system. Unlike with sentential systems, a diagrammatic system requires two levels of syntax--token and type. Token-syntax is about particular diagrams instantiated on some physical medium, and type-syntax provides a formal definition with which a concrete representtation of a diagram must comply. While these two levels of syntax are closely related, the domains of type-syntax and token-syntax are distinct from each other. Euler diagrams are chosen as a case study to illustrate the following major points of the paper: (i) What kinds of diagrammatic features (as opposed to sentential features) require two different levels of syntax? (ii) What is the relation between these two levels of syntax? (iii) What is the advantage of having a two-tiered syntax?