Reasoning with projected contours

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2980, Issue , 2004, Pages 147-150

  John, Chris ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE SYSTEMS; COMPUTER GRAPHICS; MATHEMATICAL TRANSFORMATIONS; SEMANTICS; VISUALIZATION; ARTIFICIAL INTELLIGENCE; COMPUTERS;

EULER DIAGRAMS; PROJECTED CONTOURS; SPIDER DIAGRAMS; INFORMAL REASONING; VISUAL CLARITIES;

SET THEORY; GRAPHIC METHODS;

EID: 9444259810     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25931-2_15     Document Type: Conference Paper

References (3)

1. J. Gil, J. Howse, S. Kent, and J. Taylor. Projections in Venn-Euler diagrams. In Proc. IEEE Symposium on Visual Languages (VL2000), pages 119-126. IEEE Computer Society Press, 2000.
2. J. Gil, J. Howse, and E. Tulchinsky. Positive semantics of projections. In Journal of Visual Languages and Computing, 2001.
3. J.Flower and G. Stapleton. Automated theorem proving with spider diagrams. In Accepted for Proc. ENTCS Computing: The Australasian Theory Symposium (CATS04), Dunedin, New Zealand. Elsevier Science, 2004.