Savic, Nenad

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: 2019 | 2018 | 2017

2019

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, pp. 1-31. Springer Netherlands 10.1007/s10849-019-09301-7

Savic, Nenad; Studer, Thomas (2019). Relevant Justification Logic. Journal of applied logics, 6(2), pp. 397-412. College Publications

Savic, Nenad; Studer, Thomas (5 February 2019). Public Announcements for Epistemic Models and Hypertheories. In: Khan, Md. Aquil; Manuel, Amaldev (eds.) ICLA 2019 - 8th Indian Conference on Logic and its Applications. Lecture Notes in Computer Science: Vol. 11600 (pp. 64-75). Delhi, India: Springer 10.1007/978-3-662-58771-3_7

2018

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

Ghilezan, Silvia; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran; Savic, Nenad (2018). Probabilistic reasoning about simply typed Lambda terms. In: Logical Foundations of Computer Science. Lecture Notes in Computer Science: Vol. 10703 (pp. 170-189). Cham: Springer International Publishing 10.1007/978-3-319-72056-2_11

2017

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

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

Ognjanović, Zoran; Savic, Nenad; Studer, Thomas (2017). Justification Logic with Approximate Conditional Probabilities. In: LORI 2017: Logic, Rationality, and Interaction. Lecture Notes in Computer Science: Vol. 10455 (pp. 681-686). Berlin, Heidelberg: Springer Berlin Heidelberg 10.1007/978-3-662-55665-8_52

Provide Feedback