Registration for 2nd AI Exam WS 2010/2011

Only students that do not need to enroll at the ZPA for the exam need to register here. For instance, these are diploma students or students who are currently pursuing their Bachelor degree but intend to use the exam for their Master's studies.

The registration will be open until March 20.

Fields marked with an asterisk are mandatory.

Submitted by Daniel Beck on 11. March 2011 - 16:38 categories [ ]

Registration for 1st AI Exam WS 2010/2011 [closed]

Registration is closed.

Submitted by Daniel Beck on 21. February 2011 - 15:09 categories [ ]

Einführung in die Informatik WS 2010/2011

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)

im Online-Vorlesungsverzeichnis CAMPUS finden Sie Einträge zu Vorlesung, Übung(en) und Klausur(en) zu dieser Veranstaltung.

Submitted by stf on 6. October 2010 - 9:34 categories [ ]

Lecture - Introduction to Artificial Intelligence

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

Submitted by Jens Claßen on 5. October 2010 - 17:26 categories [ ]

Diploma Thesis: Flexible Command Interpretation on a Mobile Robot using ReadyLog [completed]


In Domestic Service Robotics (DSR) human-robot interaction has to be as natural as possible since the robot should be easily operable even by laymen. Spoken language is a feasible means to do so but commands issued to a robot are often ill-formed or incomplete. The goal is to develop a system that is capable of successfully interpreting such commands.

Submitted by stf on 2. September 2010 - 16:44 categories [ ]

Lab Course: Interactive Agent Artificial Intelligence (LabIIA)

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

Submitted by stf on 11. June 2010 - 14:36 categories [ ]

On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs

Claßen, J., and G. Lakemeyer, "On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs", Proceedings of the Nineteenth European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, IOS Press, pp. 887--892, 08/2010.
Submitted by Jens Claßen on 3. June 2010 - 10:53 categories [ ]

Providing Ground-truth Data for the Nao Robot Platform

Niemueller, T., A. Ferrein, G. Eckel, D. Pirro, P. Podbregar, T. Kellner, C. Rath, and G. Steinbauer, "Providing Ground-truth Data for the Nao Robot Platform", RoboCup 2010: Robot Soccer World Cup XIV, vol. 6556, Singapore, Springer, pp. 133-144, 25/06/2010, 2011.
Submitted by tim on 2. June 2010 - 16:31 categories [ ]

Bachelor's Thesis: Implementation and Evaluation of an ES-based Golog system [completed]

This thesis describes the implementation and evaluation of an extension to the agent control language IndiGolog that uses the ES logic as description language, which allows a higher expressiveness including nested belief operators, quantifying-in and arbitrary first order logic sentences as the objective knowledge base. To exploit the full expression power of ES, a first-order logic theorem prover is used to evaluate requests against the agents knowledge base. For those changes the modular build-up of IndiGolog is harnessed, such that only a redevelopment of the evaluator was needed, whereas the remaining system was unchanged. After an introduction into the ES-logic and the IndiGolog platform the construction of the new evaluation module is described. Afterwards the new system is evaluated against original IndiGolog and Flux, another agent framework, and the advantages in terms of expression power are lined out.

Submitted by Jens Claßen on 19. May 2010 - 19:00 categories [ ]

Master's Thesis: Incorporating Domain-Dependent Knowledge into Golog - An Empirical Evaluation [completed]

This thesis provides presents an embedding of Doherty and Kvarnström's TALplanner into Golog. For this purpose, as theoretical foundation, a mapping between Temporal Action Logics and an appropriately extended variant of the modal Situation Calculus ES is given and proved to be correct. Furthermore, the embedding is implemented into the IndiGolog framework and evaluated empirically.

Submitted by Jens Claßen on 4. May 2010 - 19:00 categories [ ]