Graduiertenseminar "Theorie der künstlichen Intelligenz"

Veranstalter: Prof. Carsten Lutz

S2, Modulbereich Theorie

Mi 14:00-16::00 Raum MZH 3150

Kurzbeschreibung

Das Graduiertenseminar ist eine Vortragsreihe der Arbeitsgruppe AG Theorie der künstlichen Intelligenz TdKI (Theorie der künstlichen Intelligenz). Es umfasst regelmäßige Vorträge der Gruppenmitglieder, Verteidigungen von Diplom- und Doktorarbeiten, sowie Vorträge von externen Gästen der AG. Die Vorträge haben weit gestreute Themen aus den Gebieten Logik in der Informatik, Wissensrepräsentation und Ontologien.

Voraussetzungen / Vorkenntnisse

Alle Interessierten sind herzlich eingeladen, das Seminar zu besuchen. Da die einzelnen Termine thematisch unabhängig voneinander sind, muss das Seminar selbstverständlich nicht ein ganzes Semester lang belegt werden.

Organisation

Das Graduiertenseminar findet in der Regel wöchentlich statt. Da das Seminar in jedem Semester stattfindet und diese Webseite nicht jedesmal aktualisiert wird, bitten wir, die aktuelle Veranstaltungszeit den allgemeinen Veranstaltungslisten des FB Mathematik/Informatik zu entnehmen.

Vortrag (SS10)

Mittwoch, 28.04.10 14:00 Uhr	Mr. Jean Christoph Jung Counting words in grammars using knowledge compilation
Mittwoch, 05.05.10 14:00 Uhr	Prof. Carsten Lutz Reasoning in DLs: Expressive Power vs. Computational Complexity
Mittwoch, 26.05.10 14:00 Uhr	Dr. Meghyn Bienvenu From preference logics to preference languages, and back
Mittwoch, 30.06.10 14:00 Uhr	Dr. Stefan Göller Bisimilarity of one-counter processes is PSPACE-complete (joint work with Stanislav Böhm and Petr Janča )