Dragan Doder, Zoran Markovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic. A Probabilistic Temporal Logic That Can Model Reasoning about Evidence. In Sebastian Link, Henri Prade, editors, Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings. Volume 5956 of Lecture Notes in Computer Science, pages 9-24, Springer, 2010. [doi]
Abstract is missing.