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

Lab Course: Distributed Task Planning for a Group of Mobile Robots

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

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