Ilić Stepić, Angelina
Full Name
Ilić Stepić, Angelina
Scopus Author ID


Country
Serbia
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 multi-agent systems | temporal epistemic logic with probabilities | blockchain | formal model specification/verification
- 1 p-adic numbers | Probability logic
Date issued
Results 1-20 of 22 (Search time: 0.002 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | A Probabilistic Temporal Epistemic Logic | 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; 33 | M34 |
2 | Ilić Stepić, Angelina ; Ikodinović, Nebojša | Formalization of Probabilities with Non-linearly Ordered Ranges | 2020 | Probabilistic Extensions of Various Logical Systems; 37-69 | M13 |
3 | Ognjanović, Zoran ; Ilić Stepić, Angelina | Logics with Probability Operators | 2020 | Probabilistic Extensions of Various Logical Systems; 1-35 | M13 |
4 | Ilić Stepic , Angelina ; Ognjanović, Zoran | Logics to formalise p-adic valued probability and their applications | 4-May-2018 | International Journal of Parallel, Emergent and Distributed Systems; 33(3); 257-275 | M52 |
5 | Ilić Stepić, Angelina | Adelic uncertainty logic | 2018 | Journal of Multiple-Valued Logic and Soft Computing; 30(1); 29-78 | M22 |
6 | Ilić Stepić, Angelina ; Ognjanović, Zoran | A Probability Logic for Reasoning About Quantum Observations | 2017 | 6th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 21-22 | M34 |
7 | Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša; Perović, Aleksandar | p-Adic probability logics | 1-Jul-2016 | P-Adic Numbers, Ultrametric Analysis, and Applications; 8(3); 177-203 | M52 |
8 | Ilić Stepić, Angelina ; Ognjanović, Zoran | Modal Quantum logic with probability | 2016 | Šesta nacionalna konferencija: Verovatnosne logike i njihove primene; 20-20 | M60 |
9 | Perović, Aleksandar; Doder, Dragan; Ilić Stepić, Angelina ; Ikodinović, Neobojša | Extensions of the Probability Logics LPP2 and LFOP1. Some Applications of Probability Logics | 2016 | Probability Logics. Probability-Based Formalization of Uncertain Reasoning; 133-185 | M13 |
10 | Ilić-Stepić, Angelina ; Ognjanović, Zoran | Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers | 1-Jan-2015 | Studia Logica; 1; 145-174 | M22 |
11 | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša; Perović, Aleksandar | A p-adic probability logic | 2015 | International conference on p-adic mathematical physics and its applications; 07-12.09.2015, Belgrade, Serbia; 28-28 | M30 |
12 | Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša | Conditional p-adic probability logic | 1-Jan-2014 | International Journal of Approximate Reasoning; 55(9); 1843-1865 | M21 |
13 | Ilić-Stepić, Angelina ; Ognjanović, Zoran | Complex valued probability logics | 1-Jan-2014 | Publications de l'Institut Mathematique; 95(109); 73-86 | M23 |
14 | Ilić Stepić, Angelina | Adelic estimation of uncertainty | 2013 | Treća nacionalna konferencija: Verovatnosne logike i njihove primene; 17-17 | M60 |
15 | 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 |
16 | Ilić Stepić, Angelina ; Ognjanović, Zoran | Complex -valued probability logic | 2012 | Druga nacionalna konferencija: Verovatnosne logike i njihove primene; 31-31 | M60 |
17 | 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 |
18 | Ilić Stepić , Angelina | O formalizaciji r-adske, kvalitativne i uslovne verovatnoće | 2012 | doctoral thesis: Matematički Fakultet, Univerzitet u Beogradu | M70 |
19 | 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 |
20 | 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 |
Projects
(Co-Investigators)
Results 1-3 of 3 (Search time: 0.0 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 |