Prof. Gerhard Lakemeyer, Ph.D.
At the Chair for Computer Science 5 (Information Systems) within the Computer Science Department at RWTH Aachen University.
Progression is a form of projection reasoning that updates an initial state to a future one according to the effects of actions, and determines what holds in the updated state. In single-agent systems, progression has been extensively studied, mainly via the logical formalism of the Situation Calculus and its epistemic variants[1,2].
We are looking for student workers to assist with teaching the Introduction to Artificial Intelligence course for the winter semester 2024/2025. Your tasks will be to assist in the different matters related to teaching the course including, but not limited to, grading and exam supervision.