Diploma/Master's Thesis Topic: Logic-based Controllers for Real-time Strategy Games [assigned]

Submitted by Daniel Beck on 15. January 2010 - 16:37


The logic-based programming language Readylog has already been successfully applied in other real-time domains such as in robotic soccer and for controlling game bots in the computer game Unreal Tournament 2004. Contrary to those domains where the agent controls a single entity, an agent for a real-time strategy (RTS) game has to cope with a large number of units that need to be controlled simultaneously.

Einführung in die Informatik WS 2009/2010

Submitted by stf on 12. September 2009 - 15:47

Die Veranstaltung ist eine der von der Fachgruppe Informatik seit dem Wintersemester 2001/2002 angebotenen Einführungsvorlesungen für Hörer aller Fakultäten:

  • Programmierung (Java) (WS)
  • Einführung in die Informatik (WS)
  • Algorithmen und Datenstrukturen (SS)
  • Software-Entwicklung (SS)

Eine Ankündigung dieser Veranstaltung finden Sie auch im Online-Vorlesungsverzeichnis CAMPUS.

Lecture - Introduction to Artificial Intelligence WS 2009/2010

Submitted by Jens Claßen on 11. September 2009 - 20:48
An announcement of the course can also be found in the course information system CAMPUS.

[Registration Form for First Exam (on 11th February 2010)]

[Registration Form for Second Exam (on 24th March 2010)]

Note: These registration forms are only for students in the study program Informatik (Diplom), Informatik (vorgezogene Masterprüfung) and Automatisierungstechnik (Master)!

Diploma Thesis: A Declarative Semantics for a Subset of PDDL with Constraints, Preferences and Derived Predicates [completed]

Submitted by Jens Claßen on 2. February 2009 - 19:00

The thesis presents an extension of the modal Situation Calculus variant ES by the features of constraints, preferences and derived predictaes. Based on this, a semantic mapping between the corresponding subset of the planning language PDDL and the newly extended ES is provided, serving as an alternative, declarative semantics for PDDL's meta-theoretic, state-transitional semantics as well as the basis of embedding such planners into Golog.