Constraint matching for diagram design: Qualitative visual languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1889, Issue , 2000, Pages 74-88

  Von Klopp Lemon, Ana ^a   Von Klopp Lemon, Oliver ^b  

^a SUN MICROSYSTEMS   (United States)

^b STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPHIC METHODS; OBJECT DETECTION;

COGNITIVE CAPACITY; DIAGRAM DESIGNS; DIAGRAMMATIC REPRESENTATIONS; FILE SYSTEMS; FORMAL PROPERTIES; MATHEMATICAL TOPOLOGIES; POINT OF DEPARTURES; SPATIAL RELATIONS;

VISUAL LANGUAGES;

EID: 84942931807     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44590-0_11     Document Type: Conference Paper

References (24)

1. Jon Barwise and Atsushi Shimojima. Surrogate Reasoning. Cognitive Studies: Bulletin of Japanese Cognitive Science Society, 4(2):7–27, 1995.
2. Keith Stenning and Oliver Lemon. Aligning logical and psychological perspectives on Diagrammatic Reasoning. Artificial Intelligence Review, 2000. (in press).
3. Oliver Lemon. Comparing the Efficacy of Visual Languages. In Barker-Plummer, Beaver, Scotto di Luzio, and van Benthem, editors, Logic, Language, and Diagrams. CSLI Publications, Stanford, 2000. (in press).
4. Oliver von Klopp Lemon and Ana von Klopp Lemon. Cognitive issues in GUI design: Constructing website maps. In Andreas Butz, Antonio Kruger, and Patrick Olivier, editors, AAAI Smart Graphics Symposium, pages 128–132, 2000.
5. Sinan Si Alhir. UML in a Nutshell. O’Reilly, 1998.
6. David Harel. On Visual Formalisms. Communications of the ACM, 31(5):514–530, 1988.
7. Oliver Lemon and Ian Pratt. Spatial Logic and the Complexity of Diagrammatic Reasoning. Machine GRAPHICS and VISION, 6(1):89–108, 1997. (Special Issue on Diagrammatic Representation and Reasoning).
8. Atsushi Shimojima. On the Efficacy of Representation. PhD thesis, Indiana University, 1996.
9. Dejuan Wang. Studies on the Formal Semantics of Pictures. PhD thesis, Institute for Logic, Language, and Computation, Amsterdam, 1995.
10. Atsushi Shimojima. Constraint-Preserving Representations. In Logic, Language and Computation, volume 2, number 96 in Lecture Notes, pages 296–317. CSLI, Stanford, 1999.
11. Hector J. Levesque. Logic and the Complexity of Reasoning. Journal of Philosophical Logic, 17:355–389, 1988.
12. Volker Haarslev. Formal Semantics of Visual Languages using Spatial Reasoning. In IEEE symposium on Visual Languages, pages 156–163. IEEE Computer Society Press, 1995.
13. John Gooday and Anthony Cohn. Using spatial logic to describe visual languages. Artificial Intelligence Review, 10:171–186, 1996.
14. Stephen Casner. Automatic design of efficient visual problem representations. In AAAI, pages 157–160, 1992.
15. Jock Mackinlay. Automatic Design of Graphical Presentations. PhD thesis, Computer Science Department, Stanford University, 1986.
16. Jacques Bertin. Graphics and Graphic Information Processing. Walter deGruyter, Berlin, New York, 1981.
17. Stephen E. Palmer. Fundamental Aspects of Cognitive Representation. In Elanor Rosch and Barbara B. Lloyd, editors, Cognition and Categorization, pages 259–303. Lawrence Erlbaum Associates, Hillsdale, N.J., 1978.
18. H. G. Eggleston. Convexity. Cambridge University Press, Cambridge, 1969.
19. G. Kuratowski. Sur le probleme des courbes gauches en topologie. Fund. Math., 15:271–283, 1930.
20. George Englebretsen. Linear Diagrams for Syllogisms (with Relationals). Notre Dame Journal of Formal Logic, 33(1):37–69, 1992.
21. Keith Stenning and Jon Oberlander. A Cognitive Theory of Graphical and Linguistic Reasoning: Logic and Implementation. Cognitive Science, 19(1):97–140, 1995.
22. Oliver Lemon and Ian Pratt. On the insufficiency of linear diagrams for syllogisms. Notre Dame Journal of Formal Logic, 39(4), 1998. (in press, to appear 2000).
23. Mike Scaife and Yvonne Rogers. External cognition: how do graphical representations work? International Journal of Human-Computer Studies, 45:185–213, 1996.
24. Oliver Lemon and Ian Pratt. Logical and Diagrammatic Reasoning: the complexity of conceptual space. In Michael Shafto and Pat Langley, editors, 19th Annual Conference of the Cognitive Science Society, pages 430–435, New Jersey, 1997. Lawrence Erlbaum Associates.