Autori: Perovic Aleksandar M
Naslov | Logics for at most countable first-order structures (Article; Early Access) |
Autori | Perovic Aleksandar M Ognjanovic Zoran D Stojanovic Tatjana P |
Info | JOURNAL OF LOGIC AND COMPUTATION, (2024), vol. br. , str. - |
Projekat | Serbian Ministry of Education, Science and Technological Development [451-03-65/2024-03/200122] |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
|
Naslov | A Probabilistic Temporal Epistemic Logic: Strong Completeness (Article) |
Autori | Ognjanovic Zoran D Ilic-Stepic Angelina V Perovic Aleksandar M |
Info | LOGIC JOURNAL OF THE IGPL, (2024), vol. 32 br. 1, str. 94-138 |
Projekat | Science Fund of the Republic of Serbia, Grant AI4TrustBC: Advanced Artificial Intelligence Techniques for Analysis and Design of System Components Based on Trustworthy BlockChain Technology; Serbian Ministry of Education, Science and Technological Development [451-03-9/2021-14/200029] |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
Naslov | The Logic ILP for Intuitionistic Reasoning About Probability (Article; Early Access) |
Autori | Ilic-Stepic Angelina V Ognjanovic Zoran D Perovic Aleksandar M |
Info | STUDIA LOGICA, (2023), vol. br. , str. - |
Projekat | Ministarstvo Prosvete, Nauke i Tehnoloscaron;kog Razvoja |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
|
Naslov | A probabilistic temporal epistemic logic: Decidability (Article; Early Access) |
Autori | Ognjanovic Zoran D Ilic-Stepic Angelina V Perovic Aleksandar M |
Info | LOGIC JOURNAL OF THE IGPL, (2023), vol. br. , str. - |
Projekat | Science Fund of the Republic of Serbia [Grant AI4TrustBC]: Advanced Artificial Intelligence Techniques for Analysis and Design of System Components Based on Trustworthy BlockChain Technology and by the Serbian Ministry of Education, Science and Technologic [451-03-9/2021-14/200029]; Science Fund of the Republic of Serbia; Serbian Ministry of Education, Science and Technological Development; [[AI4TrustBC]] |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
|
Naslov | Probability Logics for Reasoning About Quantum Observations (Article) |
Autori | Ilic-Stepic Angelina V Ognjanovic Zoran D Perovic Aleksandar M |
Info | LOGICA UNIVERSALIS, (2023), vol. 17 br. 2, str. 175-219 |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
|
Naslov | Completeness theorems for sigma-additive probabilistic semantics (Article) |
Autori | Ikodinovic Nebojsa M Ognjanovic Zoran D Perovic Aleksandar M Raskovic Miodrag D |
Info | ANNALS OF PURE AND APPLIED LOGIC, (2020), vol. 171 br. 4, str. - |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
Naslov | Generalization of Portmanteau Theorem for a sequence of interval-valued pseudo-probability measures (Article) |
Autori | Durakovic Natasa Medic Slavica S Grbic Tatjana P Perovic Aleksandar M Nedovic Ljubo M |
Info | FUZZY SETS AND SYSTEMS, (2019), vol. 364 br. , str. 96-110 |
Projekat | Ministry of Education, Science and Technological Development of the Republic of Serbia [OI174009, III41103, TR32035, TR36001] |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
Naslov | Measures and Metrics of Biological Signals (Article) |
Autori | Kasum Obrad Perovic Aleksandar M Jovanovic Aleksandar |
Info | FRONTIERS IN PHYSIOLOGY, (2018), vol. 9 br. , str. - |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
Naslov | A premium principle based on the g-integral (Article) |
Autori | Grbic Tatjana P Medic Slavica S Perovic Aleksandar M Mihailovic Biljana P Novkovic Nebojsa D Durakovic Natasa |
Info | STOCHASTIC ANALYSIS AND APPLICATIONS, (2017), vol. 35 br. 3, str. 465-477 |
Projekat | Ministry of Science and Technological Development of the Republic of Serbia |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
Naslov | Inequalities of Holder and Minkowski type for pseudo-integrals with respect to interval-valued circle plus-measures (Article) |
Autori | Medic Slavica S Grbic Tatjana P Perovic Aleksandar M Nikolicic Svetlana |
Info | FUZZY SETS AND SYSTEMS, (2016), vol. 304 br. , str. 110-130 |
Projekat | Ministry of Science and Technological Development of the Republic of Serbia [III41103, TR36001, TR32035, OI174009, TR36030] |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|