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.

Vortrag (WS 10/11)

Mittwoch, 03.11.10 14:00 Uhr	PD Dr. Lutz Schröder "Introduction to Coalgebraic Logic".
Mittwoch, 24.11.10 14:00 Uhr	Szymon Klarman (Free University of Amsterdam) "Context Description Logics".
Mittwoch, 01.12.10 14:00 Uhr	PD Dr. Till Mossakowski "Hyperontologies, with an application to OpenStreetMap"
Mittwoch, 08.12.10 14:00 Uhr	Dr. Oliver Kutz "Hyperontologies at Work: Matching Networks, Blending, and Consistency"
Mittwoch, 12.01.11 14:00 Uhr	Yazmín Ibáñez García (Free University of Bozen-Bolzano) Finite model reasoning in DLs
Mittwoch, 26.01.11 14:00 Uhr	Jean Christoph Jung Probabilistic Description Logics