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

Refined By:
Author:  Ilić Stepić , Angelina

Results 1-20 of 30 (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
2Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarA Probabilistic Temporal Epistemic Logic, Part II: Decidability2023Logic Journal Of The Igpl~M21a
3Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarProbability Logics for Reasoning About Quantum Observations2023Logica Universalis; 17; 175-219~M21
4Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarThe Logic ILP for Intuitionistic Reasoning About Probability2023Studia Logica~M21
5Ilić Stepić, Angelina ; Knežević, Mateja; Ognjanović, Zoran Intuitionistic propositional probability logic29-Aug-2022Mathematical Logic QuarterlyM23
6Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, AleksandarA Probabilistic Temporal Epistemic Logic: Strong Completeness2022Logic Journal of the IGPL; jzac072~M21a
7Ilić 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
8Ognjanović, Zoran ; Perović, Aleksandar; Ilić Stepić, Angelina Tableau For the Logic ILP2022Publications de l'Institut Mathématique; 112(126); 1-11M24
9Ilić 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
10Ilić Stepić, Angelina ; Ikodinović, NebojšaFormalization of Probabilities with Non-linearly Ordered Ranges2020Probabilistic Extensions of Various Logical Systems; 37-69M13
11Ognjanović, Zoran ; Ilić Stepić, Angelina Logics with Probability Operators2020Probabilistic Extensions of Various Logical Systems; 1-35M13
12Ilić 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
13Ilić Stepić, Angelina Adelic uncertainty logic2018Journal of Multiple-Valued Logic and Soft Computing; 30(1); 29-78M22
14Ilić 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
15Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša; Perović, Aleksandarp-Adic probability logics1-Jul-2016P-Adic Numbers, Ultrametric Analysis, and Applications; 8(3); 177-203M52
16Perović, 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
17Ilić Stepić, Angelina ; Ognjanović, Zoran Modal Quantum logic with probability2016Šesta nacionalna konferencija: Verovatnosne logike i njihove primene; 20-20M60
18Ilić-Stepić, Angelina ; Ognjanović, Zoran Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers1-Jan-2015Studia Logica; 1; 145-174M22
19Ilić 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
20Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, NebojšaConditional p-adic probability logic1-Jan-2014International Journal of Approximate Reasoning; 55(9); 1843-1865M21

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