Researchers
Ognjanović, Zoran
Results 181-200 of 305
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2011 | Elektronski Katalog digitalnih kolekcija kulturne i naučne baštine Srbije | Jakšić, Tatjana | Technical reports | Mp. category will be shown later |
| 2011 | Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm | Perović, Aleksandar | Article | 21a+M21a+ |
| 2011 | Probabilistic Approach to Nonmonotonic Consequence Relations | Doder, Dragan | Conference Paper | Mp. category will be shown later |
| 2011 | Doctoral dissertations in NCD Virtual library | Žarko Mijajlović; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2011 | A Branching-time Probabilistic Logic | Doder, Dragan | Conference Paper | Mp. category will be shown later |
| 2011 | A first-order probabilistic logic with approximate conditional probabilities![]() | Ikodinović, Nebojša | Conference Paper | Mp. category will be shown later |
| 2011 | A distributed catalog for digitized cultural heritage | Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2011 | Katalog digitalnih kolekcija kulturne i naučne baštine Srbije | Marinković, Bojan | Technical reports | Mp. category will be shown later |
| 2011 | Some Temporal-Probabilistic Logics | Doder, Dragan | Book parts | Mp. category will be shown later |
| 2011 | Katalog digitalizovanih kolekcija | Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2011 | Elektronski zdravstveni karton pacijenata Klinike za alergologiju i imunologiju Klinickog centra Srbije![]() | Glišović, Nataša; Đurić, Vojislav | Technical reports | Mp. category will be shown later |
| 2011 | A branching time logic with two types of probability operators | Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2011 | Unapređenje elektronske biblioteke Matematičkog instituta SANU![]() | Jakšić, Tatjana | Technical reports | Mp. category will be shown later |
| 2011 | A Distributed Implementation of a Catalog of Digitized Cultural Collection | Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2011 | Distribuirana implementacija kataloga digitalizovanih kolekcija kulturne i naučne baštine | Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2010 | An extension of the probability logic $LPP_2$ | Stojanović, Tatjana; Kaplarević-Mališić, Ana; Ognjanović, Zoran | Article | Mp. category will be shown later |
| 2010 | An axiomatization of a first-order branching time temporal logic | Doder, Dragan | Article | 23M23 |
| 2010 | Digitization of mathematical editions in Serbia | Mijajlović, Žarko; Ognjanović, Zoran | Article | Mp. category will be shown later |
| 2010 | An extension of the probability logic LPP_2 | Ognjanović, Zoran | Article | 51M51 |
| 2010 | A probabilistic temporal Logic that can model reasoning about evidence | Perović, Aleksandar | Article | Mp. category will be shown later |
