Browsing by Author Ognjanović, Zoran
Showing results 114 to 133 of 268
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
Jocković, Miroslav; Ognjanović, Zoran | Jedno rešenja sistema zasnovanih na znanju za upravljanje fleksibilnom proizvodnjom ćelijom | 1994 | Veštačka inteligencija; 181-196 | M45 |
Ognjanović, Zoran ; Savić, Nenad; Studer, Thomas | Justification logic with approximate conditional probabilities | 1-Jan-2017 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 6th International Workshop Logic, Rationality, and Interaction, LORI 2017, Sapporo, Japan, September 11–14, 2017, A. Baltag, J. Seligman, T. Yamada (Eds.); 10445 LNCS; 681-686 | M33 |
Marinković, Bojan ; Ognjanović, Zoran ; Šegan-Radonjić, Marija ; Milojković, Nevena; Jakšić Kruger, Tatjana | Katalog digitalnih kolekcija kulturne i naučne baštine Srbije | 2011 | M85 | |
Mihaljević, Miodrag J. ; Marković, Zoran ; Urošević, Dragan ; Ognjanović, Zoran | Kolekcija tehničkih rešenja sa naprednim kriptografskim mehanizmima za servise zaštite podataka | 2001 | M85 | |
Mihaljević, Miodrag J. ; Ognjanović, Zoran | Komunikacija mašina-mašina javnim kanalima: Koncept i izazovi bezbednosti | 2013 | BISEC 2013, Srbija | M62 |
Jocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran | Koncept organizacije upravljačkog Sistema zasnovanog na znanju u proizvodnji upravljanoj preko računara | 1989 | 6. jugoslovenski simpozijum za primenjenu robotiku i fleksibilnu automatizaciju, Novi Sad, 1989; 341-348 | M63 |
Huylebrouck, Dirk; Ognjanović, Zoran ; Radović, Ljijana | Leibniz, a Sorb | 1-Sep-2017 | Mathematical Intelligencer; 39(3); 53-55 | M23 |
Šikić, Zvonimir; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, Thomas | Logic and Applications - LAP Meeting | 28-Oct-2020 | Logic, Language, and Security; 12300; 98-100 | |
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | The logic ILP for intuitionistic reasoning about probability | 2022 | 11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 25-26 | M34 |
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | The Logic ILP for Intuitionistic Reasoning About Probability | 2024 | Studia Logica; 112; 987-1017 | ~M21 |
Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | A Logic of Interactive Proofs | 2022 | Logical Foundations of Computer Science; International Symposium on Logical Foundations of Computer Science, LFCS 2022; 13137; 143-155 | M33 |
Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | A Logic of Interactive Proofs | Sep-2021 | 10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 89-90 | M34 |
Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | A logic of interactive proofs | 2022 | Journal of Logic and Computation; 32(8); 1645-1658 | ~M21 |
Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | A logic with approximate conditional probabilities that can model default reasoning | 1-Sep-2008 | International Journal of Approximate Reasoning; 49(1); 52-66 | M22 |
Ikodinović, Nebojša; Ognjanović, Zoran | A logic with coherent conditional probabilities | 1-Jan-2005 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005; Barcelona; Spain; 6 July 2005 through 8 July 2005; 3571; 726-736 | M22 |
Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | A logic with conditional probabilities | 1-Jan-2004 | Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); European Workshop on Logics in Artificial Intelligence, JELIA 2004; 3229; 226-238 | M22 |
Ognjanović, Zoran ; Ikodinović, Nebojša | A logic with higher order conditional probabilities | 1-Jan-2007 | Publications de l'Institut Mathematique; 96; 141-154 | M24 |
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran | A logic with upper and lower probability operators | 1-Jan-2015 | ISIPTA 2015 - Proceedings of the 9th International Symposium on Imprecise Probability: Theories and Applications; 9th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2015; Pescara; Italy; 20 July 2015 through 24 July 2015; 267-276 | M33 |
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Logical formalization of Bayesian concepts of confirmation | 2020 | Book of Abstracts : Logis and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 9-11 | M34 |
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Logical Framework for Proving the Correctness of the Chord Protocol | 2018 | 7th international conference Logic and Applications LAP 2018, Dubrovnik, Croatia, September 24-28, 2018; 29-31 | M34 |