Keyword:probabilistic logic

Publications
Logic of Differentiable Logics: Towards a Uniform Semantics of DL Natalia Ślusarz, Ekaterina Komendantskaya, Matthew Daggitt, Robert Stewart and Kathrin Stark In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
PDT Logic for Stream Reasoning in Multi-agent Systems Karsten Martiny and Ralf Moeller In:SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science
Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements Tsan-Sheng Hsu, Churn-Jung Liau and Da-Wei Wang In:Turing-100. The Alan Turing Centenary