Browsing by Author Ognjanović, Zoran


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 112 to 131 of 255 < previous   next >
Author(s)TitleIssue DateAppears inRank
Jocković, Miroslav; Ognjanović, Zoran Jedno rešenja sistema zasnovanih na znanju za upravljanje fleksibilnom proizvodnjom ćelijom1994Veštačka inteligencija; 181-196M45
Ognjanović, Zoran ; Savić, Nenad; Studer, ThomasJustification logic with approximate conditional probabilities1-Jan-2017Lecture 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-686M33
Marinković, Bojan ; Ognjanović, Zoran ; Šegan-Radonjić, Marija ; Milojković, Nevena; Jakšić Kruger, Tatjana Katalog digitalnih kolekcija kulturne i naučne baštine Srbije2011M85
Mihaljević, Miodrag J. ; Marković, Zoran ; Urošević, Dragan ; Ognjanović, Zoran Kolekcija tehničkih rešenja sa naprednim kriptografskim mehanizmima za servise zaštite podataka2001M85
Jocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran Koncept organizacije upravljačkog Sistema zasnovanog na znanju u proizvodnji upravljanoj preko računara19896. jugoslovenski simpozijum za primenjenu robotiku i fleksibilnu automatizaciju, Novi Sad, 1989; 341-348M63
Huylebrouck, Dirk; Ognjanović, Zoran ; Radović, LjijanaLeibniz, a Sorb1-Sep-2017Mathematical Intelligencer; 39(3); 53-55M23
Šikić, Zvonimir; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, ThomasLogic and Applications - LAP Meeting28-Oct-2020Logic, Language, and Security; 12300; 98-100
Lehnherr, David; Ognjanović, Zoran ; Studer, ThomasA Logic of Interactive ProofsSep-202110th 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-90M34
Lehnherr, David; Ognjanović, Zoran ; Studer, ThomasA Logic of Interactive Proofs2022Logical Foundations of Computer Science; International Symposium on Logical Foundations of Computer Science, LFCS 2022; 13137; 143-155M33
Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran A logic with approximate conditional probabilities that can model default reasoning1-Sep-2008International Journal of Approximate Reasoning; 49(1); 52-66M22
Ikodinović, Nebojša; Ognjanović, Zoran A logic with coherent conditional probabilities1-Jan-2005Lecture 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-736M22
Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran A logic with conditional probabilities1-Jan-2004Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); European Workshop on Logics in Artificial Intelligence, JELIA 2004; 3229; 226-238M22
Ognjanović, Zoran ; Ikodinović, NebojšaA logic with higher order conditional probabilities1-Jan-2007Publications de l'Institut Mathematique; 96; 141-154M24
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran A logic with upper and lower probability operators1-Jan-2015ISIPTA 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-276M33
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Logical formalization of Bayesian concepts of confirmation2020Book of Abstracts : Logis and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 9-11M34
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Logical Framework for Proving the Correctness of the Chord Protocol20187th international conference Logic and Applications LAP 2018, Dubrovnik, Croatia, September 24-28, 2018; 29-31M34
Doder, Dragan; Grant, John; Ognjanović, Zoran Logics for probabilistic spatio-temporal reasoning2014Logic and Applications 2014, Dubrovnik, 22-26. 9, 2014; 3-4M34
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Logics for reasoning about degrees of confirmation31-May-2021Journal of Logic and Computation; 31(8); 2189-2217~M21
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Logics for Reasoning about Knowledge and Conditional ProbabilitySep-202110th 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; 19-21M34
Ilić-Stepić, Angelina ; Ognjanović, Zoran Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers1-Jan-2015Studia Logica; 1; 145-174M22