Vorlesungen

• Intelligente Handlungsplanung
  S. Biundo-Stephan, B. Schattenberg
  CS6310.000

• Algorithmen in der Wissensrepräsentation
  B. Glimm
  CS6321.000

• Automated Theorem Proving
  Y. Kazakov
  CS6302.000

Seminare

• Proseminar Künstliche Intelligenz
  S. Biundo-Stephan und Mitarbeiter
  CS4400.003

• Advances in Artificial Intelligence
  S. Biundo-Stephan, B. Schattenberg
  CS5900.108
  

  Vorbesprechung:
  Dienstag, der 23.04. um 12:00 Uhr in O27/429

• Seminar Kognitive Modellierung
  Die Veranstaltung wird zusammen mit der Psychologie durchgeführt. 
  M. Schiller, F. Schmitz, B. Glimm, O. Wilhelm
  CS5900.116 (in der Psychologie PSY12203.004)

Praktika / Projekte

• Components for Intelligent Companion Systems
  S. Biundo-Stephan, B. Schattenberg
  CS6400.001
  

  Vorbesprechung:
  Dienstag, der 23.04. um 12:00 Uhr in O27/429

• Individualpraktika:
  In Absprache mit Mitarbeitern des Instituts können jederzeit
  individuelle Praktika zu aktuellen Themen aus der KI durchgeführt werden.

Arbeitsgemeinschaften

• Graduiertenkolleg des SFB/TRR 62
  S. Biundo-Stephan, Mitarbeiter und Gäste
  CS6598.000

• Absolventenseminar Künstliche Intelligenz
  S. Biundo-Stephan, B. Glimm, Mitarbeiter und Gäste
  CS6599.001