Sciweavers

Share
156 search results - page 1 / 32
» A Sound and Complete Diagrammatic Reasoning System
Sort
View
VL
2000
IEEE
115views Visual Languages» more  VL 2000»
9 years 8 months ago
SD2: A Sound and Complete Diagrammatic Reasoning System
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
John Howse, Fernando Molina, John Taylor
ASC
2000
9 years 5 months ago
A Sound and Complete Diagrammatic Reasoning System
John Howse, Fernando Molina, John Taylor
DIAGRAMS
2000
Springer
9 years 8 months ago
On the Completeness and Expressiveness of Spider Diagram Systems
Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles. Designed to complement object-oriented modelling notations ...
John Howse, Fernando Molina, John Taylor
ICCS
2004
Springer
9 years 9 months ago
Types and Tokens for Logic with Diagrams
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
Frithjof Dau
SPATIALCOGNITION
2000
Springer
9 years 7 months ago
Interactive Layout Generation with a Diagrammatic Constraint Language
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
Christoph Schlieder, Cornelius Hagen
books