News

Dr. Isabelle Kuhlmann has been awarded the 2026 Faculty Prize!

For her article “Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement,” co-authored with Anna Gessler, Vivien Laszlo, and Prof. Dr. Matthias Thimm for the Journal of Artificial Intelligence Research, Dr. Isabelle Kuhlmann has been awarded the prize for the best scientific paper by a young researcher in 2025, presented by the Department of Mathematics and Computer Science.