Andreas Pieris has received the Ray Reiter Best Paper Award at KR2025 the main conference on the Principles of Knowledge Representation and Reasoning. The paper "Finite Axiomatizability by Disjunctive Existential Rules" by Andreas Pieris, coauthored by Marco Calautti (University of Milan) and Marco Console (Sapienza University of Rome), has received the Ray Reiter Best Paper Award at KR2025, the main conference on the Principles of Knowledge Representation and Reasoning. The paper pinpoints the expressive power of central knowledge representation languages by means of model-theoretic properties. You can find the paper here: https://doi.org/10.24963/kr.2025/20 Publication date 04 Dec, 2025
