Knowledge-Based Systems Group
Prof. Gerhard Lakemeyer, Ph.D.
Lecture - The Logic of Knowledge Bases SS 2018
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 2018
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:Reasoning, Planning, and Scheduling with Uncertainty SS18
In this seminar, we will study uncertainty in the context of reasoning, planning, and scheduling. For reasoning about actions, we will look into stochastic extensions of the Situation Calculus, a well-known formalism for reasoning about dynamic domains.