Researchers
Stojanović, Tatjana
Type
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2018 | Some optimization methods for non-monotonic Reasoning in System P (✓) | Stojanović, Tatjana P. ; Ikodinović, Nebojša M. ; Davidović, Tatjana M. ; Ognjanović, Zoran D. | Conference Paper | Mp. category will be shown later |
2016 | Razvoj i analiza metaheurističkih metoda za ispitivanje zadovoljivosti formula u verovatnosnim logikama | Stojanović, Tatjana | Doctoral theses | 70M70 |
2015 | Bee colony optimization for the satisfiability problem in probabilistic logic | Stojanović, Tatjana ; Davidović, Tatjana ; Ognjanović, Zoran | Article | 21M21 |
2014 | Dealing with satis_x000c_ability problem in default logic using Bee-colony optimization (✓) | Stojanović, Tatjana ; Ikodinović, Nebojša M. ; Davidović, Tatjana M. ; Ognjanović, Zoran D. | Conference Paper | Mp. category will be shown later |
2011 | Probability description language P-ALCN | Stojanović, Tatjana P. | Conference Paper | Mp. category will be shown later |
2010 | An extension of the probability logic LPP2 | Stojanović, Tatjana ; Kaplarević-Mališić, Ana ; Ognjanović, Zoran D. | Article | 51M51 |