Probabilistic Justification Logic.

Ioannis Kokkinis, Zoran Ognjanovic, Thomas Studer

Browse the full LFCS paper archive.