Autori: Ognjanovic Zoran D
| 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 | ISI/Web of Science Članak Elečas Rang časopisa Citati: |
| Naslov | Logics for reasoning about degrees of confirmation (Article) |
| Autori | Dautovic Sejla Doder Dragan J Ognjanovic Zoran D |
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2021), vol. 31 br. 8, str. 2189-2217 |
| Projekat | Serbian Ministry of Education, Science and Technological Development through the Mathematical Institute of the Serbian Academy of Sciences and Arts |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Automated non-monotonic reasoning in System P (Article) |
| Autori | Stojanovic Tatjana P Ikodinovic Nebojsa M Davidovic Tatjana Ognjanovic Zoran D |
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2021), vol. 89 br. 5-6, str. 471-509 |
| Projekat | Serbian Ministry of Education, Science and Technological Development [451-03-9/2021-14/200122, 451-03-9/2021-14/200104, 451-03-9/2021-14/200029]; Science Fund of the Republic of Serbia, Grant AI4TrustBC: Advanced Artificial Intelligence Techniques for Ana |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Probabilistic justification logic (Article) |
| Autori | Kokkinis Ioannis Ognjanovic Zoran D Studer Thomas |
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2020), vol. 30 br. 1, str. 257-280 |
| Projekat | SNSF project [153169]; Serbian Ministry of Education, Science and Technological Development |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | A First-order Logic for Reasoning about Knowledge and Probability (Article) |
| Autori | Tomovic Sinisa Ognjanovic Zoran D Doder Dragan J |
| Info | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, (2020), vol. 21 br. 2, str. - |
| Projekat | Serbian Ministry of Education and Science [ON174026, ON174010, III44006] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities (Article) |
| Autori | Doder Dragan J Savic Nenad Ognjanovic Zoran D |
| Info | JOURNAL OF LOGIC LANGUAGE AND INFORMATION, (2020), vol. 29 br. 1, str. 77-107 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Correctness of the Chord Protocol (Article) |
| Autori | Marinkovic Bojan B Ognjanovic Zoran D Glavan Paola Kos Anton Umek Anton |
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2020), vol. 17 br. 1, str. 141-160 |
| Projekat | Serbian Ministry of Education, Science and Technology Development, through Matemati.cki institut SANU [ON174026, III44006]; Croatian Ministry of Science and EducationMinistry of Science, Education and Sports, Republic of Croatia; Slovenian Research Agency |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| 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 | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol (Article) |
| Autori | Marinkovic Bojan B Glavan Paola Ognjanovic Zoran D Studer Thomas |
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2019), vol. 29 br. 5, str. 803-830 |
| Projekat | Serbian Ministry of Education, Science and Technology Development through Matematicki institut SANU [ON174026, III44006]; Ministarstvo znanosti, obrazovanja i sporta republike Hrvatske; Swiss National Science Foundation (S |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Cultural Heritage Digitization in Serbia: Standards, Policies, and Case Studies (Article) |
| Autori | Ognjanovic Zoran D Marinkovic Bojan B Segan-Radonjic Marija Maslikovic Dejan |
| Info | SUSTAINABILITY, (2019), vol. 11 br. 14, str. - |
| Projekat | Ministarstvo prosvete, nauke i tehnoloskog razvoja (Ministry of Education, Science and Technological Development of RS) [iii44006]; Ministarstvo kulture i informisanja (Ministry of Culture and Information of RS) |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
