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 | 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 | 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|