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). The aim of the project is to
acquire tractable and practiable yet logically expressive agent systems
by integrating latest development in the fields of action logics and
planning techniques. For this purpose, an existing Prolog-based Golog
framework is to be extended with fast state-of-the-art planners as well
as efficient reasoning techniques for incomplete knowledge bases.

Qualifications
--------------

Ideally, a candidate