Dautović Kapetanović, Šejla
Loading...
3
0
20
0
false
Full Name
Dautović Kapetanović, Šejla
Variants
Dautović, Šejla
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Subject
- 2 Probabilistic logic | Epistemic logic | Completeness
- 2 Probabilistic logic | Measure of confirmation | Completeness theorem | Decidability
- 1 Action | Probabilistic logic | Temporal logic
- 1 Bicartesian closed V-enriched category | Gödel fuzzy logic | Product fuzzy logic | Self-enriched category | T-norm | łLukasiewicz fuzzy logic
- 1 Completeness theorem | Decidability | Epistemic logic | Probabilistic logic
- 1 Completeness theorem | Decidability | Probabilistic logic
- 1 Intuitionistic logic | Sequent calculus | Unprovability
- 1 Probabilistic logic | Temporal logic | Completeness
Date issued
Type
Results 1-13 of 13 (Search time: 0.001 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 1 | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Reasoning about knowledge and conditional probability | 1-Dec-2023 | International Journal of Approximate Reasoning; 163; 109037 | ~M22 |
| 2 | Dautović, Šejla | A Probabilistic Logic Between LPP1 and LPP2 | 1-Jan-2022 | Logica Universalis | ~M22 |
| 3 | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Probabilistic-Temporal Logic with Actions | 2022 | 11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022, Dubrovnik, Croatia; Book of Abstracts; 19-20 | M34 |
| 4 | Dautović, Šejla | Logičko modelovanje bajesijanske teorije potvrđivanja | 2022 | doctoral thesis: Matematički fakultet, Univerzitet u Beogradu | M70 |
| 5 | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Logics for Reasoning about Knowledge and Conditional Probability | Sep-2021 | 10th 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-21 | M34 |
| 6 | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Logics for reasoning about degrees of confirmation | 31-May-2021 | Journal of Logic and Computation; 31(8); 2189-2217 | ~M21 |
| 7 | Dautović, Šejla ; Zekić, Mladen | Fuzzy logic and enriched categories | 1-May-2021 | Iranian Journal of Fuzzy Systems; 18(3); 1-11 | ~M21a |
| 8 | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | An Epistemic Probabilistic Logic with Conditional Probabilities | 2021 | European Conference on Logics in Artificial Intelligence, JELIA 2021: Logics in Artificial Intelligence; 279-293 | M33 |
| 9 | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Reasoning About Degrees of Confirmation | 2020 | Lecture Notes in Computer Science; The 3rd International Conference on Logic and Argumentation (CLAR 2020); 12061; 80-95 | M33 |
| 10 | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Logical formalization of Bayesian concepts of confirmation | 2020 | Book of Abstracts : Logis and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 9-11 | M34 |
| 11 | Dautović, Šejla ; Doder, Dragan | Probabilistic logic for reasoning about actions in time | 1-Jan-2019 | Lecture 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-396 | M33 |
| 12 | Dautović, Šejla ; Zekić, Mladen | Intuitionistic unprovability | 1-Jan-2019 | Matematički Vesnik; 71(1-2); 180-189 | M52 |
| 13 | Dautović, Šejla | Identifikacioni topološki prostori | 2016 | master thesis: Departman matematičke nauke, Državni univerzitet u Novom Pazaru | M72 |
Projects
(Co-Investigators)
Results 1-1 of 1 (Search time: 0.001 seconds).
| Acronym | Title | Start date | Completion | P-Investigator |
|---|---|---|---|---|
| PROJECT AI4TrustBC | Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC | 01-09-2020 | 31-08-2022 | Davidović, Tatjana |