Rob Kremer

UofC

Constraint Graphs: A Concept Map Meta-Language
(PhD Dissertation)


Chapter 9 index

References


Abadi, M. & Cardelli, L. 1996. A Theory of Objects. New York, Springer.

Arnold, K. & Gosling, J. 1996. The Java Programming Language. Reading, Massachusetts, Addison-Wesley.

Aufaure-Portier, M. A. 1995. A High Level Interface Language for GIS. Journal of Visual Languages and Computing 2(2): 167-182.

Axelrod, R. 1976. Structure of Decision. Princeton, New Jersey, Princeton University Press.

Banathy, B. H. 1991. Cognitive mapping of educational systems for future generations. World Future 30(1): 5-17.

Barreiro, J., Fraley, R. & Musser, D. 1995. Hash Tables for the Standard Template Library. ftp://ftp.cs.rpi.edu/pub/stl/hashdoc.ps.Z, Rensselaer Polytechnic Institute and Hewlett Packard Laboratories, February, 1995.

Birtwistle, G., Dahl, O., Myhrhaug, B. & Nygaard, K. 1979. Simula Begin. Bromley, England, Chartwell-Bratt Ltd.

Booch, G. 1994. Object Oriented Design With Applications, Benjamin/Cummings.

Booch, G. & Rumbaugh, J. 1995. Unified Method for Object-Oriented Development Set, Rational Software Corporation.

Borenstein, N. & Freed, N. 1993. MIME (Multipurpose Internet Mail Extensions) Part One: Mechanisms for Specifying and Describing the Format of Internet Message Bodies. http://www.cis.ohio-state.edu/htbin/rfc/rfc1521.html, September, 1993.

Borgida, A., Brachman, R. J., McGuiness, D. L. & Resnick, L. A. 1989. CLASSIC: A Structural Data Model for Objects. Proceeding of 1989 SIGMOD Conference on the Management of Data. New York, ACM Press: 58-67.

Burnett, M. & Baker, M. 1994. A Classification System for Visual Programming Languages. Journal of Visual Languages and Computing 5(3): 287-300.

Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P. & Stal, M. 1996. A System of Patterns: Pattern-Oriented Software Architecture. West Sussex, England, John Wiley & Sons.

Calcinelli, D. & Mainguenaud, M. 1994. Cigales, a Visual Query Language for a Geographical Information System: the User Interface. Journal of Visual Languages and Computing 5(2): 113-132.

Cardelli, L. & Metchell, J. C. 1994. Operations on Records. Theoretical Aspects of Object Oriented Programming: Types, Semantics, and Language Design. C. A. Gunter & J. C. Mitchel. Cambridge, Mass, The MIT Press: 295-350.

Cardelli, L. & Wegner, P. 1985. On Understanding Types, Data Abstraction, and Polymorphism. Computing Surveys 17(4).

Church, A. 1956. Introduction to Mathematical Logic. Princeton, N. J., Princeton University Press.

Coad, P., North, D. & Mayfield, M. 1995. Object Models: Strategies, Patterns, and Applications, Yourdon Press.

Conklin, J. 1987. Hypertext: An Introduction and Survey. Computer(September, 1987).

Conklin, J. & Begeman, M. L. 1987. gIBIS: A Hypertext tool for Team Design Deliberation. Hypertext'87: 247-251.

Constabile, M. F. & Catarci, T., Eds. 1995. Special Issue on Visual Query Systems. Journal of Visual Languages and Computing 6(1).

Cook, W. R., HILL, W. L. & Canning, P. S. 1994. Inheritance Is Not Subtyping. Theoretical Aspects of Object Oriented Programming: Types, Semantics, and Language Design. C. A. Gunter & J. C. Mitchel. Cambridge, Mass, The MIT Press: 497-517.

Corrandini, A., Ehrig, H., Löwe, M., Montanari, U. & Padberg, J. 1994. The Category of Typed Graph Grammars and its Adjunctions with Categories of Derivations. Proceedings of 5th International Workshop on Graph Grammars and Their Application to Computer Science. J. Cuny, H. Ehrig & G. Engels. Williamsburg, VA, USA, Springer-Verlag: 56-74.

Courcelle, B. 1990. Graphs as Relational Structures: An Algebraic and Logical Approach. Proceedings of 4th International Workshop on Graph Grammars and Their Application to Computer Science. H. Ehrig, H.-J. Kreowski & G. Rozenberg. Breman, Germany, Springer-Verlag: 238-252.

Cox, B. J. 1991. Object-Oriented Programming: An Evolutionary Approach. Reading, Mass, Addison -Wesely.

Craig, I. D. 1991. Formal Specification of Advanced AI Architectures. New York, Ellis Horwood.

Craigen, D., Gerhart, S. & Ralston, T. 1993. International Survey of Industrial Applications of Formal Methods, U.S. National Institute of Standards and Technology.

Crimi, C., Guercio, A., Nota, G., Pacini, G., Tortora, G. & Tuccit, M. 1991. Relation Grammars and their Application to Multi-dimensional Languages. Journal of Visual Languages and Computing 2(4): 333-346.

Cuny, J., Ehrig, H. & Engels, G. 1994. Proceedings of 5th International Workshop on Graph Grammars and Their Application to Computer Science. Williamsburg, VA, USA, Springer-Verlag.

Cycorp, I. 1996. Cyc Ontology Guide. http://www.cyc.com/cyc-2-1/intro-aaa.html, Cycorp Inc., August 7, 1996.

DeMarco, T. 1982. Controlling Software Projects: Management, Measurement and Estimation. Inglewood Cliffs, N. J., Yourdon Press.

Donini, F., Lenzerini, M., Nardi, D. & Nutt, W. 1995. The Complexity of Concept Languages, Deutsches Forschungszentrum fur Kunstleche Intelligenz GmbH.

Drewes, F. & Kreowski, H.-J. 1990. A Note on Hyperedge Replacement. Proceedings of 4th International Workshop on Graph Grammars and Their Application to Computer Science. H. Ehrig, H.-J. Kreowski & G. Rozenberg. Breman, Germany, Springer-Verlag: 238-252.

Eden, C., Jones, S. & Sims, D. 1979. Thinking in Organizations. London, Macmillan.

Eklund, P. W., Leane, J. & Nowak, C. 1993. GRIT: Toward a Standard GUI for Conceptual Structures. Second International Workshop on PEIRCE: A Conceptual Graphs Workbench. Laval University, Quebec, Canada.

Ellis, G. & Levinson, R., Eds. 1992. Proceedings of the First International Workshop on PEIRCE: A Conceptual Graphs Workbench. Las Cruccs, New Mexico.

Flores-Mendez, R. 1997. Programming Distributed Collaboration Interaction through the WWW (working title). MSc Thesis, Department of Computer Science, University of Calgary, Calgary, Canada.

Gaines, B. R. 1991a. Empirical Investigation of Knowledge Representation Servers: Design Issues and Applications Experience with KRS. AAAI Spring Symposium on Implementing Knowledge Representation and Reasoning Systems. Stanford, CA.

Gaines, B. R. 1991b. An Interactive Visual Language for Term Subsumption Languages. IJCAI-91. Sydney, Australia.

Gamma, E., Helm, R., Johnson, R. & Vlissides, J. 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Reading Mass., Addison Wesley.

Genesereth, M. R. & Fikes, R. E. 1992. Knowledge Interchange Formal, Version 3.0, Reference Manual. Stanford, California, Computer Science Department, Stanford University.

Gerhart, S., Craigen, D. & Ralston, T. 1994. Experiences with Formal Methods in Critical Systems. IEEE Software, January 1994.

Goldberg, A. 1983. Smalltalk-80 : the Language and its Implementation. Reading, Mass., Addison-Wesley.

Graesser, A. C. & Clark, L. F. 1985. Structures and Procedures of Implicit Knowledge. New Jersey, Ablex.

Grobe, M. 1996. An Instantaneous Introduction to CGI Scripts and HTML Forms. http://kuhttp.cc.ukans.edu/info/forms/forms-intro.html, July 12, 1996.

Gronbaek, K., Hem, J. A., Madsen, O. L. & Sloth, L. 1994. Cooperative Hypermedia Systems: A Dexter-Based Architecture. Communications of the ACM 17(2): 64-74.

Gronbaek, K. & Trigg, R. H. 1994. Design Issues for a Dexter-Based Hypermedia System. Communications of the ACM 17(2): 41-49.

Gruber, T. 1995. Ontolingua Overview. http://www-ksl.stanford.edu/kst/ontolingua.html, Stanford KSL, December 15, 1995.

Gunter, C. A. & Mitchel, J. C., Eds. 1994. Theoretical Aspects of Object Oriented Programming: Types, Semantics, and Language Design. Foundations of Computing. Cambridge, Mass, The MIT Press.

Hailpern, B. & Nguyen, V. 1987. A Model for Object-Based Inheritance. Research Directions in Object-Oriented Programming. B. Shriver & P. Wegner. Cambridge, Massachusetts, MIT Press: 147-164.

Halasz, F. & Schwartz, M. 1990. The Dexter Hypertext Reference Model. Hypertext Standardization Workshop, Gaithersburg, MD.

Hammer, E. M. 1995. Logic and Visual Information. Stanford, California, CSLI Publications.

Hardman, S., Bulterman, D. C. A. & Rossum, G. v. 1994. The Amsterdam Hypermedia Model: Adding Time and Context to the Dexter Model. Communications of the ACM 17(2): 50-62.

Hart, J. A. 1977. Cognitive Maps of Three Latin American Policy Makers. World Politics 30(1): 115-140.

Hayes, I., Ed. 1987. Specification Case Studies. Englewood Cliffs, N. J., Prentice-Hall.

Jia, X. 1995. ZTC: A type checker for Z (version 2.02). ftp://ise.cs.depaul.edu/pub/ZTC/, Telecommunication, and Information Systems, School of Computer Science, DePaul University, September 29,1996.

Kremer, R. 1993. A Concept Map Based Approach to the Shared Workspace. MSc. Thesis, Department of Computer Science, University of Calgary, Calgary, Canada.

Kremer, R. 1994. Concept Mapping: Informal to Formal. Third International Conference on Conceptual Structures, Knowledge Representation Workshop. University of Maryland.

Kremer, R. 1995. The Design of a Concept Mapping Environment for Knowledge Acquisition and Knowledge Representation. Banff Knowledge Acquisition Workshop. Banff, Alberta.

Kremer, R. 1996a. A Z Specification for KRS using Typed Graphs. http://www.cpsc.ucalgary.ca/~kremer/graphs/KRS_Z.html, September 30, 1996.

Kremer, R. 1996b. A Z Specification for the Conceptual Graphs based on of Typed Graphs. http://www.cpsc.ucalgary.ca/~kremer/graphs/CG_Z.html, September 30, 1996.

Kremer, R. C. & Flores-Mendez, R. A. 1996. BNFs for KSI Map Storage Formats. http://ksi.cpsc.ucalgary.ca/local/software/storageBNF.html, Dec. 26, 1996.

Kremer, R. C. & Gaines, B. R. 1996. Embedded Interactive Concept Maps in Web Documents. Proceedings of WebNet'96: World Conference of The Web Society. San Francisco, CA, USA.

Kremer, R., Lukose, D. & Gaines, B. R. 1997. Knowledge Modeling using Annotated Flow Chart. International Conference on Conceptual Structures, Seattle, Washington, Springer.

Kristensen, B. B., Madsen, O. L., Moller-Pedersen, B. & Nygaard, K. 1988. The BETA Programming Language. Research Directions in Object-Oriented Programming. B. Shriver & P. Wegner. Cambridge, Massachusetts, MIT Press: 7-48.

Lambiotte, J. G., Dansereau, D. F., Cross, D. R. & Reynolds, S. B. 1984. Multirelational Semantic Maps. Educational Psychology Review 1(4): 331-367.

Laufer, K. 1995. A Framework for Higher-Order Functions in C++. UNEXIX Conference on Object-Oriented Technologies (COOTS). Monteray, CA.: 103-116.

Lieberman, H. 1986. Using Prototypical Objects to Implement Shared Behavior in Object-Oriented Systems. Object Oriented Systems, Languages, and Applications, ACM.

Lukose, D. 1991. Conceptual Graph Tutorial. Geelong, Australia, Department of Computing and Mathematics, School of Sciences, Deakin University.

Lukose, D. 1993. Executable Conceptual Structures. Conceptual Graphs for Knowledge Representation. G. W. Mineau, B. Moulin & J. F. Sowa. Berlin, Germany, Springer- Verlag.

Lukose, D. 1995. Using Executable Conceptual Structures for Modelling Expertise. 9th Banff Knowledge Acquisition For Knowledge-Based Systems Workshop (KAW'95), Banff Conference Centre, Banff, Alberta, Canada.

Madsen, O. 1988. Block-Structure and Object-Oriented Languages. Research Directions in Object-Oriented Programming. B. Shriver & P. Wegner. Cambridge, Massachusetts, The MIT Press.

Marks, J. 1991. A Formal Specification Scheme for Network Diagram That Facilitates Automated Design. Journal of Visual Languages and Computing 2(4): 395-414.

McNeese, M. D., Zaff, B. S., Peio, K. J., Snyder, D. E., Duncan, J. C. & McFarren, M. R. 1990. An Advanced Knowledge and Design Acquisition Methodology for the Pilot's Associate. Wright-Patterson Air Force Base, Ohio, Harry G. Armstrong Aerospace Medical Research Laboratory.

Meyer, B. 1992. Eiffel: The Language, Prentice Hall.

Munday, C., Cross, J., Daengdej, J. & Lukose, D. 1996. CGKEE: Conceptual Graph Knowledge Engineering Environment User and System Manual. Armidale, N.S.W., Australia, Department of Mathematics, Statistics, and Computing Science, University of New England.

Musem, M. A., Fagen, L. A. & Shortliffe, E. H. 1987. Graphical Specification of Procedural Knowledge for an Expert System. IEEE Computer Society Workshop on Visual Languages, Dallas, Texas, IEEE.

Myers, B. A. 1990. Taxonomies of Visual Programming and Program Visualization. Journal of Visual Languages and Computing 1(1): 97-123.

Nelson, M. 1995. C++ Programmer's Guide to the Standard Template Library. Foster City, CA, IDG Books Worldwide Inc.

Netscape Communications Corporation. 1996a. Developer Information: LiveConnect. http://home.netscape.com/comprod/products/navigator/version_3.0/developer/mojava.html, September 28, 1996.

Netscape Communications Corporation. 1996b. Netscape JavaScript. http://home.netscape.com/comprod/products/navigator/version_2.0/script/index.html, September 28, 1996.

Netscape Communications Corporation. 1997. Extensions to HTML 3.0. http://home.netscape.com/assist/net_sites/html_extensions_3.html, March 10, 1997.

Nosek, J. T. & Roth, I. 1990. A Comparison of Formal Knowledge Representation Schemes as Communication Tools: Predicate Logic vs. Semantic Network. International Journal of Man-Machine Studies 33: 227-239.

Novak, J. D. & Gowin, D. B. 1984. Learning How To Learn. New York, Cambridge University Press.

Petre, M. & Green, T. R. G. 1993. Learning to Read Graphics: Some Evidence that 'Seeing' an Information Display is an Acquired Skill. Journal of Visual Languages and Computing 4(1): 55-70.

Pree, W. 1995. Design Patterns for Object-Oriented Software Development. Reading Mass, Addison-Wesley.

Price, B. A., Baecker, R. M. & Small, I. S. 1993. A Principled Taxonomy of Software Visualization. Journal of Visual Languages and Computing 4(3): 211-266.

Quillian, M. R. 1968. Semantic memory. Semantic Information Processing. M. Minsky. Cambridge, Massachusetts, MIT Press: 216-270.

Remy, D. 1994. Type Inference for Records in a Natural Extension of ML. Theoretical Aspects of Object Oriented Programming: Types, Semantics, and Language Design. C. A. Gunter & J. C. Mitchel. Cambridge, Mass, The MIT Press: 351-372.

Roberts, D. D. 1973. The Existential Graphs of Charles S. Peirce. The Hague, Mouton & Co. N. V.

Roseman, M. & Greenberg, S. 1996. TeamRooms: Network Places for Collaboration. Computer Supported Cooperative Work Conference. Boston, Mass.

Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F. & Lorensen, W. 1991. Object-Oriented Modeling and Design. Englewood Cliffs, N.J., Prentice-Hall.

Shneiderman, B. 1986. Direct Manipulation: A Step Beyond Programming Languages. IEEE Computer 16: 57-69.

Smith, D. C. 1977. Pygmalion: A Computer Program to Model and Stimulate Creative Thought. Stuttgart, Basel.

Snyder, A. 1988. Inheritance and the Development of Encapsulated Software Components. Research Directions in Object-Oriented Programming. B. Shriver & P. Wegner. Cambridge, Massachusetts, MIT Press: 165-188.

Sowa, J. F. 1984. Conceptual Structures: Information Processing in Mind and Machine. Reading, Massachusetts, Addison-Wesley.

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

Spivey, J. M. 1989. The Z Notation: A Reference Manual, Prentice Hall.

Stepanov, A. & Lee, M. 1995. The Standard Template Library. http://www.cs.rpi.edu/~musser/doc.ps, Hewlett-Packard Laboratories, Nov. 11, 1996.

Stepney, S., Barden, R. & Cooper, D., Eds. 1992a. Object Orientation in Z. Workshops in Computing, Springer-Verlag.

Stepney, S., Barden, R. & Cooper, D. 1992b. A Survey of Object Orientation in Z. Software Engineering Journal 7(2): 161-168.

Stroustrup, B. 1991. The C++ Programming Language (second edition). Reading, Mass., Addison-Westley.

Sun Microsystems Inc. 1996. JavaSoft. http://java.sun.com/, September 25, 1996.

Wang, D. & Lee, J. R. 1993. Visual Reasoning: its Formal Semantics and Applications. Journal of Visual Languages and Computing 4(4): 327-356.

Wegner, P. 1988. The Object-Oriented Classification Paradigm. Research Directions in Object-Oriented Programming. B. Shriver & P. Wegner. Cambridge, Massachusetts, MIT Press: 479-560.

West, D. B. 1996. Introduction to Graph Theory. Upper Saddle River, NJ, Prentice-Hall.

Wirth, N. 1988. Programming in Modula-2. Berlin, Springer.

Zalta, E. 1988. Intensional Logic and the Metaphysics of Intentionality. Cambridge, MA, MIT/Bradford.

Zalta, E. 1993. Twenty-Five Basic Theorems in Situation and World Theory. Journal of Philosophical Logic 22: 385-428.


Chapter 9 index


UofC Constraint Graphs: A Concept Map Meta-Language (PhD Dissertation), Department of Computer Science

Rob Kremer