Publications

Export 4 results:
Filters: Author is Nenad Savić  [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).
Savić, N., Studer, T.: Relevant Justifications. ISRALOG17, Research workshop of the Israel Science Foundation (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).