Twenty Second International Conference on Principles of Knowledge Representation and Reasoning

The Twenty-Second International Conference on Principles of Knowledge Representation and Reasoning (KR 2025) is one of the foundational venues in AI, dedicated to the formal study of how intelligent systems represent knowledge about the world and use that knowledge to reason, plan, and explain their conclusions. Topics span description logics, answer set programming, default and non-monotonic reasoning, temporal and spatial reasoning, ontology engineering, probabilistic knowledge bases, and the integration of learned and symbolic knowledge.

KR attracts AI researchers, logicians, and cognitive scientists who believe that principled, interpretable knowledge representation is essential for building AI systems that are trustworthy, robust, and capable of explanation. The conference sits at the heart of the symbolic AI tradition and has taken on renewed importance as the limitations of purely statistical models — in causal reasoning, consistency, and interpretability — have become apparent, making KR a key venue for researchers who want to combine the strengths of symbolic and neural approaches.