Autori: Doder Dragan J
| Naslov | A Logic with Conditional Probability Operators (Article) |
| Autori | Doder Dragan J Marinkovic Bojan B Maksimovic Petar Perovic Aleksandar M |
| Info | PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, (2010), vol. 87 br. 101, str. 85-96 |
| Projekat | Ministry of Science, Republic of Serbia [144013] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | An Axiomatization of a First-order Branching Time Temporal Logic (Article) |
| Autori | Doder Dragan J Ognjanovic Zoran D Markovic Zoran M |
| Info | JOURNAL OF UNIVERSAL COMPUTER SCIENCE, (2010), vol. 16 br. 11, str. 1439-1451 |
| Projekat | Ministarstvo za nauku i tehnoloski razvoj Republike Srbije, through Matematicki Institut |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Measures of inconsistency and defaults (Article) |
| Autori | Doder Dragan J Raskovic Miodrag D Markovic Zoran M Ognjanovic Zoran D |
| Info | INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, (2010), vol. 51 br. 7, str. 832-845 |
| Projekat | Ministarstvo za nauku i tehnolo skirazvoj Republike Srbije, through Matematicki Institut [144013] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | A Probabilistic Temporal Logic That Can Model Reasoning about Evidence (Proceedings Paper) |
| Autori | Doder Dragan J Markovic Zoran M Ognjanovic Zoran D Perovic Aleksandar M Raskovic Miodrag D |
| Info | FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, (2010), vol. 5956 br. , str. 9-24 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
