Truth and Justification in Knowledge Representation. - Andrei Rodin; Serge Kovalyov (FCA4AI@IJCAI, 2019)