Spider Diagrams

HOWSE, J., MOLINA, F., TAYLOR, J., KENT, S., & GIL, J. Y. (2001). Spider Diagrams: A Diagrammatic Reasoning System. Journal of Visual Languages and Computing, 12(3), 299-324.

Type

Journal article

Intellectual base

Primary research

Year

2001

DOI

10.1006/jvlc.2000.0210

Link

https://kar.kent.ac.uk/13604/

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Domain-specific

• Spider Diagram
  • The diagram can make a constraint system easier to inspect while remaining formal enough to support sound inference.

    This sourceGives formal syntax and semantics, shading and habitat rules, and sound diagrammatic transformations.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Links previously used in the corpus

Before the registry existed this work was also linked 1 other way.

• https://doi.org/10.1006/jvlc.2000.0210 ×1

Registry ID ref:026f83e92f52 · see in the full table