Browsing by Author Dautović, Šejla

Showing results 1 to 10 of 10
Author(s)TitleIssue DateAppears inRank
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran An Epistemic Probabilistic Logic with Conditional Probabilities2021European Conference on Logics in Artificial Intelligence, JELIA 2021: Logics in Artificial Intelligence; 279-293M33
Dautović, Šejla ; Zekić, Mladen Fuzzy logic and enriched categories1-May-2021Iranian Journal of Fuzzy Systems; 18(3); 1-11~M21a
Dautović, Šejla Identifikacioni topološki prostori2016master thesis: Departman matematičke nauke, Državni univerzitet u Novom PazaruM72
Dautović, Šejla ; Zekić, Mladen Intuitionistic unprovability1-Jan-2019Matematički Vesnik; 71(1-2); 180-189M52
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Logical formalization of Bayesian concepts of confirmation2020Book of Abstracts : Logis and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 9-11M34
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Logics for reasoning about degrees of confirmation31-May-2021Journal of Logic and Computation; 31(8); 2189-2217~M21
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Logics for Reasoning about Knowledge and Conditional ProbabilitySep-202110th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 19-21M34
Dautović, Šejla A Probabilistic Logic Between LPP1 and LPP21-Jan-2022Logica Universalis~M22
Dautović, Šejla ; Doder, DraganProbabilistic logic for reasoning about actions in time1-Jan-2019Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019; 11726 LNAI; 385-396M33
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Reasoning About Degrees of Confirmation2020Lecture Notes in Computer Science; The 3rd International Conference on Logic and Argumentation (CLAR 2020); 12061; 80-95M33