Previous Knowledge

From International Center for Computational Logic
Toggle side column

Previous Knowledge

To give an orientation for the knowledge that is required, we summarise the syllabus of courses taught at the Technische Universität Dresden. The relevant literature is given below.

Foundations of Mathematical Logic

  • Logic: Mathematics, Language, Computer Science and Philosophy.
    Volume 1, H. S. de Swart (Editor), Publisher Peter Lang, 1993
    • Chapters 1-3, 5, 7, 9, 10-12, 18-19, 21-22 (classical propositional and predicate logic)
    • Chapters 25-26 (logic programming)
  • M. Fitting. First-Order Logic and Automated Theorem Proving, Springer Verlag, 1990
    • Chapter 2 (propositional logic)
    • Chapter 3 (semantic tableaux and resolution)
    • Chapter 5 (first-order logic)
    • Chapter 6 (first-order proof procedures)

Foundations of Artificial Intelligence

  • Stuart Russel and Peter Norvig.
    Artificial Intelligence: A Modern Approach.
    Englewood Cliffs, NJ: Prentice Hall, 1994

Declarative Programming, e. g. Programming in a logic language

  • Richard A. O'Keefe.
    The Craft of Prolog.
    MIT Press, Cambridge, 1994, ISBN 0-262-15039-5
  • W. F. Clocksin, Mellish, C. S.
    Programming in Prolog: Using the ISO Standard, 5th Ed.
    SPRINGER 2003, ISBN: 3540006788
  • Ivan Bratko.
    Prolog Progarmming for Artificial Intelligence
    Addison Wesley 2001, ISBN: 0201403757
  • Norbert E. Fuchs.
    Kurs in Logischer Programmierung.
    Springer Verlag, Reihe Angewandte Informatik, 1990
    • Prolog (pure Prolog, full Prolog, Prolog programming techniques)
    • Logical foundations (logic for knowledge representation, logical inference)
    • Applications (search techniques and methods, logical grammars, meta-interpreter)
  • Leon Sterling and Ehud Shapiro.
    The Art of Prolog
    MIT Press, 2nd edition, 1994

E. g. programming in a functional language

  • Simon Thompson, Haskell.
    The Craft of Functional Programming.
    Addison-Wesley Second Edition, 1999
  • Paul Hudak.
    Conception, evolution and application of functional programming languages.
    ACM Computing Surveys (CSUR) Vol. 21, Issue 3, September 1989, pp 359 - 411