Ilić Stepić, Angelina
Loading...
3
0
20
0
false
Full Name
Ilić Stepić, Angelina
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Subject
- 1 Adelic probability | Completeness theorem | Uncertainty
- 1 coding information | conditional probability | p-adic | p-adic distances | probability logic
- 1 Coding information | P-adic | Probability logic
- 1 conditional probability | default reasoning | p-adic coding | p-adic distances | p-adic probability | p-adic probability logics
- 1 Conditional probability | p-Adic
- 1 Decidability | Probability amplitudes | Quantum logic | Strong completeness
- 1 Intuitionistic logic | Probability
- 1 intuitionistic logic | probability operators | proof procedure
- 1 Intuitionistic | Logic
- 1 multi-agent systems | temporal epistemic logic with probabilities | blockchain | formal model specification/verification
- next >
Date issued
Type
Results 21-30 of 30 (Search time: 0.002 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 21 | Ilić-Stepić, Angelina ; Ognjanović, Zoran | Complex valued probability logics | 1-Jan-2014 | Publications de l'Institut Mathematique; 95(109); 73-86 | M23 |
| 22 | Ilić Stepić, Angelina | Adelic estimation of uncertainty | 2013 | Treća nacionalna konferencija: Verovatnosne logike i njihove primene; 17-17 | M60 |
| 23 | Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša; Perović, Aleksandar | A p-adic probability logic | 1-Aug-2012 | Mathematical Logic Quarterly; 58(4-5); 263-280 | M22 |
| 24 | Ilić Stepić , Angelina | O formalizaciji r-adske, kvalitativne i uslovne verovatnoće | 2012 | doctoral thesis: Matematički Fakultet, Univerzitet u Beogradu | M70 |
| 25 | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša | Conditional p-adic probability logic | 2012 | ECAI-2012 Workshop on Weighted logics for Artificial Intelligence WL4AI, Montpellier, France, August 28, 2012.; 17-24 | M33 |
| 26 | Ilić Stepić, Angelina ; Ognjanović, Zoran | Complex -valued probability logic | 2012 | Druga nacionalna konferencija: Verovatnosne logike i njihove primene; 31-31 | M60 |
| 27 | Mijajlović, Žarko; Doder, Dragan; Ilić Stepić, Angelina | Borel sets and countable models | 1-Dec-2011 | Publications de l'Institut Mathematique; 90(104); 1-11 | M24 |
| 28 | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša | A p-adic probability logic | 2011 | Verovatnosne logike i njihove primene; 29-30. septembar 2011, Matematički institut SANU, Beograd; 11-12 | M60 |
| 29 | Ilić Stepić, Angelina | A logic for reasoning about qualitative probability | 14-Oct-2010 | Publications de l'Institut Mathematique; 87(101); 97-108 | M24 |
| 30 | Ilić Stepić, Angelina | Primene teorije modela u poljima | 2008 | master thesis: Matematički fakultet, Univerzitet u Beogradu | M71 |
Projects
(Co-Investigators)
Results 1-3 of 3 (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 |
| PROJECT 174026 | Representations of logical structures and formal languages and their application in computing | 01-01-2011 | 31-12-2019 | Ghilezan, Silvia |
| PROJECT 144013 | Representations of logical structures and their application in computer science | 01-01-2006 | 31-12-2010 | Ognjanović, Zoran |