Congratulations! ScaDS.AI Dresden/Leipzig researchers Matti Berthold and Quentin Manière have been awarded twice at the 21^th International Conference on Principles of Knowledge Representation and Reasoning (KR 2024). Their video A Gentle Introduction to the Stable Model Semantics for Logic Programs was honored with the Best Video Award and the Peoples’ Choice Award

A Gentle Introduction to the Stable Model Semantics for Logic Programs

Matti Berthold and Quentin Manière presented a short introduction to the stable model semantics in the context of logic programming. Their contribution used enlightening animations to guide the spectator through the definition and basic properties of stable models. They highlighted the fundamental differences with classical semantics of propositional logic. Further, Matti Berthold and Quentin Manière explored the relation between the stable model semantics and the here-and-there semantics, a connection that allows to characterize strong equivalence in the former.

With their video, they provide an introduction to the stable models semantics, for example for undergraduate students or KR-enthusiasts who are unfamiliar with non-monotonic semantics. Their target audience should be familiar with the classical semantics of propositional logic and with the complexity class NP.

ScaDS.AI Dresden/Leipzig is proud of the highly successful contributions of team members at KR 2024: Besides Berthold and Manière, our principal investigator Prof. Franz Baader also received the Ray Reiter Best Paper Award at KR 2024.

KR 2024

The International Conference Series on Principles of Knowledge Representation and Reasoning (KR), presents theory and principles underlying the representation and computational management of knowledge. From 02.-08.11.2024, KR 2024 took place in Hanoi, Vietnam. The scientific program of the conference included:

• keynotes
• tutorials
• workshops
• technical talks
• poster sessions
• doctoral consortium
• software demonstrations

More information on KR 2024 is available on the official conference website. An overview of all conference proceedings is available here.