KR Best Papers
International Conference on Principles of Knowledge Representation and Reasoning
6 papers · 2024–2026
← KR Conference Info🏆 2026(3)
Best Paper Award
Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite ModelsMarvin Grosser; Carsten Lutz
Best Student Paper Award
Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic IntegrationDavide Bizzaro; Alessandro Daniele
Marco Cadoli Award
Best Student Paper Award Runner-Up
Splitting Argumentation Frameworks with Collective Attacks and SupportsMatti Berthold; Lydia Blümel; Giovanni Buraglio; Anna Rapberger
Marco Cadoli Award
🏆 2025(1)
Best Paper Award
Finite Axiomatizability by Disjunctive Existential RulesCalautti, Console & Pieris
Existential RulesOntologies
🏆 2024(2)
Best Paper Award
Nemo: Your Friendly and Versatile Rule Reasoning ToolkitIvliev, Gerlach, Meusel, Steinberg & Krötzsch
Rule ReasoningKnowledge Graphs