Lecture - The Logic of Knowledge Bases SS 2016

Contents his 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 2016

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 - Forgetting and Relevance SS 2016

In this seminar we will study concepts of forgetting and relevance developed in the field of Knowledge Representation. Humans not only forget unintentionally but also intentionally, for example, when they obtain new information and delete previous contradicting and apparently false information.