Contributed talk at the 25th International Conference on Types for Proofs and Programs, June 11-14, 2019, Oslo, Norway
June 5, 2019
June 3, 2019
Truth and Justification in Knowledge Representation
Invited talk at the 3d International Workshop “Formal Concept Analysis for Knowledge Discovery” (jww Serge Kovalyov)
When: Friday June 7, 2019
Where: Department of Computer Science, Higher School of Economics (Moscow, 3 Kochnovsky Proezd)
Comments Off on Truth and Justification in Knowledge Representation