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:
Type:  Article

Results 1-16 of 16 (Search time: 0.003 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
7Ognjanović, Zoran ; Perović, Aleksandar; Ilić Stepić, Angelina Tableau For the Logic ILP2022Publications de l'Institut Mathématique; 112(126); 1-11M24
8Ilić 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
9Ilić Stepić, Angelina Adelic uncertainty logic2018Journal of Multiple-Valued Logic and Soft Computing; 30(1); 29-78M22
10Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša; Perović, Aleksandarp-Adic probability logics1-Jul-2016P-Adic Numbers, Ultrametric Analysis, and Applications; 8(3); 177-203M52
11Ilić-Stepić, Angelina ; Ognjanović, Zoran Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers1-Jan-2015Studia Logica; 1; 145-174M22
12Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, NebojšaConditional p-adic probability logic1-Jan-2014International Journal of Approximate Reasoning; 55(9); 1843-1865M21
13Ilić-Stepić, Angelina ; Ognjanović, Zoran Complex valued probability logics1-Jan-2014Publications de l'Institut Mathematique; 95(109); 73-86M23
14Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša; Perović, AleksandarA p-adic probability logic1-Aug-2012Mathematical Logic Quarterly; 58(4-5); 263-280M22
15Mijajlović, Žarko; Doder, Dragan; Ilić Stepić, Angelina Borel sets and countable models1-Dec-2011Publications de l'Institut Mathematique; 90(104); 1-11M24
16Ilić Stepić, Angelina A logic for reasoning about qualitative probability14-Oct-2010Publications de l'Institut Mathematique; 87(101); 97-108M24

Projects
(Co-Investigators)


Results 1-3 of 3 (Search time: 0.0 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