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