Note: The registration form for the midterm exam can be found here.

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

The second written exam on "Introduction to Knowledge Representation (SS 2008)" takes place on Tuesday, 17th February 2009 at 14:00 in lecture hall AH V.
Studenten im Diplomstudiengang Informatik, die an der Klausur zur Erlangung eines Übungsscheins teilnehmen möchten, schicke bitte eine E-Mail mit Namen und Matrikelnummer an classen "ät" kbsg "punkt" rwth-aachen "punkt" de (Diploma students of Computer Science need to register by E-Mail).

[This topic has already been assigned to a student.]

Description

In a recent paper [1] we provided the theoretical foundation for the realization of a knowledge-based system based on the logic ES [2,3], a modal variant of the Situation Calculus [4,5]. The main advantages over existing approaches [6] is that it allows a more powerful query language, including nested belief operators and quantifying-in, and does not have to rely on meta-theoretic mechanisms to represent the agent's lack of knowledge.

The Knowledge-based Systems Group is looking for two student workers for software development and maintenance within the PLATAS project funded by the Deutsche Forschungsgemeinschaft (DFG).

Here's a list of theses supervised and finished at Knowledge-Based Systems Group.