Autori: Doder Dragan J
Naslov | A Probabilistic Logic for Reasoning about Uncertain Temporal Information (Proceedings Paper) |
Autori | Doder Dragan J Ognjanovic Zoran D |
Info | UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, (2015), vol. br. , str. 248-257 |
Projekat | National Research Fund (FNR) of Luxembourg through project PRIMATLuxembourg National Research Fund; Serbian Ministry of Education and Science [ON174026, III44006] |
Ispravka | ISI/Web of Science Citati: ISI/Web of Science |
Naslov | A Logic with Upper and Lower Probability Operators (Proceedings Paper) |
Autori | Savic Nenad Doder Dragan J Ognjanovic Zoran D |
Info | PROCEEDINGS OF THE 9TH INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY: THEORIES AND APPLICATIONS (ISIPTA '15), (2015), vol. br. , str. 267-276 |
Projekat | National Research Fund (FNR) of Luxembourg through project PRIMATLuxembourg National Research Fund; Serbian Ministry of Education and Science [ON174026, III44006] |
Ispravka | ISI/Web of Science Citati: ISI/Web of Science |
Naslov | Probabilistic Common Knowledge Among Infinite Number of Agents (Proceedings Paper) |
Autori | Tomovic Sinisa Ognjanovic Zoran D Doder Dragan J |
Info | SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2015, (2015), vol. 9161 br. , str. 496-505 |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | A propositional linear time logic with time flow isomorphic to omega(2) (Article) |
Autori | Marinkovic Bojan B Ognjanovic Zoran D Doder Dragan J Perovic Aleksandar M |
Info | JOURNAL OF APPLIED LOGIC, (2014), vol. 12 br. 2, str. 208-229 |
Projekat | Serbian Ministry of Education and Science [III044006, III041103, ON174062, TR36001] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Probabilistic logics for objects located in space and time (Article) |
Autori | Doder Dragan J Grant John Ognjanovic Zoran D |
Info | JOURNAL OF LOGIC AND COMPUTATION, (2013), vol. 23 br. 3, str. 487-515 |
Projekat | Serbian Ministry of Education and Science [ON174026, III44006] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | On Evaluations of Propositional Formulas Whose Range Is a Subset of Some Fixed Countable Ordered Field (Proceedings Paper) |
Autori | Doder Dragan J Ognjanovic Zoran D Perovic Aleksandar M Raskovic Miodrag D |
Info | UNCERTAINTY MODELING IN KNOWLEDGE ENGINEERING AND DECISION MAKING, (2012), vol. 7 br. , str. 567-572 |
Ispravka | ISI/Web of Science Citati: ISI/Web of Science |
Naslov | A propositional probabilistic logic with discrete linear time for reasoning about evidence (Article) |
Autori | Ognjanovic Zoran D Markovic Zoran M Raskovic Miodrag D Doder Dragan J Perovic Aleksandar M |
Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2012), vol. 65 br. 2-3, str. 217-243 |
Projekat | Serbian Ministry of education and science [III044006, ON174026, III041013, TR36001] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | A Logic with Big-Stepped Probabilities that Can Model Nonmonotonic Reasoning of System P (Article) |
Autori | Doder Dragan J |
Info | PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, (2011), vol. 90 br. 104, str. 13-22 |
Projekat | Ministarstvo prosvete i nauke Republike Srbije through Matematicki Institut[ON174026] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Borel Sets and Countable Models (Article) |
Autori | Mijajlovic Zarko Doder Dragan J Ilic-Stepic Angelina V |
Info | PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, (2011), vol. 90 br. 104, str. 1-11 |
Projekat | Ministarstvo prosvete i nauke Republike Srbije[ON174026, III44006] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | A Branching Time Logic with Two Types of Probability Operators (Proceedings Paper) |
Autori | Ognjanovic Zoran D Doder Dragan J Markovic Zoran M |
Info | SCALABLE UNCERTAINTY MANAGEMENT, (2011), vol. 6929 br. , str. 219-232 |
Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |