[PlanetKR] Call for Participation: Workshop on “Explainable Logic-Based Knowledge Representation” (XLoKR 2020) in conjunction with KR 2020

Francesco Kriegel francesco.kriegel at tu-dresden.de
Wed Aug 5 22:14:27 EST 2020


Workshop on “Explainable Logic-Based Knowledge Representation” (XLoKR 2020)
in conjunction with KR 2020
September 13 and 14, 2020

- Franz Baader
- Gerhard Brewka
- Jörg Hoffmann
- Thomas Lukasiewicz
- Torsten Schaub

To make the behavior of knowledge-based systems comprehensible, they need to be able to explain their decisions. In principle, decisions based on logical reasoning are easy to explain since one can use a formal proof in an appropriate calculus to explain a positive reasoning result, and a counter-model to explain a negative one. In practice, however, things are not so easy since proofs and counter-models may be very large, and thus it may be hard to comprehend why they demonstrate a certain result. In automated deduction, the problem of explaining why a consequence does or does not follow from a given set of axioms has been considered for a long time. In knowledge representation and reasoning, efforts in this direction are more recent, and were usually restricted to certain sub-areas of KR. 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 consist of 15 contributed talks as well as an invited talk by Tim Miller (University of Melbourne) with the title “Explainable artificial intelligence: beware the inmates running the asylum (or How I learnt to stop worrying and love the social and behavioural sciences)”. The full program can be found at https://protect-au.mimecast.com/s/vfeQCoV1O9t6QNqpc1RmhO?domain=lat.inf.tu-dresden.de .

Like KR, the workshops at KR are hybrid events, with mixed virtual and physical participation.

Virtual participation (for people that are not primary authors of accepted papers) is free. But please inform the KR (KR2020.local at gmail.com) and the XLoKR organisers (xlokr20 at easychair.org) by Email about your intention to participate virtually in XLoKR.

For physical participation, you need to register for KR and its workshops at https://protect-au.mimecast.com/s/SwYqCp81z6Hp7rMETDMI30?domain=kr2020.inf.unibz.it . Please note that early registration with reduced fees is possible until August 7.

For more information on the workshop see the website:

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20200805/d044eefe/attachment-0001.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5098 bytes
Desc: not available
Url : http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20200805/d044eefe/attachment-0001.bin 

More information about the PlanetKR mailing list