Intensional FOL for reasoning about probabilities and probabilistic logic programming
Zoran Majkić, Bhanu Prasad · International Journal of Intelligent Information and Database Systems · 2018
It is important to have a logic, both for computation of probabilities and for reasoning about probabilities, with well-defined syntax and semantics. The current approaches, which are based on Nils...