Startseite
Willkommen
Willkommen auf den WWW-Seiten des Lehrgebiets Wissensbasierte Systeme.
Aktuelles
- Stellenausschreibung: wissenschaftliche Mitarbeiter (m/w/d)
- Kai Sauerwald erhält Dissertationspreis
- FCR-2023: 9th Workshop on Formal and Cognitive Reasoning
-
Christoph Beierle erhält Forschungspreis
- Foto: Volker Wiciok
- Kolloquium zu Ehren von Prof. Dr. Christoph Beierle
- Kai Sauerwald - Promotion erfolgreich abgeschlosssen
-
Best Paper Award FLAIRS 2022 - The 35th International FLAIRS Conference
for:
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: Wissen, Vergessen, Schwäne und Plausibilität.
-
ECAI 2020 • Hall of Fame • Distinguished Paper Award
Distinguished Paper Award ECAI 2020 - The 24th European Conference on Artificial Intelligence
for:
-
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.
- Best Paper Award IEA/AIE 2017 - The 30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems für Christoph Beierle und Steven Kutsch
- Fakultätspreis Mathematik und Informatik 2017 für Marc Finthammer: Concepts and Algorithms for Computing Maximum Entropy Distributions for Knowledge Bases with Relational Probabilistic Conditionals. Dissertation Informatik.
- Förderpreis für herausragende Prüfungsleistungen 2017 für Bettina Sader: Konzeptuelle Erweiterung einer beschreibungslogischen Ontologie zur medikamentösen Brustkrebstherapie. B.Sc. Informatik.
- Förderpreis für herausragende Prüfungsleistungen 2016 für Kilian Sprotte: Verwendung von Constraint-Programmierung für die Realisierung eines abstrakten Argumentationssystems. M.Sc. Praktische Informatik.
- Keynote at FoIKS 2016: Ninth International Symposium on Foundations of Information and Knowledge Systems
- PC Chair SUM 2015: Ninth International Conference on Scalable Uncertainty Management
- Concepts and Algorithms for Computing Maximum Entropy Distributions for Knowledge Bases with Relational Probabilistic Conditionals
- Computational Models of Rationality. Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday
- Scalable Uncertainty Management. 9th International Conference, SUM 2015
- FoIKS 2014: Eighth International Symposium on Foundations of Information and Knowledge Systems
- GI-Fachgrupppe "Wissensrepräsentation und Schließen"
- GI Vertrauensdozent
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle: A Conditional Perspective for Iterated Belief Contraction