Next: About this document
Up: No Title
Previous: Conclusion and Further
References
- 1
-
S.K. Chang,
``Ten Years of Visual Languages Research'',
In VL'94 [16], pp. 196--205.
- 2
-
V Haarslev, R. Möller, and C. Schröder,
``Combining Spatial and Terminological Reasoning'',
in KI-94: Advances in Artificial Intelligence -- Proc. 18th
German Annual Conference on Artificial Intelligence, Saarbrücken, Sept.
18--23, 1994, B. Nebel and L. Dreschler-Fischer, Eds. Sept. 1994, vol. 861
of Lecture Notes in Artificial Intelligence, pp. 142--153, Springer
Verlag, Berlin.
- 3
-
K.M. Kahn and V.A. Saraswat,
``Complete Visualizations of Concurrent Programs and their
Executions'',
in 1990 IEEE Workshop on Visual Languages, Skokie/IL, Oct. 4-6,
1990. Oct. 1990, pp. 7--14, IEEE Computer Society Press,
See also Technical Report SSL-90-38 [P90-00099], Xerox Palo Alto Research Center ,
1990.
- 4
-
W. Citrin, M. Doherty, and B. Zorn,
``Formal Semantics of Control in a Completely Visual Programming
Language'',
In VL'94 [16], pp. 208--215.
- 5
-
A.G. Cohn and J.M. Gooday,
``Defining the Syntax and the Semantics of a Visual Programming
Language in a Spatial Logic'',
in AAAI-94, Spatial and Temporal Reasoning Workshop, 1994,
Preprint.
- 6
-
E. Clementini, P. Di Felice, and P. van Oosterom,
``A Small Set of Formal Topological Relationships Suitable for
End-User Interaction'',
In Abel and Ooi [14], pp. 277--295.
- 7
-
R.M. MacGregor,
``The Evolving Technology of Classification-based Knowledge
Representation Systems'',
In Principles of Semantic Networks: Explorations in the
Representation of Knowledge [15], pp. 385--400.
- 8
-
R.J. Brachman, D.L. McGuinness, P.F. Patel-Schneider, L.A. Reswnick, and
A. Borgida,
``Living with Classic: When and How to Use a KL-ONE-like
Language'',
In Principles of Semantic Networks: Explorations in the
Representation of Knowledge [15], pp. 401--456.
- 9
-
K.M. Kahn, V.A. Saraswat, and V. Haarslev,
``Pictorial Janus: A Completely Visual Programming
Language and its Environment (in German)'',
in GI-Fachgespräch Programmieren multimedialer Anwendungen
der GI-Jahrestagung 1991, Darmstadt, Oktober 1991, J. Encarnacao, Ed. 1991,
pp. 427--436, Springer Verlag, Berlin.
- 10
-
V. Haarslev,
``Formal Semantics of (Completely) Visual Languages'',
Technical Report , in preparation, 1995.
- 11
-
D. Brill,
Loom Reference Manual, Version 2.0,
Marina del Rey, 1994.
- 12
-
D. Wang and J.R. Lee,
``Pictorial concepts and a concept-supporting graphical system'',
Journal of Visual Languages and Computing, vol. 4, no. 2, pp.
177--199, June 1993.
- 13
-
D. Wang and J.R. Lee,
``Visual Reasoning: its Formal Semantics and Applications'',
Journal of Visual Languages and Computing, vol. 4, no. 4, pp.
327--356, Dec. 1993.
- 14
-
D. Abel and B.C. Ooi, Eds.,
Advances in Spatial Databases, Third International Symposium,
SSD'93, Singapore, June 23-25, 1993, vol. 692 of Lecture Notes in
Computer Science. Springer Verlag, Berlin, June 1993.
- 15
-
J.F. Sowa,
Principles of Semantic Networks: Explorations in the
Representation of Knowledge,
Morgan Kaufmann Publishers, San Mateo, California, 1991.
- 16
-
1994 IEEE Symposium on Visual Languages, St. Louis, Missouri, Oct. 4-7.
IEEE Computer Society Press, Oct. 1994.
Volker Haarslev
Wed Jan 31 15:50:43 MET 1996