Teaching

• Lecture: Projection Computation in Knowledge Representation, Winter 2010/11
• Übung: Grundlagen der Künstlichen Intelligenz, Winter 2010/11
• 3rd Indonesian Summer School on Computational Logic, October 2010
  • Course Page: Projection Computation in Knowledge Representation
• Knowledge Representation and Reasoning This seminar and talk series is conducted by Professor Hölldobler in cooperation with assistants.
  • Winter 2010/11
  • Summer 2010, Main Topic: Computational Logic and Human Thinking
  • Winter 2009/2010, Main Topic: Human Reasoning and Cognitive Science