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