Îçҹ̽»¨

Vorlesungen

• 
  Y. Kazakov
  
• 
  A. Huckauf, Y. Kazakov, E. Rukzio, F. Yan
  
• 
  S. Biundo-Stephan, G. Behnke, C. Olz
  
  Die erste Vorlesung findet am 29.4. statt. Das erste Tutorium findet in der KW 18 (29.4. - 3.5.) statt. Die Modalitäten der Anmeldung werden in der ersten Vorlesung bekannt gegeben.
• 
  S. Biundo-Stephan, G. Behnke
  
• 
  B. Glimm
  

Projekte

• Automated Reasoning & Advanced Automated Reasoning
  Y. Kazakov
   & 
• Projekte zur Intelligenten Handlungsplanung
  S. Biundo-Stephan und Mitarbeiter
  &
• Semantic Web & Advanced Semantic Web
  B. Glimm und Mitarbeiter
   & 

Seminare

• 
  S. Biundo-Stephan und Mitarbeiter