Ilić Stepić, Angelina

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Ilić Stepić, Angelina
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications

Results 1-20 of 29 (Search time: 0.006 seconds).

Author(s)TitleIssue DateAppears inRank
1Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, AleksandarA probabilistic temporal epistemic logic: Strong completeness2024Logic Journal of the IGPL; 32(1); 94-138~M21a
2Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, AleksandarA Probabilistic Temporal Epistemic Logic, Part II: Decidability2024Logic Journal Of The Igpl; 35(5); 827-879~M21a
3Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarThe Logic ILP for Intuitionistic Reasoning About Probability2024Studia Logica; 112; 987-1017~M21
4Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarProbability Logics for Reasoning About Quantum Observations2023Logica Universalis; 17; 175-219~M21
5Ilić Stepić, Angelina ; Knežević, Mateja; Ognjanović, Zoran Intuitionistic propositional probability logic29-Aug-2022Mathematical Logic QuarterlyM23
6Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarThe logic ILP for intuitionistic reasoning about probability202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 25-26M34
7Ognjanović, Zoran ; Perović, Aleksandar; Ilić Stepić, Angelina Tableau For the Logic ILP2022Publications de l'Institut Mathématique; 112(126); 1-11M24
8Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarA Probabilistic Temporal Epistemic LogicSep-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; 33M34
9Ilić Stepić, Angelina ; Ikodinović, NebojšaFormalization of Probabilities with Non-linearly Ordered Ranges2020Probabilistic Extensions of Various Logical Systems; 37-69M13
10Ognjanović, Zoran ; Ilić Stepić, Angelina Logics with Probability Operators2020Probabilistic Extensions of Various Logical Systems; 1-35M13
11Ilić Stepic , Angelina ; Ognjanović, Zoran Logics to formalise p-adic valued probability and their applications4-May-2018International Journal of Parallel, Emergent and Distributed Systems; 33(3); 257-275M52
12Ilić Stepić, Angelina Adelic uncertainty logic2018Journal of Multiple-Valued Logic and Soft Computing; 30(1); 29-78M22
13Ilić Stepić, Angelina ; Ognjanović, Zoran A Probability Logic for Reasoning About Quantum Observations20176th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 21-22M34
14Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša; Perović, Aleksandarp-Adic probability logics1-Jul-2016P-Adic Numbers, Ultrametric Analysis, and Applications; 8(3); 177-203M52
15Perović, Aleksandar; Doder, Dragan; Ilić Stepić, Angelina ; Ikodinović, NeobojšaExtensions of the Probability Logics LPP2 and LFOP1. Some Applications of Probability Logics2016Probability Logics. Probability-Based Formalization of Uncertain Reasoning; 133-185M13
16Ilić Stepić, Angelina ; Ognjanović, Zoran Modal Quantum logic with probability2016Šesta nacionalna konferencija: Verovatnosne logike i njihove primene; 20-20M60
17Ilić-Stepić, Angelina ; Ognjanović, Zoran Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers1-Jan-2015Studia Logica; 1; 145-174M22
18Ilić Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša; Perović, AleksandarA p-adic probability logic2015International conference on p-adic mathematical physics and its applications; 07-12.09.2015, Belgrade, Serbia; 28-28M30
19Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, NebojšaConditional p-adic probability logic1-Jan-2014International Journal of Approximate Reasoning; 55(9); 1843-1865M21
20Ilić-Stepić, Angelina ; Ognjanović, Zoran Complex valued probability logics1-Jan-2014Publications de l'Institut Mathematique; 95(109); 73-86M23

Projects
(Co-Investigators)


Results 1-3 of 3 (Search time: 0.001 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT AI4TrustBCAdvanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC01-09-202031-08-2022Davidović, Tatjana
PROJECT 174026Representations of logical structures and formal languages and their application in computing01-01-201131-12-2019Ghilezan, Silvia
PROJECT 144013Representations of logical structures and their application in computer science01-01-200631-12-2010Ognjanović, Zoran