Franz Baader and Renata Wassermann Win Ray Reiter Best Paper Award at KR 2024
News from the research group Automata Theory of November 25, 2024
Franz Baader and Renata Wassermann Win Ray Reiter Best Paper Award at KR 2024
Distinguished computer scientists Franz Baader (Technische Universität Dresden) and Renata Wassermann (Universidade de São Paulo) have been awarded the Ray Reiter Best Paper Award at the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) for their work titled "Contractions Based on Optimal Repairs".
In their paper, Baader and Wassermann leverage recent advances in characterizing and computing optimal repairs for ontologies based on Description Logics to obtain contraction operations that combine the advantages of belief sets and balief base contractions.
The recognition highlights the continuing relevance of foundational research in logic-based AI and reaffirms the authors' influential roles in shaping the theory and practice of knowledge representation.
