Skip to main content
SpringerLink
Log in

A formal model of knowledge-based systems

Extended abstract

  • Chapter 4 Artificial Intelligence
  • Conference paper
  • First Online:
Book cover Trends, Techniques, and Problems in Theoretical Computer Science (IMYCS 1986)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 281))

Included in the following conference series:

  • 158 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bibel, W., Jorrand, Ph. (eds.): Fundamentals of Artificial Intelligence, An Advanced Course, LNCS 232, Springer-Verlag, Paris, pp. 313, 1985

    Google Scholar 

  2. Bobrow, D.G., Collins, A. (eds.): Representation and Understanding, Studies in Cognitive Science, Academic Press, New York 1975

    Google Scholar 

  3. Brachman, R.J., Levesque, H.J.: Competence in Knowledge Representation, Proc. of AAAI'82, pp. 189–192, 1982

    Google Scholar 

  4. Hayes, P.: In Defence of Logic, Proc. 5th IJCAI, pp. 559–565, 1977

    Google Scholar 

  5. Kalaš, I.: A Formal Treatment of Knowledge-Based Systems, (CSc. dissertation, in Slovak), Institute of Computer Science, Comenius University, 1987

    Google Scholar 

  6. Levesque, H.J.: A Formal Treatment of Incomplete Knowledge Bases, Fairchild Tech. Report No. 614, 1982

    Google Scholar 

  7. Mayoh, B.H.: Unified Theory for Logical Programming and Semantic Representation, Computers and AI 6, No 1, pp. 1–15, 1987

    Google Scholar 

  8. Mylopoulos, J: An Overview of Knowledge Representation, in: Proc. of the Workshop on Data Abstraction, Databases and Conceptual Modelling, SIGART Newsletter, No 74, pp. 5–12, 1981

    Google Scholar 

  9. Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, pp. 300, 1984

    Google Scholar 

  10. Waterman, D.A., Hayes-Roth, F. (eds.): Pattern Directed Inference Systems, Academic Press, London, 1979

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, Comenius University, 842 43, Bratislava, Czechoslovakia

    Ivan Kalaš

Authors
  1. Ivan Kalaš
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Alica Kelemenová Jozef Kelemen

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kalaš, I. (1987). A formal model of knowledge-based systems. In: Kelemenová, A., Kelemen, J. (eds) Trends, Techniques, and Problems in Theoretical Computer Science. IMYCS 1986. Lecture Notes in Computer Science, vol 281. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540185356_37

Download citation

  • DOI: https://doi.org/10.1007/3540185356_37

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18535-2

  • Online ISBN: 978-3-540-48008-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation