 | Up a level |
Doder, Dragan; Savic, Nenad; Ognjanovic, Zoran (2019). Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities. Journal of logic, language and information, 29(1), pp. 77-107. Springer Netherlands 10.1007/s10849-019-09301-7
Savic, Nenad; Doder, Dragan; Ognjanović, Zoran (2017). Logics with lower and upper probability operators. International journal of approximate reasoning, 88, pp. 148-168. Elsevier 10.1016/j.ijar.2017.05.013
Doder, Dragan; Ognjanović, Zoran; Savić, Nenad; Studer, Thomas (2022). Incomplete Information and Justifications. In: Özgün, Aybüke; Zinova, Yulia (eds.) Logic, Language and Computation TbiLLC 2019. Lecture Notes in Computer Science: Vol. 13206 (pp. 258-278). Springer 10.1007/978-3-030-98479-3_13
Doder, Dragan; Savic, Nenad; Ognjanović, Zoran (2018). A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators. In: Ferrarotti, Flavio; Woltran, Stefan (eds.) Foundations of Information and Knowledge Systems. Lecture Notes in Computer Science: Vol. 10833 (pp. 170-185). Cham: Springer International Publishing 10.1007/978-3-319-90050-6_10
Savic, Nenad; Doder, Dragan; Ognjanović, Zoran (2017). A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities. In: Antonucci, A.; Cholvy, L.; Papini, O. (eds.) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Lecture Notes in Computer Science: Vol. 10369 (pp. 491-500). Cham: Springer International Publishing 10.1007/978-3-319-61581-3_44
Marinkovic, Bojan; Glavan, Paola; Ognjanovic, Zoran; Doder, Dragan; Studer, Thomas (September 2019). Probabilistic Consensus of the Blockchain Protocol. Lecture notes in computer science, 11726, pp. 469-480. Springer 10.1007/978-3-030-29765-7_39
