Graduiertenseminar "Theorie der künstlichen Intelligenz"

Veranstalter: Prof. Carsten Lutz

S2, Modulbereich Theorie

Raum MZH 3150


Kurzbeschreibung

Das Graduiertenseminar ist eine Vortragsreihe der Arbeitsgruppe 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 (WS 09/10)

Mittwoch, 11.11.09
14:00 Uhr
Ms. Yazmín Ibáñez García (University of Bolzano-Bozen)
Complexity boundaries for full satisfiability of UML class diagrams
Mittwoch, 25.11.09
14:00 Uhr
Dr. Stefan Göller (TDKI Universität Bremen)
Branching-time model checking of one-counter processe (joint work with Prof. Markus Lohrey )
Mittwoch, 02.12.09
Prof. Carsten Lutz (TDKI Universität Bremen)
Query Answering in Lightweight Description Logics using a Relational Database System
Mittwoch, 09.12.09
14:00 Uhr
Dr. Meghyn Bienvenu (TDKI Universität Bremen)
Query and Predicate Emptiness in Description Logics (joint work with Franz Baader, Carsten Lutz, and Frank Wolter)
Mittwoch, 27.01.10
14:00 Uhr
Mr. Szymon Klarman (Free University of Amsterdam)
Context Description Logics
Mittwoch, 03.02.10
14:00 Uhr
Dr. Laurent Bienvenu (University of Paris 7)
A brief introduction to Kolmogorov complexity



AG Theorie der künstlichen Intelligenz