Uni-Logo

Seminar: Logik in der KI - Themen

A. Modallogiken und Modellprüfung

A.1. Modellprüfung in dichter Realzeit

Betreuung: Dr. Sebastian Kupferschmid

Bearbeitung: Dimitris Kyriakidis

Kommentar: Florian Pommerening

A.2. Kooperation, Wissen und Zeit

Betreuung: Dr. Robert Mattmüller

Bearbeitung: noch offen

Kommentar: noch offen

A.3. Wissen und gemeinsames Wissen in einer verteilten Umgebung

Betreuung: Dr. Stefan Wölfl

Bearbeitung: Jet Hoe Tang

Kommentar: Dimitris Kyriakidis

B. Nichtmonotones Schließen und Belief Revision

B.1. Komplexität propositionaler Wissenbasisrevision

Betreuung: Prof. Dr. Bernhard Nebel

Bearbeitung: noch offen

Kommentar: noch offen

B.2/3. Kumulative Logik

Betreuung: Prof. Dr. Malte Helmert

Bearbeitung: Malte Lutz

Kommentar: Waled Al-Mukawi

C. Beschreibungslogiken

C.1. Einführung in Beschreibungslogiken, Formalismen

  • Franz Baader und Werner Nutt. 2003.
    Basic Description Logics, Introduction/Formalisms.
    Kapitel 2.1 und 2.2 von Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi und Peter F. Patel-Schneider (Hrsg.), The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press, 2003, S. 43-78.

Betreuung: Prof. Dr. Jan-Georg Smaus

Bearbeitung: Waled Al-Mukawi

Kommentar: Malte Lutz

C.2. Einführung in Beschreibungslogiken, Schließen

  • Franz Baader und Werner Nutt. 2003.
    Basic Description Logics, Reasoning.
    Kapitel 2.3 und 2.4 von Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi und Peter F. Patel-Schneider (Hrsg.), The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press, 2003, S. 78-95.

Betreuung: Dr. Patrick Eyerich

Bearbeitung: Tilman Thiry

Kommentar: Jet Hoe Tang

D. Schlussfolgern über Handlungen

D.1. Situationskalkül und GOLOG

Betreuung: Dr. Gabriele Röger

Bearbeitung: Florian Pommerening

Kommentar: Tilman Thiry

D.2. Situationskalkül, Kausalität

Betreuung: Dr. Stefan Wölfl

Bearbeitung: noch offen

Kommentar: noch offen