Seminar Logic, Complexity, Games: Logics for Reasoning about Uncertainty, Dependence and Independence

WS 2019/20

Registration

All students can apply by writing an email to seminar [AT] logic.rwth-aachen.de including their name, immatriculation no., subject of studies, no. of semesters of studies, and information about relevant modules they have passed (especially lectures from our group).

Content

We survey logical formalisms that are designed to reason about knowledge or uncertain, unreliable, random or simply unknown data. Thereby we encounter different concepts such as knowledge representation, games with imperfect information and modern logics of dependence and independence.

Literature

[FaginHMV95] R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, 1995.
[Halpern:2003:RU:954556] J. Y. Halpern. Reasoning About Uncertainty. MIT Press, Cambridge, MA, USA, 2003.

Classification

  • Mathematik (B.Sc.)/Seminare
  • Informatik (B.Sc.)/Seminare
  • Informatik (M.Sc.)/Seminar Theoretische Informatik
  • Mathematik (M.Sc.)/Seminar: Logik, Komplexität, Spiele (Reine Mathematik)

Prerequisites

  • Module Mathematical Logic
  • for B.Sc. Computer Science: Module "Einführung in das wissenschaftliche Arbeiten (Proseminar)"

Contact

Erich Grädel, Richard Wilke, Matthias Hoelzel, Katrin Dannert, Benedikt Pago