Researchers
Ognjanović, Zoran
| Issue Date | Title | Author(s) | Type | М-cat. |
|---|---|---|---|---|
| 1996 | A logic with higher order probabilities | Rašković, Miodrag; Ognjanović, Zoran   | Conference Paper | Mp. category will be shown later |
| 1996 | A logic with higher order probabilities | Ognjanović, Zoran ; Rašković, Miodrag | Article | Mp. category will be shown later |
| 1996 | Some propositional probabilistic logics | Rašković, Miodrag; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 1995 | Šta sve donosi veštačka inteligencija | Ognjanović, Zoran | Article | Mp. category will be shown later |
| 1995 | And-Parallel Prolog for PC-based lans | Ognjanović, Zoran ; Majstorović, Uroš | Conference Paper | Mp. category will be shown later |
| 1995 | Rezonovanje o verovatnoći | Rašković, Miodrag; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | Conference Paper | Mp. category will be shown later |
| 1995 | Ekspertni sistem za iskopine 'Pandora' | Korać, Miomir ; Ognjanović, Zoran D. ; Dugandžić, Filip | Article | Mp. category will be shown later |
| 1995 | Multprocesorski multitasking Prolog | Ognjanović, Zoran ; Majstorović, Uroš; Stanisavljević, Ivan; Petrović, Vladimir | Conference Paper | Mp. category will be shown later |
| 1995 | Pandora - ekspertni sistem za datiranje iskopina | Korać, Miomir; Ognjanović, Zoran ; Dugandžić, Filip | Conference Paper | Mp. category will be shown later |
| 1995 | A logic for reasoning about Probability | Rašković, Miodrag; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 1994 | LPP-logic about Probability | Rašković, Miodrag; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | Conference Paper | Mp. category will be shown later |
| 1994 | A tableau-like proof procedure for normal modal logics | Ognjanović, Zoran | Article | 23M23 |
| 1994 | Jedno rešenja sistema zasnovanih na znanju za upravljanje fleksibilnom proizvodnjom ćelijom | Jocković, Miroslav; Ognjanović, Zoran | Book parts | Mp. category will be shown later |
| 1994 | Tehnologija ekspertnih sistema | Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 1993 | A solution of an inference engine in knowladge based systems | Jocković, Miroslav; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 1993 | Concept of the language for knowledge representation in the flexible manufacturing cell control expert system | Ognjanović, Zoran ; Jocković, Miroslav | Conference Paper | Mp. category will be shown later |
| 1991 | A Proof Procedure for Modal Logic S4 | Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 1990 | Approach to the modeling of the highest control level of flexible manufacturing cell | Jocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran | Article | 23M23 |
| 1990 | A contribution to the organization of an expert system for process control of FMC (✓) | Jocković, Miroslav; Vukobratović, Miomir ; Ognjanović, Zoran | Article | Mp. category will be shown later |
| 1989 | Koncept organizacije upravljačkog Sistema zasnovanog na znanju u proizvodnji upravljanoj preko računara | Jocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |