Lecture - Introduction to Knowledge Representation SS 2015

Contents Topics covered in the course The course introduces techniques for knowledge representation and reasoning. The topics covered are: First-order logic Expressing knowledge Full clausal logic Horn logic Procedural representations Answer set programming Production systems Description logics Inheritance networks Defaults Action Planning Abductive explanations Expressiveness/tractability trade-offs Course Dates This course starts on: 13th April 2015.

Proseminar Artificial Intelligence SS 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”.