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.
\n\ nThe KR conference series is the leading foru m for timely in-depth presentation of progress in the theory and principles underlying the represent ation and computational management of knowledge.\n
We solicit papers presenting novel results on the principles of KR that clearl y contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welc ome papers from other areas that show clear use of , or contributions to, the principles or practice of KR.
\n\nIn addition to the main confere
nce track, KR2021 will host the following tracks a
nd sessions:
\n - Applications and Systems Tra
ck
\n - Recently Published Research Trac
k
\n - Special Session on KR and Machine
Learning
\n - Special Session on KR and
Robotics
The KR2021 program will also
feature workshops and tutorials, solicited by mea
ns of an open call, as well as a doctoral consorti
um.
\n The Recently Published Research track,
workshops, tutorials, and the doctoral consortium
will have different submission and notification da
tes, which will be announced separately.