Research Group on the Foundations of Artificial Intelligence

Robert Mattmüller received a diploma in computer science (Diplom-Informatiker) from the University of Freiburg in March 2006.

Since April 2006 he has been working in the Research Group on the Foundations of Artificial Intelligence headed by Prof. Dr. Bernhard Nebel. He is a member of the Transregional Collaborative Research Center AVACS. His research interests include AI Planning as well as heuristic methods in automatic verification.

• Exercises for the lecture AI Planning (WS 06/07)
• Exercises for the lecture Foundations of Artificial Intelligence (SS 07)
• Exercises for the lecture Game Theory (WS 07/08)
• Exercises for the lecture Logic for Computer Scientists (Diploma) (WS 07/08)
• Participation in the Seminar AI Planning and Model Checking (WS 07/08)
• Exercises for the lecture Foundations of Artificial Intelligence (SS 08)
• Participation in the seminar Logic in AI (SS 08)
• Exercises for the lecture Logics, Categories, and Colimits for Artificial Intelligence (WS 08/09)
• Exercises for the lecture Game Theory (SS 09)
• Participation in the seminar Self Referentiality (SS 09)
• Participation in the project/practical Foundations of Artificial Intelligence (SS 09)

Temporal Fast Downward is a temporal planning system that successfully participated in the temporal satisficing track of the 6th International Planning Competition 2008. Based on the Fast Downward planning system by Malte Helmert and Silvia Richter, Temporal Fast Downward was mainly developed by Gabriele Röger, Patrick Eyerich and me. Further information and the planner itself can be obtained from the Temporal Fast Downward homepage.

Public PGP/GPG key

If you want to send me an encrypted email please use my public PGP/GPG key (valid until 2011-09-22).