Autori: Markovic Zoran M
Naslov | A first-order probabilistic logic with approximate conditional probabilities (Article) |
Autori | Ikodinovic Nebojsa M Raskovic Miodrag D Markovic Zoran M Ognjanovic Zoran D |
Info | LOGIC JOURNAL OF THE IGPL, (2014), vol. 22 br. 4, str. 539-564 |
Projekat | Serbian Ministry of Education and Science [174026, III044006] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Logics with Generalized Measure Operators (Article) |
Autori | Ikodinovic Nebojsa M Raskovic Miodrag D Markovic Zoran M Ognjanovic Zoran D |
Info | JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, (2013), vol. 20 br. 5-6, str. 527-555 |
Projekat | Serbian Ministry of Education and Science [ON174026, III44006] |
Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
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 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 |
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 |
Naslov | Qualitative Possibilities and Necessities (Proceedings Paper) |
Autori | Perovic Aleksandar M Ognjanovic Zoran D Raskovic Miodrag D Markovic Zoran M |
Info | SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, (2009), vol. 5590 br. , str. 651-662 |
Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | How to Restore Compactness into Probabilistic Logics? (Proceedings Paper) |
Autori | Perovic Aleksandar M Ognjanovic Zoran D Raskovic Miodrag D Markovic Zoran M |
Info | LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, (2008), vol. 5293 br. , str. 338-348 |
Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | A logic with approximate conditional probabilities that can model default reasoning (Article) |
Autori | Raskovic Miodrag D Markovic Zoran M Ognjanovic Zoran D |
Info | INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, (2008), vol. 49 br. 1, str. 52-66 |
Projekat | Ministarstvo nauke Republike Srbije, through Matematicki Institut |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |