Export 5 results:
Filters: Author is Nenad Savić  [Clear All Filters]
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).
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).
Ognjanović, Z., Savić, N., Studer, T.: Justification Logic with approximate conditional probabilities. (2017).
Savić, N., Doder, D., Ognjanović, Z.: Logics with lower and upper probability operators. International Journal of Approximate Reasoning. 88, 148-168 (2017).