Knowledge Representation and Reasoning (KR) is a well-estab lished and lively field of research. In KR a funda mental assumption is that an agent's knowledge is explicitly represented in a declarative form, suit able for processing by dedicated reasoning engines . This assumption, that much of what an agent deal s with is knowledge-based, is common in many moder n intelligent systems. Consequently, KR has contri buted to the theory and practice of various areas in AI, including automated planning and natural la nguage understanding, and to fields beyond AI, inc luding databases, verification, software engineeri ng, and robotics. In recent years, KR has contribu ted also to new and emerging fields, including the semantic web, computational biology, cyber securi ty, and the development of software agents.
\nThe KR conference series is the leading forum for timely in-depth presentation of progress in th e theory and principles underlying the representat ion and computational management of knowledge. The KR2022 program will also feature workshops and tu torials, solicited by means of an open call, as we ll as a doctoral consortium. In addition to the ma in conference track, KR2022 will host the followin g tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Specia l Session on KR and Machine Learning - Special Ses sion on KR and Robotics. KR 2022 will be held as p art of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, from July 31 to August 12, 2022. The KR-affiliated FLoC tutorials and workshops wi ll take place directly before KR, on July 31-Augus t 1. All events that are part of FLoC are currentl y planned to take place physically, but people can participate remotely in cases where travel is imp ossible.
\nWe solicit papers presenting novel results on the principles of KR t hat clearly contribute to the formal foundations o f relevant problems or show the applicability of r esults to implemented or implementable systems. We also welcome papers from other areas that show cl ear use of, or contributions to, the principles or practice of KR. We also encourage "reports f rom the field" of applications, experiments, developments, and tests.
\nAll submissions must be written in English and formatted using th e style files provided on the KR'22 website. Paper s must be submitted in PDF format, through the Eas yChair conference system. For the main conference track and additional tracks/sessions (except for t he Recently Published Research track), we invite F ull papers of up to 9 pages (including abstract, f igures, and appendices (if any), but excluding ref erences and acknowledgements) and Short papers of up to 4 pages (excluding references and acknowledg ements). Both full and short papers must describe original, previously unpublished research, and mus t not simultaneously be submitted for publication elsewhere. These restrictions do not apply to prev iously accepted workshop papers with a limited aud ience and/or without archival proceedings, and to papers uploaded at public repositories (e.g., arXi v).
\nThe Recently Published Research trac k, workshops, tutorials, special sessions and the doctoral consortium have different submission guid elines and different submission and notification d ates, which are or will be listed on the conferenc e website.
\n