next up previous
Next: About this document Up: No Title Previous: Conclusion and Future


K.M. Kahn and V.A. Saraswat, ``Complete Visualizations of Concurrent Programs and their Executions'', in 1990 IEEE Workshop on Visual Languages, Skokie, Illinois, Oct. 4-6. Oct. 1990, pp. 7--14, IEEE Computer Society Press.

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.

V. Haarslev, ``Formal Semantics of Visual Languages using Spatial Reasoning'', In VL'95 [36], pp. 156--163.

V. Haarslev, ``Formal Semantics of (Completely) Visual Languages'', Technical Report , in preparation, 1996.

V. Haarslev and M. Wessel, ``GenEd -- An Editor with Generic Semantics for Formal Reasoning about Visual Notations'', Technical Report , in preparation, 1996.

E. Clementini, P. Di Felice, and P. van Oosterom, ``A Small Set of Formal Topological Relationships Suitable for End-User Interaction'', in Advances in Spatial Databases, Third International Symposium, SSD'93, Singapore, June 23-25, 1993, D. Abel and B.C. Ooi, Eds. June 1993, vol. 692 of Lecture Notes in Computer Science, pp. 277--295, Springer Verlag, Berlin.

E. Spanier, Algebraic Topology, McGraw-Hill Book Company, New York, N.Y., 1966.

M.J. Egenhofer, ``Reasoning about Binary Topological Relations'', in Advances in Spatial Databeses, Second Symposium, SSD'91, Zurich, Aug. 28-30, 1991, O. Günther and H.-J. Schek, Eds. Aug. 1991, vol. 525 of Lecture Notes in Computer Science, pp. 143--160, Springer Verlag, Berlin.

B.L. Clarke, ``A Calculus of Individuals Based on `Connection'\:'', Notre Dame Journal of Formal Logic, vol. 22, no. 3, pp. 204--218, July 1981.

B.L. Clarke, ``Individuals and Points'', Notre Dame Journal of Formal Logic, vol. 26, no. 1, pp. 204--218, Jan. 1985.

D.A. Randell and A.G. Cohn, ``Exploiting Lattices in a Theory of Space and Time'', In Lehmann [37], pp. 459--476.

R.M. MacGregor, ``The Evolving Technology of Classification-based Knowledge Representation Systems'', In Sowa [38], pp. 385--400.

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 Sowa [38], pp. 401--456.

W.A. Woods and J.G. Schmolze, ``The KL-ONE Family'', In Lehmann [37], pp. 133--177.

R.J. Brachman and J.G. Schmolze, ``An overview of the KL-ONE knowledge representation system'', Cognitive Science, pp. 171--216, Aug. 1985.

P. Hanschke, A Declarative Integration of Terminological, Constraint-based, Data-driven, and Goal-directed Reasoning, PhD thesis, University of Kaiserslautern, 1993.

G. Kamp and H. Wache, ``CTL -- A Description Logic with Expressive Concrete Domains'', submitted for publication, 1996.

J. Jaffar, S. Michaylov, P.J. Stuckey, and R.H.C. Yap, ``The CLP() Language and System'', ACM Transactions on Programming Languages and Systems, vol. 14, no. 3, pp. 339--395, July 1992.

J.A. Serrano, ``The Use of Semantic Constraints on Diagram Editors'', In VL'95 [36], pp. 211--216.

E.J. Golin, ``Parsing Visual Languages with Picture Layout Grammars'', Journal of Visual Languages and Computing, vol. 2, no. 4, pp. 371--393, Dec. 1991.

G. Costagliola, M. Tomita, and S.K. Chang, ``A Generalized Parser for 2-D Languages'', in 1991 IEEE Workshop on Visual Languages, Kobe, Japan, Oct. 8-11. Oct. 1991, pp. 98--104, IEEE Computer Society Press.

H. Göttler, ``Graph Grammars, a new Paradigm for Implementing Visual Languages'', in Rewriting Techniques and Applications, 3rd International Conference, RTA-89, 3-5 April 1989, Chapel Hill, NC. Apr. 1989, pp. 152--166, Springer Verlag, Berlin.

M.A. Najork and S.M. Kaplan, ``Specifying Visual Languages with Conditional Set Rewrite Systems'', in 1993 IEEE Symposium on Visual Languages, Bergen, Norway, Aug. 24-27. Aug. 1993, pp. 12--17, IEEE Computer Society Press.

J. Rekers and A. Schürr, ``A Graph Grammar Approach to Graphical Parsing'', In VL'95 [36], pp. 195--202.

C. Crimi, A. Guercio, G. Nota, G. Pacini, G. Tortora, and M. Tucci, ``Relation Grammars and their Application to Multi-dimensional Languages'', Journal of Visual Languages and Computing, vol. 2, no. 4, pp. 333--346, Dec. 1991.

R. Helm and K. Marriott, ``A Declarative Specification and Semantics for Visual Languages'', Journal of Visual Languages and Computing, vol. 2, no. 4, pp. 311--331, Dec. 1991.

B. Meyer, ``Pictures Depicting Pictures: On the Specification of Visual Languages by Visual Grammars'', in 1992 IEEE Workshop on Visual Languages, Seattle, Washington, Sept. 15-18. Sept. 1992, pp. 41--47, IEEE Computer Society Press.

K. Wittenburg, L. Weitzman, and J. Talley, ``Unification-based Grammars and Tabular Parsing for Graphical Languages'', Journal of Visual Languages and Computing, vol. 2, no. 4, pp. 347--370, Dec. 1991.

K. Wittenburg, ``Adventures in Multi-dimensional Parsing: Cycles and Disorders'', in 1993 International Workshop on Parsing Technologies, Tilburg, Netherlands and Durbuy, Belgium, Aug. 8-10, Aug. 1993.

K. Marriott, ``Constraint Multiset Grammars'', In VL'94 [39], pp. 118--125.

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.

W. Citrin, M. Doherty, and B. Zorn, ``Formal Semantics of Control in a Completely Visual Programming Language'', In VL'94 [39], pp. 208--215.

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.

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.

D. Wang, J.R. Lee, and H. Zeevat, ``Reasoning with Diagrammatic Representations'', in Diagrammatic Reasoning: Cognitive and Computational Perspectives, J. Glasgow, N.H. Narayanan, and B. Chandrasekaran, Eds., pp. 339--393. AAAI Press / The MIT Press, Menlo Park, California, 1995.

1995 IEEE Symposium on Visual Languages, Darmstadt, Germany, Sep. 5-9. IEEE Computer Society Press, Sept. 1995.

F. Lehmann, Ed., Semantic Networks in Artificial Intelligence, Pergamon Press, Oxford, England, 1992.

J.F. Sowa, Ed., Principles of Semantic Networks: Explorations in the Representation of Knowledge, San Mateo, California, 1991. Morgan Kaufmann Publishers.

1994 IEEE Symposium on Visual Languages, St. Louis, Missouri, Oct. 4-7. IEEE Computer Society Press, Oct. 1994.

Volker Haarslev
Tue Jul 2 13:23:22 MET DST 1996