378 search results - page 2 / 76 » Formalizing Spider Diagrams |
104
click to vote
DIAGRAMS
2004
Springer
15 years 3 months ago
2004
Springer
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
93
Voted
DIAGRAMS
2004
Springer
15 years 5 months ago
2004
Springer
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
82
Voted
DIAGRAMS
2004
Springer
15 years 5 months ago
2004
Springer
Projected contours enable Euler diagrams to scale better. They enable the representation of information using less syntax and can therefore increase visual clarity. Here informal r...
JCT
2000
14 years 11 months ago
2000
Let Q(k, l) be a poset whose Hasse diagram is a regular spider with k+1 legs having the same length l (cf. Fig. 1). We show that for any n 1 the nth cartesian power of
103
click to vote
DIAGRAMS
2004
Springer
15 years 5 months ago
2004
Springer
We describe a method for drawing graph-enhanced Euler diagrams using a three stage method. The first stage is to lay out the underlying Euler diagram using a multicriteria optimizi...