Zoran Ognjanovic, Zoran Markovic, Miodrag Raskovic, Dragan Doder, Aleksandar Perovic. A propositional probabilistic logic with discrete linear time for reasoning about evidence. Annals of Mathematics and Artificial Intelligence, 65(2-3):217-243, 2012. [doi]
@article{OgnjanovicMRDP12,
title = {A propositional probabilistic logic with discrete linear time for reasoning about evidence},
author = {Zoran Ognjanovic and Zoran Markovic and Miodrag Raskovic and Dragan Doder and Aleksandar Perovic},
year = {2012},
doi = {10.1007/s10472-012-9307-9},
url = {http://dx.doi.org/10.1007/s10472-012-9307-9},
researchr = {https://researchr.org/publication/OgnjanovicMRDP12},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {65},
number = {2-3},
pages = {217-243},
}