S. Tomović, Z. Ognjanović, D. Doder | A First-order Logic for Reasoning about Knowledge and Probability | ACM-TOCL | 2020.pdf 447 KB Raw History Download (447 KB)
