The probl em of explaining why a consequence does or does no t follow from a given set of axioms has been consi dered for full first-order theorem proving since a t least 40 years, but there usually with mathemati cians as users in mind. In knowledge representatio n and reasoning, efforts in this direction are mor e recent, and were usually restricted to sub-areas of KR such as AI planning and description logics. The purpose of this workshop is to bring together researchers from different sub-areas of KR and au tomated deduction that are working on explainabili ty in their respective fields, with the goal of ex changing experiences and approaches. The workshop will be co-located with KR 2022 at < a href="https://www.floc2022.org/" target="_blank" >FLoC 2022.
\nWe invite e xtended abstracts of 2-5 pages on topics related t o explanation in logic-based KR. The papers should be formatted in Springer LNCS Style and can be su bmitted via EasyChair. Since the workshop will onl y have informal proceedings and the main purpose i s to exchange results, we welcome not only papers covering unpublished results, but also previous pu blications that fall within the scope of the works hop.
\n\nA non-exhaustive list of areas to be covered by the workshop are the following: * A I planning * Answer set programming * Argumentatio n frameworks * Automated reasoning * Causal reason ing * Constraint programming * Description logics * Non-monotonic reasoning * Probabilistic represen tation and reasoning.
\n