Lecture - The Logic of Knowledge Bases SS 2014

Contents This course is about the logic of knowledge bases, in two distinct but related senses. On the one hand, a knowledge base is a collection of sentences in a representation language that entails a certain picture of the world represented.

Proseminar Artificial Intelligence SS 2014

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

Seminar Dynamics of Knowledge and Belief SS 2014

In this seminar we will study several modeling and reasoning techniques for knowledge and belief in dynamic systems. Knowledge is an important aspect of intelligent programs: while most of today’s systems assume a closed world, i.