Истраживачи
Ognjanović, Zoran
Results 101-120 of 305
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2015 | A p-adic probability logic![]() | Ikodinović, Nebojša | Conference Paper | Mp. category will be shown later |
| 2015 | PROJECT 'DIGITARIJUM': CREATION OF TEACHING MATERIAL FOR DIGITAL HERITAGE | Vujošević, Sandra | Conference Paper | Mp. category will be shown later |
| 2015 | A probabilistic logic for reasoning about uncertain temporal information | Doder, Dragan | Conference Paper | Mp. category will be shown later |
| 2015 | A logic with upper and lower probability operators | SAVIĆ, NENAD D. | Conference Paper | Mp. category will be shown later |
| 2015 | Stvaranje Cendari digitalnog repozitorijuma o Prvom svetskom ratu I srednjevekovnoj kulturi Evrope![]() | Knežević, Milica | Conference Paper | Mp. category will be shown later |
| 2015 | First-Order Probabilistic Common Knowledge Logic | Tomović, Siniša S. | Conference Paper | Mp. category will be shown later |
| 2015 | First steps towards probabilistic justification logic | Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran | Article | 21M21 |
| 2015 | Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers | Ilić-Stepić, Angelina | Article | 21M21 |
| 2015 | Proving formal properties of the Chord protocol using Isabelle | Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2015 | Probabilistic common knowledge among infinite number of agents | Tomović, Siniša S. | Conference Paper | Mp. category will be shown later |
| 2015 | First-order probabilistic logics and their applications![]() | Ikodinović, Nebojša | Book parts | Mp. category will be shown later |
| 2015 | Probabilistic logics with independence and probabilistic support | Doder, Dragan | Conference Paper | Mp. category will be shown later |
| 2015 | SERBIA-FORUM - KORAK KA BOLjOJ VIDLjIVOSTI DIGITALIZOVANE KULTURNE BAŠTINE U SRBIJI | Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2015 | Digitalizacija naučnog i kulturnog nasleđa u srednjoškolskom obrazovanju | Šegan-Radonjić, Marija | Conference Paper | Mp. category will be shown later |
| 2015 | Bee colony optimization for the satisfiability problem in probabilistic logic | Stojanović, Tatjana | Article | 21aM21a |
| 2014 | Serbia-Forum: interaktivna platforma za predstavljanje digitalizovane nacionalne baštine u okviru evropske infrastrukture za digitalnu humanistiku CENDARI![]() | Jelisavčić, Vladisav | Technical reports | Mp. category will be shown later |
| 2014 | Digital National Library of Serbia | Jelisavčić, Vladisav | Conference Paper | Mp. category will be shown later |
| 2014 | A propositional linear time logic with time flow isomorphic to $omega^2$![]() | Marinković, Bojan | Article | 21M21 |
| 2014 | An Overview of and Innovative Perspectives for the Serbia-Forum Cultural Heritage Digitization Project | Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2014 | Serbia forum - Digital cultural heritage portal | Jelisavčić, Vladisav | Conference Paper | Mp. category will be shown later |
