Institut für Informatik, Universität Freiburg

Bisher gehaltene Lehrveranstaltungen ( Arbeitsgruppe Künstliche Intelligenz)

Sommer 2004

• Control Systems
• Principles of AI Planning
• Spieltheorie
• Blockseminar Theorie und Praxis Autonomer Agenten
• Oberseminar Künstliche Intelligenz
• Kursvorlesung "Grundlagen der Künstlichen Intelligenz [Folien und Aufzeichnungen]

Winter 2003/2004

• Spezialvorlesung/Modallogiken - Theorie und Anwendungen
• Oberseminar Künstliche Intelligenz
• Praktikum Autonome Agenten (in English)

Sommer 2003

• Principles of Knowledge Representation
• Foundations of Artificial Intelligence
• Softwarepraktikum RoboCupRescue
• Seminar Spiele, Spieltheorie und Multiagentensysteme
• Oberseminar Künstliche Intelligenz

Winter 2002-2003

• Principles of AI Planning
• Praktikum Robotik (in english)
• Oberseminar Künstliche Intelligenz

Sommer 2002

• Oberseminar Künstliche Intelligenz
• Game theory
• Praktikum Project Robocup
• Softwarepraktikum RoboCupRescue

Winter 2001-2002

• Lecture Principles of Knowledge Representation and Reasoning

• Seminar Moderne Ansätze in der Handlungsplanung

• Oberseminar Künstliche Intelligenz

• Praktikum Robotik

Sommer 2001

• Informatik II
  • Vorlesungsfolien
  • Übungen
  • Materialien zu Java (Info I Folien, Manuale, Tutorials, Software)
  • Ergebnisse Endklausur und Noten
• Spezialvorlesung Principles of AI Planning
• Oberseminar Künstliche Intelligenz

Winter 2000-01

• Seminar Multiagenten-Systeme
• Praktikum: Robotik
• Spezialvorlesung Prinzipien der Wissensrepräsentation
• Oberseminar Künstliche Intelligenz

Sommer 2000

• Spezialvorlesung: Natürlichsprachliche Systeme (Übungen)
• Seminar: Spiele: Theorie und Praxis, Erfolge und Herausforderungen
  
• Praktikum Projekt RoboCup
• Oberseminar Künstliche Intelligenz

Winter 1999/2000

• Software Praktikum Flughafensimulation
• Spezialvorlesung: Prinzipien der Handlungsplanung
  • Vorlesungsunterlagen
  • Übungsaufgaben
• Oberseminar Künstliche Intelligenz

Sommer 1999

• Vorlesung: Prinzipien der Wissensrepräsentation
  • Vorlesungsfolien
  • Übungsaufgaben
• Projekt: RoboCup'99
• Oberseminar: Künstliche Intelligenz
  • Vorträge

Lehrveranstaltung der Gruppe Intelligente Autonome Systeme

• Vorlesung: Kursvorlesung "Grundlagen der Künstlichen Intelligenz"
  • Vorlesungsfolien
  • Übungsaufgaben

Winter 1998/99

• Vorlesung: Informatik III (Theoretische Informatik)
  • Das Buch zur Vorlesung: Theoretische Informatik - kurzgefaßt
  • Weitere Literatur
  • Übungsaufgaben
  • KLAUSUR: Montag, 8.2.1999,9:00 st - 11:00, Raum 051 03 026
• Seminar: Logik in der KI und Psychologie
• Praktikum: Robotik
• Oberseminar: Künstliche Intelligenz
  • Vorträge

Sommer 1998

• Kursvorlesung: Grundlagen der Künstlichen Intelligenz
  • Zeitplan und Inhalt
• Hauptseminar: Robotik
  • Zeitplan und Inhalt

Winter 1997/98

• Kompaktkurs: PROLOG
  • Folien und Programme
• Vorlesung: Handlungsplanung und -kontrolle in autonomen Agenten
  • Inhalt und Literatur
  • Übungsblätter
  • Hinweise zur Benutzung der Planungssysteme
  • Hinweise zur Benutzung des Saphira Systems
• Hauptseminar: Knowledge Discovery and Data Mining
  • Zeitplan und Inhalt
• Oberseminar: Grundlagen der KI

Sommer 1997

• Kursvorlesung: Künstliche Intelligenz
  • Das Buch zur Vorlesung: Artificial Intelligence: A Modern Approach
  • Weiterführende Literatur
  • Vorlesungsfolien
  • Übungsaufgaben
• Hauptstudiumspraktikum: Robotik
  • Beschreiburg des Praktikums
• Hauptseminar: Zielmanagement und Handlungskontrolle in autonomen Systemen
  • Neuer Termin: Mittwoch, 14-16 Uhr, Raum 052-02-017
  • Literatur
• Oberseminar: AG Künstliche Intelligenz

Winter 1996/97

• Vorlesung: Informatik III (Theoretische Informatik)
  • Das Buch zur Vorlesung: Theoretische Informatik - kurzgefaßt
  • Weitere Literatur
  • Übungsaufgaben
• Seminar: Handlungsplanung
  • Themen und Literatur
  • Zeitplan
• Seminar: Arbeitsgemeinschaft KI
  • Vorträge

Sommer 1996

• Vorlesung: Grundlagen der Künstlichen Intelligenz
  • Das Buch zur Vorlesung: Artificial Intelligence: A Modern Approach
  • Vorlesungsfolien
  • Übungsaufgaben
• Kompaktkurs: LISP
  • Folien und Übungsaufgaben
• Seminar: Autonome, mobile Roboter
• Seminar: Arbeitsgemeinschaft KI
  • Vorträge