A First-Order Dynamic Probability Logic

Zoran Ognjanovic, Aleksandar Perovic, Dragan Doder. A First-Order Dynamic Probability Logic. In Linda C. van der Gaag, editor, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings. Volume 7958 of Lecture Notes in Computer Science, pages 461-472, Springer, 2013. [doi]

Abstract

Abstract is missing.