Summer 15 - Knowledge-Based Systems Group

Phone: &#43;49 241 80-21501 (secretariat) &#43;49 241 80-21530
Telefax: &#43;49 241 80-22321

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”.