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