Seminar: Logik in der KI - Themen

A. Modallogiken und Modellprüfung

A.1. Modellprüfung in dichter Realzeit

Rajeev Alur, Costas Courcoubetis und David L. Dill. 1993.
Model-Checking in Dense Real-Time.
Information and Computation 104(1):2-34.

Betreuung: Dr. Sebastian Kupferschmid

Bearbeitung: Dimitris Kyriakidis

Kommentar: Florian Pommerening

A.2. Kooperation, Wissen und Zeit

Wiebe van der Hoek und Michael Wooldridge. 2003.
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications.
Studia Logica, 75(1):125-157.
Wojciech Jamroga. 2003.
Some Remarks on Alternating Temporal Epistemic Logic.
Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems (FAMAS'03), S. 133-140.

Betreuung: Dr. Robert Mattmüller

Bearbeitung: noch offen

Kommentar: noch offen

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

Joseph Y. Halpern und Yoram Moses. 1990.
Knowledge and Common Knowledge in a Distributed Environment.
Journal of the ACM 37(3):549-587, 1990.

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

Thomas Eiter und Georg Gottlob. 1992.
On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals.
Artificial Intelligence, 57(2-3):227-270.

Betreuung: Prof. Dr. Bernhard Nebel

Bearbeitung: noch offen

Kommentar: noch offen

B.2/3. Kumulative Logik

Sarit Kraus, Daniel J. Lehmann und Menachem Magidor. 1990.
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics.
Artificial Intelligence, 44(1-2):167-207.
Daniel Lehmann und Menachem Magidor. 1992.
What does a Conditional Knowledge Base Entail?
Artificial Intelligence, 55(1):1-60.

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

Hector J. Levesque, Raymond Reiter, Yves Lesperance, Fangzhen Lin und Richard B. Scherl. 1997.
GOLOG: A Logic Programming Language for Dynamic Domains.
Journal of Logic Programming, 31:59-84.
Hector J. Levesque, Fiora Pirri and Raymond Reiter. 1998.
Foundations for the Situation Calculus.
Linköping Electronic Articles in Computer and Information Science, Vol. 3(1998): nr. 18.

Betreuung: Dr. Gabriele Röger

Bearbeitung: Florian Pommerening

Kommentar: Tilman Thiry

D.2. Situationskalkül, Kausalität

Mark Hopkins und Judea Pearl. 2007.
Causality and Counterfactuals in the Situation Calculus.
Journal of Logic and Computation, 17(5):939-953.

Betreuung: Dr. Stefan Wölfl

Bearbeitung: noch offen

Kommentar: noch offen