News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

4 - 5 November 2021, 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2021) , Hanoi, Vietnam (Virtually)

Date: 4 - 5 November 2021
Location: Hanoi, Vietnam (Virtually)
Deadline: Friday 2 July 2021

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.

Sheila McIlraith and Joe Halpern will deliver the keynotes. The workshop will be co-located with KR 2021.

Researchers interested in participating in the workshop should submit 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 must be submitted via EasyChair.

The workshop will have informal proceedings, and thus, in addition to new work, also papers covering results that have recently been published or will be published at other venues are welcome.

For more information, see https://xlokr21.ai.vub.ac.be/.

Please note that this newsitem has been archived, and may contain outdated information or links.