CALL FOR PARTICIPATION Workshop on “Explainable Logic-Based Knowledge Representation” (XLoKR 2020) in conjunction with KR 2020 September 13 and 14, 2020
Organisers: - 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://lat.inf.tu-dresden.de/XLoKR20/XLoKR20Program.pdf . 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.lo...@gmail.com) and the XLoKR organisers (xlok...@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://kr2020.inf.unibz.it/page/registration . Please note that early registration with reduced fees is possible until August 7. For more information on the workshop see the website: https://lat.inf.tu-dresden.de/XLoKR20/
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ uai mailing list uai@engr.orst.edu https://it.engineering.oregonstate.edu/mailman/listinfo/uai
