31 July 2022, 3rd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2022), Haifa, Israel
The problem of explaining why a consequence does or does not follow from a given set of axioms has been considered for full first-order theorem proving since at least 40 years, but there usually with mathematicians as users in mind. In knowledge representation and reasoning, efforts in this direction are more 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 automated deduction that are working on explainability in their respective fields, with the goal of exchanging experiences and approaches. The workshop will be co-located with KR 2022 at FLoC 2022.
We invite extended abstracts of 2-5 pages on topics related to explanation in logic-based KR. The papers should be formatted in Springer LNCS Style and can be submitted via EasyChair. Since the workshop will only have informal proceedings and the main purpose is to exchange results, we welcome not only papers covering unpublished results, but also previous publications that fall within the scope of the workshop.
A non-exhaustive list of areas to be covered by the workshop are the following: * AI planning * Answer set programming * Argumentation frameworks * Automated reasoning * Causal reasoning * Constraint programming * Description logics * Non-monotonic reasoning * Probabilistic representation and reasoning.