TY  - RPRT
TI  - A First-Order Logic for Reasoning about Knowledge and Probability
AU  - Siniša Tomović
AU  - Zoran Ognjanović
AU  - Dragan Doder
PY  - 2019
UR  - https://arxiv.org/abs/1901.06886
ID  - 1901.06886
ER  -