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:
Date Issued:  [2020 TO 2022]

Results 1-7 of 7 (Search time: 0.016 seconds).

Author(s)TitleIssue DateAppears inRank
1Ilić Stepić, Angelina ; Knežević, Mateja; Ognjanović, Zoran Intuitionistic propositional probability logic29-Aug-2022Mathematical Logic QuarterlyM23
2Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, AleksandarA Probabilistic Temporal Epistemic Logic: Strong Completeness2022Logic Journal of the IGPL; jzac072~M21a
3Ilić 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
4Ognjanović, Zoran ; Perović, Aleksandar; Ilić Stepić, Angelina Tableau For the Logic ILP2022Publications de l'Institut Mathématique; 112(126); 1-11M24
5Ilić 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
6Ilić Stepić, Angelina ; Ikodinović, NebojšaFormalization of Probabilities with Non-linearly Ordered Ranges2020Probabilistic Extensions of Various Logical Systems; 37-69M13
7Ognjanović, Zoran ; Ilić Stepić, Angelina Logics with Probability Operators2020Probabilistic Extensions of Various Logical Systems; 1-35M13

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