Teaching

• ICCL Introductory Week — Slides: How to Write a Research Paper in Computer Science (Version: Oct. 2016)
  Old versions: Oct. 2015, Oct. 2014
• Lecture: Applying Deduction Systems, Summer 2014
• Academic Skills in Computer Science (ASiCS), Winter 2013/14
  Joint lecture by Prof. Aßmann and members of the KRR group
  • Slides: How to Write a Research Paper in Computer Science (Version Nov. 2013)
• Übung: Formale Systeme, Winter 2012/13
• 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 supervised by Professor Hölldobler in cooperation with assistants.
  • Winter 2013/14, Main Topic: Second-Order Quantifier Elimination
  • Summer 2012, Main Topic: Recent Developments in SAT Solving and Related Areas
  • Winter 2010/11, Main Topic: Human Reasoning
  • Summer 2010, Main Topic: Computational Logic and Human Thinking
  • Winter 2009/2010, Main Topic: Human Reasoning and Cognitive Science