"Intensional FOL for reasoning about probabilities and probabilistic logic ..."

Zoran Majkic, Bhanu Prasad (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics