What can concept diagrams say?

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

Volumn 7352 LNAI, Issue , 2012, Pages 291-293

  Stapleton, Gem ^a   Howse, John ^a   Chapman, Peter ^a   Oliver, Ian ^b   Delaney, Aidan ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

^b Nokia Services   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY RELATION; CONSTRAINT DIAGRAMS; DIAGRAMMATIC LOGIC; EULER DIAGRAMS; FIRST-ORDER; SECOND ORDERS; SPIDER DIAGRAMS;

ARTIFICIAL INTELLIGENCE;

GRAPHIC METHODS;

EID: 84863614149     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-31223-6_29     Document Type: Conference Paper

References (6)

1. Hammer, E.: Logic and Visual Information. CSLI Publications (1995)
2. Kent, S.: Constraint diagrams: Visualizing invariants in object oriented modelling. In: Proceedings of OOPSLA 1997, pp. 327-341. ACM Press (1997)
3. Mineshima, K., Okada, M., Sato, Y., Takemura, R.: Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol. 5223, pp. 188-205. Springer, Heidelberg (2008)
4. Oliver, I., Howse, J., Stapleton, G., Nuutila, E., Törma, S.: A proposed diagrammatic logic for ontology specification and visualization. In: International Semantic Web Conference (2009)
5. Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press (1994)
6. Swoboda, N., Allwein, G.: Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. Journal on Software and System Modeling 3(2), 136-149 (2004)