Kai Sauerwald erhält Dissertationspreis

FCR-2023: 9th Workshop on Formal and Cognitive Reasoning

Christoph Beierle erhält Forschungspreis der FernUniversiät

FCR-2022: 8th Workshop on Formal and Cognitive Reasoning

Kolloquium zu Ehren von Prof. Dr. Christoph Beierle

Kai Sauerwald - Promotion erfolgreich abgeschlosssen

FLAIRS 2022 Best Paper Award

Der Best Paper Award der FLAIRS 2022 - The 35th International FLAIRS Conference wurde vergeben für den Beitrag:
Christoph Beierle, Martin von Berg, Arthur Sanin: Realization of Skeptical C-Inference as a SAT Problem

Fakultätspreis Mathematik und Informatik 2021 für Kai Sauerwald

für seine Forschung zu Wissen, Vergessen, Schwänen und Plausibilität.

ECAI 2020 Hall of Fame • Distinguished Paper Award

Mit dem Distinguished Paper Award der ECAI 2020 - The 24th European Conference on Artificial Intelligence wurde ausgezeichnet:
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle: A Conditional Perspective for Iterated Belief Contraction

Das erfolgreiche KI-Lehrbuch bereits in der 6. Auflage • State-of-the-Art zur Wissensrepräsentation in der KI

  KI-Lehrbuch "Methoden wissensbasierter Systeme" 6., überarbeitete Auflage 2019.