Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang. A Probabilistic Hybrid Logic for Sanitized Information Systems. In Eyke Hüllermeier, Sebastian Link, Thomas Fober, Bernhard Seeger, editors, Scalable Uncertainty Management - 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings. Volume 7520 of Lecture Notes in Computer Science, pages 500-513, Springer, 2012. [doi]
Abstract is missing.