Database support for knowledge representation?

  • G. Görz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 474)


Knowledge Representation Domain Specific Knowledge Common Sense Knowledge Programming Style Attribute Term 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Ait-Kaci, H.: Type Subsumption as a Model of Computation. In: Kerschberg, L. (Ed.) [22], 1986, 115–139Google Scholar
  2. [2]
    Ait-Kaci, H., Nasr., R.: LOGIN: A Logic Programming Language with Built-In Inheritance. Jl. Logic Programming, Vol. 3, 1986, 185–215Google Scholar
  3. [3]
    Ait-Kaci, H., Lincoln, R.: LIFE: A Natural Language for Natural Language. MCC Technical Report ACA-ST-074-88, Austin, TX, 1988Google Scholar
  4. [4]
    Ait-Kaci, H., Nasr, R.: Integrating Logic and Functional Programming. Lisp and Symbolic Computation, Vol. 2, 1989, 51–89Google Scholar
  5. [5]
    Albano, A., Attardi, G.: Issues in Data Base and Knowledge Base Integration. In: Schmidt, J., Thanos, C. (Eds.) [39], 1989, 283–287Google Scholar
  6. [6]
    Backofen, R.: Integration von Funktionen, Relationen und Typen beim Sprachentwurf. Teil II: Attributterme und Relationen. Diplomarbeit, IMMD VI, Universität Erlangen-Nürnberg, Erlangen, 1989Google Scholar
  7. [7]
    Backofen, R., Euler, L., Görz, G.: Towards the Integration of Functions, Relations and Types in an AI Programming Language. To appear in: Proceedings of GWAI-90, Berlin: Springer (IFB), 1990Google Scholar
  8. [8]
    Brachman, R, Levesque, H.: The Tractability of Subsumption in Frame-Based Description Languages. Proceedings AAAI-84, Los Altos: Kaufmann, 1984Google Scholar
  9. [9]
    Brachman, R., Gilbert, V., Levesque, H: An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON. Proceedings of IJCAI-85, Los Altos: Kaufmann, 1985, 532–539Google Scholar
  10. [10]
    Brachman, R., Levesque, H.: What Makes a Knowledge Base Knowledgeable? A View of Databases from the Knowledge Level. In: Kerschberg, L. (Ed.) [22], 1986, 9–78Google Scholar
  11. [11]
    Brodie, M., Mylopoulos, J.: On Knowledge Base Management Systems. New York, Springer, 1989Google Scholar
  12. [12]
    Brodie, M., Manola, F.: Database Management: A Survey. In: Schmidt, J., Thanos, C. (Eds.) [39], 1989, 205–235Google Scholar
  13. [13]
    Dessloch, S., Leick, F.-J., Mattos, N.M.: An Approach to Knowledge Base Languages. University of Karlsruhe, Computer Science Department, Karlsruhe, 1990; submitted for publicationGoogle Scholar
  14. [14]
    Dittrich, K.: Objektorientierte Datenbanksysteme. Informatik-Spektrum, Bd. 12, 1989, 215–220Google Scholar
  15. [15]
    Euler, L.: Integration von Funktionen, Relationen und Typen beim Sprachentwurf. Teil I: Konzeption, Typenhierarchie und Funktionen. Diplomarbeit, IMMD VI, Universität Erlangen-Nürnberg, Erlangen, 1989Google Scholar
  16. [16]
    Harel, D.: Logic and Datbases: A Critique. ACM SIGPLAN Notices, Vol. 22, No. 3, 1987, 14–20Google Scholar
  17. [17]
    Haynes, C.T.: Logic Continuations. Proceedings of the Third Conference on Logic Programming, Berlin: Springer (LNCS 225), 1986, 671–685Google Scholar
  18. [18]
    Hillis, D.: New Computer Architectures: A Survey. In: Brodie, Mylopoulos (Ed.) [11], 1989, 529–533Google Scholar
  19. [19]
    Hillis, D.: Parallel Computers for AI Databases. In: Brodie, Mylopoulos (Ed.) [11], 1989, 551–563Google Scholar
  20. [20]
    Israel, D.: AI Knowledge Bases and Databases. In: Brodie, Mylopoulos (Ed.) [11], 1989, 71–75Google Scholar
  21. [21]
    Israel, D.: Notes on Inference: A Somewhat Skewed Survey. In: Brodie, Mylopoulos (Ed.) [11], 1989, 97–109Google Scholar
  22. [22]
    Kerschberg, L. (Ed.): Proceedings from the First International Conference on Expert Database Systems. Redwood City, Ca.: Benjamin/ Cummings, 1986Google Scholar
  23. [23]
    Lenat, D. et al: KNOESPHERE: Building Expert Systems with Encyclopedic Knowledge. Proceedings of IJCAI-83, Karlsruhe, Los Altos: Kaufmann, 1983, 167–169Google Scholar
  24. [24]
    Lenat, D. et al.: CYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks. AI Magazine, Vol. 6, No. 4, 1986, 64–85Google Scholar
  25. [25]
    Lenat, D., Feigenbaum E.: On the Tresholds of Knowledge. Proceedings of IJCAI-87, Milano, Los Altos: Kaufmann, 1987, 1173–1182Google Scholar
  26. [26]
    Lenat, D.B., Guha, R.V.: Buildung Large Knowledge-Based Systems — Representation and Inference in the Cyc Project. Reading, Mass.: Addison-Wesley, 1989Google Scholar
  27. [27]
    Levesque, H.: A Fundamental Tradeoff in Knowledge Representation and Reasoning. In: Brachman, R., Levesque, H. (Eds.): Readings in Knowledge Representation. Los Altos: Kaufmann, 1985, 42–70Google Scholar
  28. [28]
    Levesque, H.: Making Believers out of Computers. Artificial Intelligence Journal, Vol. 30, 1986, 81–108Google Scholar
  29. [29]
    Levesque, H.: Knowledge Representation and Reasoning. Annual Review of Computer Science, 1986, 1:255–287Google Scholar
  30. [30]
    Levesque, H., Brachman, J.: Knowledge Level Interfaces to Information Systems. In: Brodie, Mylopoulos (Ed.) [11], 1989, 13–34Google Scholar
  31. [31]
    Marr, D.: Vision — A Computational Investigation into the Human Representation and Processing of Visual Information. New York: Freeman, 1982Google Scholar
  32. [32]
    Mattos, N.M., Michels, M.: Modeling with KRISYS: The Design Process of DB Applications Revisited. Processings of the 8th International Conference on the Entity-Relationship Approach, Toronto, 1988Google Scholar
  33. [33]
    Morgenstern, M.: The Role of Constraints in Databases, Expert Systems, and Knowledge Representation. In: Kerschberg, L. (Ed.) [22], 1986, 351–368Google Scholar
  34. [34]
    Nebel, B., Smolka, G.: Representation and Reasoning with Attributive Descriptions. IBM IWBS Report No. 81, Stuttgart, 1989Google Scholar
  35. [35]
    Nebel, B.: Reasoning and Revision in Hybrid Representation Systems. Berlin: Springer (LNCS 422), 1990Google Scholar
  36. [36]
    Paepcke, A.: PCLOS: A Critical Review. Proceedings of the 1989 Conference on Object-Oriented Programming: Systems, Languages and Applications. SIGPLAN Notices, Vol. 24, No. 10, Oct. 1989, 221–237Google Scholar
  37. [37]
    Rowley, S. et al.: Joshua: Uniform Access to Heterogeneous Knowledge Structures or Why Joshing is Better than Conniving or Planning. Proceedings of AAAI-87, Los Altos: Kaufmann, 1987, 48–52Google Scholar
  38. [38]
    Schefe, P.: On Definitional Processes in Knowledge Reconstruction Systems. Proceedings of IJCAI-87, Milano, Los Altos: Kaufmann, 1987, 509–511Google Scholar
  39. [39]
    Schmidt, J., Thanos, C. (Eds.): Fundamentals of Knowledge Base Management Systems. New York: Springer, 1989Google Scholar
  40. [40]
    Shepherd, A., Kerschberg, L.: Constraint Management in Expert Database Systems. In: Kerschberg, L. (Ed.) [22], 1986, 309–331Google Scholar
  41. [41]
    Smith, B.C.: Reflection and Semantics in LISP. Proceedings of the 1984 ACM Conference on Principles of Programming Languages, Salt Lake City, Utah, 1984, 23–35Google Scholar
  42. [42]
    Sowa, J.: Using a Lexicon of Canonical Graphs in a Semantic Interpreter. In: Evens, M. (Ed.): Relational Models of the Lexicon. Cambridge: Cambridge University Press, 1988,113–137Google Scholar
  43. [43]
    Stanfill, C., Waltz, D.: Toward Memory-Based Reasoning. Communications of the ACM, Vol. 29, 1986, 1213–1228Google Scholar
  44. [44]
    Symbolics STATICE, Doc. No. 999702, Cambridge, Mass., 1988Google Scholar
  45. [45]
    Weyer, S.: The Design of a Dynamic Book for Information Search. Int. J. Man-Machine Studies, Vol. 17, 1982, 87–107Google Scholar
  46. [46]
    Weyer, S., Borning, A.: A Prototype Electronic Encyclopedia. ACM Transactions on Office Information Systems, Vol. 3, 1985, 63–88Google Scholar
  47. [47]
    Zaniolo, C. et al: Object Oriented Database Systems and Knowledge Systems. In: Kerschberg, L. (Ed.) [22], 1986, 50–65Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • G. Görz
    • 1
  1. 1.Computer Science DepartmentUniversity of HamburgGermany

Personalised recommendations