Publications

Export 6 results:
Filters: Author is Zoran Ognjanović  [Clear All Filters]
2018
Doder, D., Savić, N., Ognjanović, Z.: A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators. Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings. pp. 170–185 (2018).
Ghilezan, S., Ivetic, J., Kasterovic, S., Ognjanović, Z., Savić, N.: Probabilistic Reasoning About Simply Typed Lambda Terms. Logical Foundations of Computer Science - International Symposium, {LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings. pp. 170–189 (2018).
2016
Kokkinis, I., Ognjanović, Z., Studer, T.: Probabilistic Justification Logic. In: Artemov, S. and Nerode, A. Symposium on Logical Foundations in Computer Science 2016. Springer (2016).