Logičko modelovanje bajesijanske teorije potvrđivanja

Doktorand: Dautović, Šejla R.
Fakultet: Matematički fakultet
Napomena: Rok za dostavljanje primedbi na doktorsku disertaciju je istekao.
Datum postavljanja na uvid javnosti: 09-08-2022
Datum odbrane: 18-11-2022
Objavljeni radovi:
[1]  1.Š. Dautović, D. Doder, Probabilistiv Logic for Reasoning About Actions in Time, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference (ECSQARU) 2019, Belgrade, Serbia, September 18-20 2019, page: 385-396 Springer (2019). 2. Š. Dautović, D. Doder, Z. Ognjanović, Reasoning About Degrees of Confirmation, Logic and Argumentation - Third International Conference, (CLAR) 2020, Hangzhou, China, April 6-9, 2020, Proceedings: page: 80-95, Springer (2020). 3.Š. Dautović, D. Doder, Z. Ognjanović, Logics for reasoning degrees of confirmation, Journal of Logic and Computation, 31(8), 2189-2217, May 2021. Impact Factor: 0.416, M23 4. Š. Dautović, A Probabilistic Logic between LPP1 and LPP2, Logica Universalis, 16(1), 323-333, 2022. Impact Factor (2020): 0.385, M23 5. Š. Dautović, Reasoning about degrees of confirmation with actions in time, Proceedings of the 32ND European Summer School in Logic, Language and Information Student Session 2021.