Knowledge Representation and Reasoning (KR) is a well-estab lished and vibrant field of research within Artifi cial Intelligence. KR builds on the fundamental th esis that knowledge can often be represented in an explicit declarative form, suitable for processin g by dedicated symbolic reasoning engines. This en ables the exploitation of knowledge that would oth erwise be implicit through semantically grounded i nference mechanisms. KR has contributed to the the ory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, incl uding data management, semantic web, verification, software engineering, computational biology, and cybersecurity.
\nThe KR conference series is the leading forum for timely, in-depth presenta tion of progress in the theory and practice of the representation and computational management of kn owledge.
\nKR2026 will be part of th e Federated Logic Conference (FLoC 2026).
\nWe solicit paper s presenting novel results on the principles of KR , which clearly contribute to the formal foundatio ns of the field or show the applicability of KR te chniques to implemented or implementable systems. We welcome papers from other areas that demonstrat e clear use of, or contributions to, the principle s or practice of KR. We also encourage "repor ts from the field" of applications, experimen ts, developments, and tests.
\n