Autori: Ognjanovic Zoran D
| 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 | Probabilistic temporal logic with countably additive semantics (Article) |
| Autori | Doder Dragan J Ognjanovic Zoran D
|
| Info | ANNALS OF PURE AND APPLIED LOGIC, (2024), vol. 175 br. 9, str. - |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
|
|
| 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 | Reasoning about knowledge and conditional probability (Article) |
| Autori | Dautovic Sejla Doder Dragan J Ognjanovic Zoran D
|
| Info | INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, (2023), vol. 163 br. , str. - |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
|
|
| 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 | Federating Digital Contact Tracing using Structured Overlay Networks (Article) |
| Autori | Ghilezan Silvia Kasterovic Simona Liquori Luigi Marinkovic Bojan B Ognjanovic Zoran D Stefanovic Tamara
|
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2022), vol. 19 br. 3, str. 1261-1282 |
| Projekat | Science Fund Republic of Serbia; [6526707 AI4TrustBC] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | A logic of interactive proofs (Article) |
| Autori | Lehnherr David Ognjanovic Zoran D Studer Thomas
|
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2022), vol. 32 br. 8, str. 1645-1658 |
| Projekat | Science Fund of the Republic of Serbia project AI4TrustBC; Swiss National Science Foundation [200020_184625] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Intuitionistic propositional probability logic (Article) |
| Autori | Ilic-Stepic Angelina V Knezevic Mateja Ognjanovic Zoran D
|
| Info | MATHEMATICAL LOGIC QUARTERLY, (2022), vol. 68 br. 4, str. 479-495 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
|
|
