The course introduces techniques for knowledge representation and reasoning. The topics covered are:
This course starts on: 13th April 2015.
The proseminar will be on different (sub-)topics from artificial intelligence. We largely follow the lines of the well known textbook by Stuart Russell and Peter Norvig “Artificial Intelligence - A Modern Approach”.