(Haupt-) Seminare

WS-1985/86:

• Rekonstruktion und Implementation einer prozedural reflektiven Sprache.

WS-1987/88:

• Expertensysteme und Datenbanken.

WS-1990/91:

• Planen und Konfigurieren.
• KI und Software-Engineering.

SS-1991:

• Verteilte KI -- DAI I.
• Wissensbasierte Methoden zur Konfiguration technischer Objekte.

SS-1992:

• Verteilte KI -- DAI II.
• ONTIC -- ein System zur Wissensrepräsentation in der Mathematik.

SS-1993:

• Schließen in veränderlichen Welten.

WS-1993/94:

• Attributbasierte Repräsentationssysteme für die Sprachverarbeitung.

SS-1995:

• Anwendung der KI in der Mathematik (FERMAT).
• Abduktives Schließen in der KI.

WS-1995/96:

• Erklärung in der KI.

SS-1996:

• Data Mining.
• Symbolische vs. konnektionistische KI -- ein Streit um des Kaisers neue Kleider?

WS-1996/97:

• Hybride Architekturen für die Integration symbolischer und konnektionistischer Prozesse.

SS-1997:

• Intelligentes Workflow-Management.

WS-1997/98:

• Handlungsplanung in verteilten und autonomen Systemen.

SS-1998:

• Inkrementelle Berechnungen und ihre Anwendung.

WS-1998/99:

• Fuzzy-Logik.

SS-1999:

• Berechenbarkeit des Denkens?

WS-1999/2000:

• Logik und Denken.

SS-2000:

• Logik und Kreativität.

SS-2001:

• Abduktion und Induktion: eine philosophische, logische und informatische Betrachtung eines innigen Verhältnisses.

SS-2002:

• Schließen unter Unsicherheit.
• Inkrementelle Algorithmen.

WS-2002/2003:

• A Critique of Pure Reason -- Die Logizismusdiskussion in der KI.
• Heuristik und Logik.

SS-2003:

• Diagrammatisches Schließen.

WS-2003/2004:

• Künstliche Intelligenz und Philosophie: Sechs Antworten auf zwei alte Fragen.

SS-2004:

• Wissensrepräsentation mit Beschreibungslogiken.

WS-2004/2005:

• Semantic Web.

SS-2005:

• Evolution Semiotischer Systeme.
• Information Retrieval.

WS-2005/2006:

• Die Wissenschaften vom Künstlichen.
• Grundlagen und Anwendungen des Semantic Web (Combo-Seminar).

SS-2006:

• Formalisierung von Semantik.
• Grundlagen des Semantic Web.

WS-2006/2007:

• Formen des Schlußfolgerns: Von der klassischen Deduktion zur nicht-monotonen Inferenz.

SS-2007:

• Mechanistische Modelle des Geistes.
• IT-Forschung für die zivile Sicherheit.

WS-2007/2008:

• Robustes Planen.
• Aspekte und Methoden der Wissens- und Theorieevolvierung.
• Kybernetische Methoden zur Steuerung komplexer informationstragender Systeme.

SS-2008:

• Planungs- und Repräsentationssprachen für (Web) Service Composition.
• Theorien der Wissensevolvierung.

WS-2008/2009:

• Don't be evil -- Informatik und Verantwortung.
• Grundlagen und Techniken der Service Composition.
• Was ist ein rationaler Agent? Perspektiven aus Philosophie. Künstlicher Intelligenz und Softwaretechnik.

SS-2009:

• Grundlagen und Techniken der Service Composition II.
• Maschinen und die Natur des Geistes.

WS-2009/2010:

• Komputation als Kommunikation.
• Logische, philosophische und algorithmische Grundlagen der Wissensrepräsentation.