Publications

Export 5 results:
Filters: Author is Ognjanović, Zoran  [Clear All Filters]
In Press
Ognjanović, Z., Savić, N., Studer, T.: Justification Logic with approximate conditional probabilities. 6th international conference on Logic, Rationality and Interaction, LORI VI. , Hokkaido University, Sapporo, Japan (In Press).
2017
Savić, N., Doder, D., Ognjanović, Z.: A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities. In: Antonucci, A., Cholvy, L., and Papini, O. Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings. pp. 491–500. Springer International Publishing, Cham (2017).
Savić, N., Doder, D., Ognjanović, Z.: Logics with lower and upper probability operators. International Journal of Approximate Reasoning. 88, 148 - 168 (2017).
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).