Teaching

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 [ ]

Theses Guidelines and General Procedure

Here's the general procedure of a thesis at the Knowledge-Based Systems Group:

  1. Orientation
  2. Proposal
  3. Thesis Work
  4. Final Presentation

Finally, we have some general remarks for you.

Submitted by stf on 26. July 2010 - 21:19 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 [ ]

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

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 2015 - 16:59 categories [ ]

Seminar "Selected Topics in Multi-Agent Reasoning Systems"

In this seminar we will study several systems used for reasoning in multi-agent scenarios.

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 1. August 2014 - 13:22 categories [ ]

Lab Course "Procedural Reasoning on a Group of Adaptive Mobile Robots"

Lab course to develop an software agent based on Procedural Reasoning Systems for a competitive factory automation in simulation.

Submitted by tim on 25. June 2014 - 18:58 categories [ ]

Lecture - The Logic of Knowledge Bases

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 1. April 2014 - 18:07 categories [ ]

Proseminar Artificial Intelligence SS 2014

The SS 2014 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 6. January 2014 - 3:05 categories [ ]

Seminar Dynamics of Knowledge and Belief

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.e., everything they don't know to be true is assumed to be false, an intelligent system needs to consider possible that there are truths not known to the system. In a dynamic environment, i.e., an environment where one or multiple agents (inter)act, the system will usually have to acquire new knowledge through sensing. Potentially it may even revise its beliefs when it realizes some beliefs were wrong. In this seminar we will study various aspects of action, knowledge, and belief.

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 Christoph Schwering on 6. January 2014 - 0:08 categories [ ]