Institutslogo Abteilung Grundlagen der Künstlichen Intelligenz, Institut für Informatik, Universität Freiburg


Principles of Knowledge Representation

Sommersemester 2003

Lecturers: Prof. Dr. Bernhard Nebel and Dr. Jussi Rintanen, Exercises: Malte Helmert


[Overview] [Lecture] [Assignments] [Terminology]


Exercise Assignments

Exercise Sheet Handed Out Due Model Solution
Exercise 1 Friday, May 2 Wednesday, May 7 Model Solution
Exercise 2 Wednesday, May 7 Wednesday, May 14 Model Solution
Exercise 3 Wednesday, May 14 Wednesday, May 21 Model Solution
Exercise 4 Wednesday, May 21 Wednesday, May 28 Model Solution
Exercise 5 Wednesday, May 28 Wednesday, June 4 Model Solution
Exercise 6 Wednesday, June 4 Wednesday, June 18 Model Solution
Exercise 7 Wednesday, June 18 Wednesday, June 25 Model Solution
Exercise 8 Wednesday, June 25 Wednesday, July 2 Model Solution
Exercise 9 Wednesday, July 2 Wednesday, July 9 Model Solution
Exercise 10 Wednesday, July 9 Wednesday, July 16 Model Solution
Exercise 11 Wednesday, July 16 Wednesday, July 23 Model Solution

Project Assignments

Project Description Handed Out Due Collected Solutions
Project P1 Wednesday, May 21 Friday, June 20 Solutions (C++, Java, Haskell, Prolog, Python)
Project P2 Friday, June 6 Friday, July 11 Solutions (C++, Java, Haskell)
Project P3 Wednesday, July 9 Friday, July 25 Solutions (smodels)
Project P4 Friday, July 18 Friday, August 1 Solution (Python)

Students working on projects may use any of the following programming languages: C, C++, Java, Haskell, Prolog, Python. If you prefer to use another programming language, this might be possible by arrangement. In this case, please contact us before starting to work on the project.

Submitted programs must pass a number of tests and have a sufficiently documented source code. Programs that do not meet both requirements will not be accepted, but the students will get a chance to correct the problems within the submission deadline. Students are encouraged to submit their solutions early to have enough time for fixing problems.

Additional Downloads


Valid HTML 4.01! Valid CSS! helmert@informatik.uni-freiburg.de, 28. Juli 2003