Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Logic and Visual Information
SD2: A Sound and Complete Diagrammatic Reasoning System
VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
A reading algorithm for constraint diagrams
HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
The semantics of augmented constraint diagrams
Journal of Visual Languages and Computing
Towards Overcoming Deficiencies in Constraint Diagrams
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Evaluating and generalizing constraint diagrams
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
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Exploring Human Factors in Formal Diagram Usage
Engineering Interactive Systems
A Survey of Reasoning Systems Based on Euler Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
The semantics of augmented constraint diagrams
Journal of Visual Languages and Computing
Assisting domain experts to formulate and solve constraint satisfaction problems
EKAW'06 Proceedings of the 15th international conference on Managing Knowledge in a World of Networks
| Hi-index | 0.00 |
Constraint diagrams are a visual notation designed to express logical constraints. Augmenting the diagrams with a reading tree (effectively a partial ordering of quantifiers) ensures that each diagram has a unique semantic interpretation. In this paper, we discuss examples of reasoning rules for augmented constraint diagrams which exhibit interesting properties or difficulties that can arise when developing rules for such a diagrammatic system. We do not present a complete set of rules, but investigate the generic problems arising, providing solutions. One problem corresponds to the nesting of quantifiers and another relates to the domain of universal quantification. These issues may be an important consideration in the definition of other logical reasoning systems which explicitly represent quantification diagrammatically.