Teaching at KBSG

Teaching Overview

Our regular teaching activities include Introduction to Artificial Intelligence, Knowledge Representation, and Logic of Knowledge-Bases. Browse the categories to see what's up this semester.

Lectures | Seminars | Laboratories | Proseminars

Submitted by stf on 27. November 2007 - 12:19 categories [ ]

Seminar - General Information & Guidelines

Here's a collection of important information and general guidelines that you as a seminar participant or applicant should be aware of. If you have questions, contact a staff member. Some of the information given here may be superseded by special requirements for a particular seminar!

Submitted by stf on 28. August 2008 - 14:17 categories [ ]

Lecture - The Logic of Knowledge Bases SS 2016

Note: This course starts on Monday, 18 April 2016.

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. On the other hand, having a knowledge base entails being in a certain state of knowledge where a number of other epistemic properties hold. One of the principal aims of this course is to develop a detailed account of the relationship between symbolic representations of knowledge and abstract states of knowledge. Students wishing to attend the course should be familiar with first-order predicate logic.

Submitted by Jens Claßen on 7. April 2016 - 12:54 categories [ ]

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

We plan to implement a peer review process for this seminar. That is, every student will read some other students' term paper and provide feedback in form of a written review. This shall not only deepen your understanding of the other topics, but it also introduces you to the academic review process.

Submitted by stf on 8. January 2016 - 16:05 categories [ ]

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. In fact, humans usually do not forget irrevocably; we can bring back memories and reconstruct forgotten knowledge. In formal languages as studied in KR, however, even supposedly simple forgetting often turns out very difficult. In this seminar, we will study techniques for forgetting in KR languages such as predicate logic, description logics, or answer set programs. Related to forgetting is the concept of relevance among different facts. For example, when some fact is to be forgotten, this may also affect other facts relevant to the forgotten fact. Relevance is useful to develop tractable reasoning and handling inconsistencies in a knowledge base.

Submitted by Christoph Schwering on 30. December 2015 - 20:59 categories [ ]

Lecture - Introduction to Artificial Intelligence WS 2015/2016

See Campus for announcements for


  • To access the L2P room, you need to register for the course in Campus ("Zum klassischen Anmeldeverfahren"). There we publish slides, announcements, etc.
  • To take the exam, you need to do the modular registration process which closes 20 November.
Submitted by Jens Claßen on 8. October 2015 - 14:58 categories [ ]

Einführung in die Informatik WS 2015/2016

Die Veranstaltung "Einführung in die Informatik" ist eine der
von der Fachgruppe Informatik seit dem Wintersemester 2001/2002
angebotenen Einführungsvorlesungen für Hörer aller Fakultäten:

  • Programmierung (Java) (WS)
  • Einführung in die Informatik (WS)
  • Algorithmen und Datenstrukturen (SS)
  • Software-Entwicklung (SS)

im Online-Vorlesungsverzeichnis CAMPUS finden Sie Einträge zu

zu dieser Veranstaltung.

Submitted by stf on 7. October 2015 - 16:49 categories [ ]

Seminar Beliefs and Causality WS 2015/2016

In this seminar we will study papers from various subfields of Knowledge Representation. This includes belief revision; argumentation theory; planning; causality in general and the situation calculus in particular. All of these subfields of AI are related to each other. For example, one usually acts depending on what one believes, and actions in turn affect one's beliefs. In this seminar, we will study recent papers on these topics (particularly from the IJCAI-15 conference).

Submitted by Christoph Schwering on 2. August 2015 - 5:40 categories [ ]

Lab Course: Distributed Task Planning for a Group of Mobile Robots WS 2015/2016

Lab course to develop a distributed planning component for a competitive factory automation scenario in simulation.

Submitted by tim on 16. June 2015 - 16:51 categories [ ]

Lecture - Introduction to Knowledge Representation SS 2015

An announcement of the course can also be found in the course information system CAMPUS.

Submitted by Jens Claßen on 12. January 2015 - 11:57 categories [ ]