Autori: Doder Dragan J
| 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 | ISI/Web of Science Članak Elečas Rang časopisa |
| 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 | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Incomplete Information and Justifications (Proceedings Paper) |
| Autori | Doder Dragan J Ognjanovic Zoran D Savic Nenad Studer Thomas |
| Info | LANGUAGE, LOGIC, AND COMPUTATION, (2022), vol. 13206 br. , str. 258-278 |
| Projekat | SNSF project [200021 165549]; Serbian Ministry of Education and Science through Mathematical Institute of Serbian Academy of Sciences and Arts |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| 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 | 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 | A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities (Proceedings Paper) |
| Autori | Savic Nenad Doder Dragan J Ognjanovic Zoran D |
| Info | SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2017, (2017), vol. 10369 br. , str. 491-500 |
| Projekat | SNSF [200021_165549]; Serbian Ministry of Education and Science [ON174026, III44006, ON174008] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Probabilistic Logics with Independence and Confirmation (Article) |
| Autori | Doder Dragan J Ognjanovic Zoran D |
| Info | STUDIA LOGICA, (2017), vol. 105 br. 5, str. 943-969 |
| Projekat | National Research Fund (FNR) of Luxembourg through project PRIMAT; Serbian Ministry of Education and Science through Mathematical Institute of Serbian Academy of Sciences and Arts [ON174026, III44006] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Logics with lower and upper probability operators (Article) |
| Autori | Savic Nenad Doder Dragan J Ognjanovic Zoran D |
| Info | INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, (2017), vol. 88 br. , str. 148-168 |
| Projekat | National Research Fund (FNR) of Luxembourg through project PRIMAT; National Research Fund (FNR) of Luxembourg through Swiss National Science Foundation grant [200021_165549]; Serbian Ministry of Education and Science [ON174026, III44006, ON174008] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | On Evaluations of Propositional Formulas in Countable Structures (Article) |
| Autori | Perovic Aleksandar M Doder Dragan J Ognjanovic Zoran D Raskovic Miodrag D |
| Info | FILOMAT, (2016), vol. 30 br. 1, str. 1-13 |
| Projekat | Serbian Ministry of Education and Science [ON174026, III44006, III41013, TR36001]; National Research Fund (FNR) of Luxembourg through project PRIMAT |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
