Researchers
Dautović, Šejla
Type
Date issued
Results 1-12 of 12
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2023 | Reasoning about knowledge and conditional probability | Dautović, Šejla   ; Doder, Dragan ; Ognjanović, Zoran | Article | 21M21 |
| 2022 | Logičko modelovanje bajesijanske teorije potvrđivanja | Dautović, Šejla | Doctoral theses | 70M70 |
| 2022 | Probabilistic-Temporal Logic with Actions | Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2022 | A Probabilistic Logic Between LPP1 and LPP2 | Dautović, Šejla | Article | 21M21 |
| 2021 | Fuzzy logic and enriched categories | Dautović, Šejla ; Zekić, Mladen | Article | 21a+M21a+ |
| 2021 | Logics for reasoning about degrees of confirmation | Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran | Article | 21M21 |
| 2021 | An Epistemic Probabilistic Logic with Conditional Probabilities | Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2021 | Logics for Reasoning about Knowledge and Conditional Probability | Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2020 | Logical formalization of Bayesian concepts of confirmation | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2020 | Reasoning About Degrees of Confirmation | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2019 | Probabilistic logic for reasoning about actions in time | Dautović, Šejla R. ; Dragan Doder | Conference Paper | Mp. category will be shown later |
| 2019 | Intuitionistic unprovability | Dautović, Šejla ; Zekić, Mladen | Article | 52M52 |