Browsing by Author Ognjanović, Zoran
Showing results 1 to 20 of 268
next >
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | A Conditional Probability Logic | 2003 | Workshop on Computational Intelligence and Information Technologies, Faculty of Electronic Engineering Niš and Dept. of Comp. Science University of Dortmund Germany, Srbija i Crna Gora, Niš, 13. X 2003.; 13-16 | M33 |
Jocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran | A contribution to the organization of an expert system for process control of FMC | 1990 | Robotics and Computer-Integrated Manufacturing; 7(3-4); 297-302 | M51 |
Marinković, Bojan ; Ognjanović, Zoran ; Butigan Vučaj, Tamara | A Distributed Implementation of a Catalog of Digitized Cultural Collections | 2012 | Review of the NCD; The Sixth International SEEDI Conference, Zagreb, Croatia, 18-20th May 2011; 21; 19-24 | M33 |
Rašković, Miodrag ; Ognjanović, Zoran | A first order probability logic, LPQ | 1999 | Publications de l'Institut Mathematique; 65(79); 1-7 | M24 |
Ognjanović, Zoran ; Midić, Uroš; Kratica, Jozef | A genetic algorithm for PSAT | 2003 | XXX Simpozijum o operacionim istraživanjima SYMOPIS 2003, Herceg Novi, 30. 9. - 3. 10. 2003.; 303-306 | M63 |
Rašković, Miodrag ; Ognjanović, Zoran | A logic for reasoning about Probability | 1995 | IX Conference on Applied Mathematics, Budva 1994.; 365-369 | M63 |
Ognjanović, Zoran | A logic for temporal and probabilistic reasoning | 1998 | Workshop on Probabilistic Logic and Randomised Computation, ESSLLI '98, Saarbruecken, Germany; 1-10 | M33 |
Ognjanović, Zoran ; Rašković, Miodrag | A logic with higher order probabilities | 1996 | Publications de l'Institut Mathematique; 60(74); 1-4 | M24 |
Rašković, Miodrag ; Ognjanović, Zoran | A logic with higher order probabilities | 1996 | X Conference on Applied Mathematics, Budva 1995.; 255-257 | M63 |
Ognjanović, Zoran ; Ikodinović, Nebojša; Marković, Zoran | A logic with Kolmogorov style conditional probabilities | 2005 | 5th Panhellenic logic symposium, Athens, Greece, July 25-28, 2005; 111-116 | M33 |
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran | A logic with upper and lower probability operators | 2015 | 4th international conference Logic and Applications LAP 2015, Dubrovnik, Croatia, September 21 - 25, 2015, 25-26, 2015; 53-54 | M34 |
Bojanić, Slobodan; Mihaljević, Miodrag J. ; Ognjanović, Zoran | A new program for cryptographic authetification control of data | 2000 | XLIV Conference of electronics, telecommunications, automation and nuclear engineering ETRAN, Beograd 2000; 72-74 | M63 |
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša | A p-adic probability logic | 2011 | Verovatnosne logike i njihove primene; 29-30. septembar 2011, Matematički institut SANU, Beograd; 11-12 | M60 |
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša; Perović, Aleksandar | A p-adic probability logic | 2015 | International conference on p-adic mathematical physics and its applications; 07-12.09.2015, Belgrade, Serbia; 28-28 | M30 |
Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | A Probabilistic Approach to Default Reasoning | 2004 | 10th International workshop on Non-monotonic reasoning NMR 2004, Whistler, BC, Canada, June 6--8, 2004; 335-341 | M33 |
Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | A probabilistic logic based on propositional intuitionistic logic | 2002 | 37th International scientific conference on information, communication and energy systems and technologies, ISECST 2002, 1-4 October 2002, Niš, Jugoslavia; 784-787 | M33 |
Doder, Dragan; Ognjanović, Zoran | A probabilistic temporal logic with countably additive semantics | 2017 | 6th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 10-10 | M34 |
Ilić Stepić, Angelina ; Ognjanović, Zoran | A Probability Logic for Reasoning About Quantum Observations | 2017 | 6th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 21-22 | M34 |
Ognjanović, Zoran | A Proof Procedure for Modal Logic S4 | 1991 | XIII International Conference "Information Techology Interface" ITI-1991, Cavtat, 10-13. VI 1991; 10-13 | M33 |
Ognjanović, Zoran ; Butigan-Vučaj, Tamara | A proposal for the national standard for describing digitizes heritage | 2006 | 10th International conference on electronic publishing ELPUB '06, Bansko, Bulgaria, june 14-16 2006; 387-388 | M30 |