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
- 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
Date issued
Type
- 5 Article
Results 1-5 of 5 (Search time: 0.003 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 | Logics for reasoning about degrees of confirmation | 31-May-2021 | Journal of Logic and Computation; 31(8); 2189-2217 | ~M21 |
| 4 | Dautović, Šejla ; Zekić, Mladen | Fuzzy logic and enriched categories | 1-May-2021 | Iranian Journal of Fuzzy Systems; 18(3); 1-11 | ~M21a |
| 5 | Dautović, Šejla ; Zekić, Mladen | Intuitionistic unprovability | 1-Jan-2019 | Matematički Vesnik; 71(1-2); 180-189 | M52 |
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 |