AI education and logic

  • Olga Štěpánková
  • Petr Štěpánek
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 451)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Bratko, I.: PROLOG Programming for Artificial Intelligence, Addison-Wesley, Reading, 1986Google Scholar
  2. [2]
    Charniak,E., McDermott,D.: Introduction to Artificial Intelligence, Addison-Wesley, 1985Google Scholar
  3. [3]
    Genesereth, M.R., Nilsson, N.J.: Logical Foundations of Artificial Intelligence, Martin Kaufmann Publishers, Inc., Palo Alto, 1988Google Scholar
  4. [4]
    Handbook of Artificial Intelligence (Barr,A., Feigenbaum,E.A., eds.), William Kaufmann, Inc., Los Altos, 1982Google Scholar
  5. [5]
    Kowalski, R.A.: Logic for Problem Solving, North Holland, New York, 1979Google Scholar
  6. [6]
    Ochozka, V., Štěpánková, O., Štěpánek, P., Hric, J.: Normal Forms and the Complexity of Logic Programs, in: Computer Science Logic 88, Duisburg (Borger E., Kleine Bunning, H., Richter, M.,M., eds.), Lecture Notes in Computer Science, Vol. 385, Springer-Verlag, Berlin, 1989, pp. 357–371Google Scholar
  7. [7]
    Shoenfield, J.R.: Mathematical Logic, Addison-Wesley Publishing Company, Reading, 1967Google Scholar
  8. [8]
    Štěpánková, O., Štěpánek, P.: Transformations of Logic Programs, Journal of Logic Programming 1 (1984), pp. 305–318CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Olga Štěpánková
    • 1
  • Petr Štěpánek
    • 2
  1. 1.Faculty of Electrical Eng.Czech Tech. Univ.Praha 6Czechoslovakia
  2. 2.Dept. of Computer ScienceCharles UniversityPraha 1Czechoslovakia

Personalised recommendations