Showing results 17 to 36 of 268
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
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 |
Jocković, Miroslav; Ognjanović, Zoran | A solution of an inference engine in knowladge based systems | 1993 | XXXVII Conference of electronics, telecommunications, automation and nuklear engineerin ETAN, Beograd 1993.; XIII; 9-14 | M63 |
Mijajlović, Žarko; Ognjanović, Zoran | A survey of certain digitization projects in Serbia | 2004 | Review of the National Center for Digitization; Preservation of Cultural Heritage, 16 – 17 September 2003, Borovetz, Bulgaria; 4; 52-61 | M33 |
Pajkić, Željko; Jovanović, Dejan ; Ognjanović, Zoran | A Z39.50 gateway implementation | 2005 | Review of the National Center for Digitization; Third International Conference New Technologies and Standards: Digitization of National Heritage 2004, June, 3-5, 2004, Belgrade; 6; 90-94 | M33 |
Knežević, Milica ; Mitić, Nenad; Ognjanović, Zoran ; Milutinović, Veljko | Agent based data mining in wireless sensor networks: a survey | 2012 | ICIST 2012 | M30 |
Knežević, Milica ; Mitić, Nenad; Ognjanović, Zoran ; Milutinović, Veljko | Agent Based Data Mining in Wireless Sensor Networks: A Survey | 2012 | E-SOCIETY Research and applications; 3(1); 11-19 | M50 |
Jocković, Miroslav; Ognjanović, Zoran | An approach in modeling knowledge-based system for control of production processes | 1989 | Fifth international conference on artificial intelligence and information-control systems of robots AIICSR '89, Štrbske Pleso, Czechoslovakia, 6.-10.11.1989.; 307-314 | M33 |
Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | An automated theorem prover for the probability logic LPP | 2001 | A tribute to S. B. Prešić - papers celebrating his 65th birthday, Beograd 1998.; 79-83 | M63 |
Stojanović, Tatjana; Kaplarević-Mališić, Ana; Ognjanović, Zoran | An extension of the probability logic $LPP_2$ | 2010 | Kragujevac Journal of Mathematics; 33; 45-62 | M52 |
Ognjanović, Zoran | An Introduction to Logics with Probability Operators | 2016 | The Swiss Society for Logic and Philosophy of Science SSLPS Annual Meeting, Bern, Switzerland, Friday, October 28, 2016 | M32 |
Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | An intuitionistic logic with probabilistic operators | 2003 | Publications de l'Institut Mathematique; 73(87); 31-38 | M24 |
Mihajlović, Aleksandar; Jelisavčić, Vladisav ; Marinković, Bojan ; Ognjanović, Zoran ; Milutinović, Veljko | An Overview of and Innovative Perspectives for the Serbia-Forum Cultural Heritage Digitization Project | 2014 | Review of the NCD; The Eight International SEEDI Conference, Zagreb, 15--16. 5. 2013; 25; 17-21 | M33 |
Marinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran ; Glavan, Paola; Liquori, Luigi; Maksimović, Petar | Analyzing the exhaustiveness of the Synapse protocol | 7-Sep-2015 | Peer-to-Peer Networking and Applications; 8(5); 793-806 | M22 |
Ognjanović, Zoran ; Majstorović, Uroš | And-Parallel Prolog for PC-based lans | 1995 | IX Conference on Applied Mathematics, Budva 1994. Institute of Mathematics, PMF Novi Sad, Novi Sad; 337-341 | M63 |
Perović, Aleksandar; Doder, Dragan; Ognjanović, Zoran | Applications of probabilistic and related logics to decision support in medicine | 1-Dec-2013 | Computational Medicine in Data Mining and Modeling; 35-77 | M14 |
Jocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran | Approach to the modeling of the highest control level of flexible manufacturing cell | 1-Apr-1990 | Robotica; 8(2); 125-130 | M23 |
Stojanović, Tatjana; Ikodinović, Nebojša; Davidović, Tatjana ; Ognjanović, Zoran | Automated non-monotonic reasoning in System P | 2021 | Annals of Mathematics and Artificial Intelligence; 89; 471-509 | ~M22 |