Arbeitsgruppe Grundlagen der Künstlichen Intelligenz

Im März 2006 erhielt Robert Mattmüller ein Diplom in Informatik von der Albert-Ludwigs-Universität Freiburg.

Seit April 2006 ist er wissenschaftlicher Mitarbeiter in der von Prof. Dr. Bernhard Nebel geleiteten Arbeitsgruppe Grundlagen der Künstlichen Intelligenz an der Universität Freiburg. Er ist Mitglied des transregionalen Sonderforschungsbereichs SFB/TR14 AVACS. Zu seinen Forschungsinteressen gehören Handlungsplanung sowie heuristische Methoden in der automatischen Verifikation.

• Übungen zur Vorlesung Handlungsplanung (WS 06/07)
• Übungen zur Vorlesung Grundlagen der Künstlichen Intelligenz (SS 07)
• Übungen zur Vorlesung Spieltheorie (WS 07/08)
• Übungen zur Vorlesung Logik für Informatiker (Diplom) (WS 07/08)
• Beteiligung am Seminar Handlungsplanung und Modelchecking (WS 07/08)
• Übungen zur Vorlesung Grundlagen der Künstlichen Intelligenz (SS 08)
• Beteiligung am Seminar Logik in der KI (SS 08)
• Übungen zur Vorlesung Logics, Categories, and Colimits for Artificial Intelligence (WS 08/09)
• Übungen zur Vorlesung Spieltheorie (SS 09)
• Beteiligung am Seminar Selbstbezüglichkeit (SS 09)
• Beteiligung am Projekt/Praktikum Grundlagen der Künstlichen Intelligenz (SS 09)

Temporal Fast Downward ist ein temporales Planungssystem, welches mit Erfolg am temporalen Track des sechsten Internationalen Planungswettbewerbs 2008 teilgenommen hat. Temporal Fast Downward basiert auf dem Fast-Downward-Planer von Malte Helmert und Silvia Richter und wurde hauptsächlich von Gabriele Röger, Patrick Eyerich und mir entwickelt. Weitere Informationen sowie den Planer selbst finden Sie auf der Temporal-Fast-Downward-Homepage.

Öffentlicher PGP/GPG-Schlüssel

Wenn Sie mir eine verschlüsselte Email senden wollen, so verwenden Sie bitte meinen öffentlichen PGP/GPG-Schlüssel (gültig bis 2011-09-22).