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 40 to 59 of 268 < previous   next >
Author(s)TitleIssue DateAppears inRank
Stojanović, Tatjana; Davidović, Tatjana ; Ognjanović, Zoran Bee colony optimization for the satisfiability problem in probabilistic logic1-Jun-2015Applied Soft Computing Journal; 31; 339-347M21
Ognjanović, Zoran ; Doder, Dragan; Marković, Zoran A branching time logic with two types of probability operators19-Oct-2011Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 5th International Conference on Scalable Uncertainty Management, SUM 2011; Dayton, OH; United States; 10 October 2011 through 13 October 2011; 6929 LNAI; 219-232M33
Knežević, Milica ; Marinković, Bojan ; Ognjanović, Zoran ; Čukić, Ivan; Bulatović, NatašaCENDARI (Collaborative EuropeaN Digital Archive Infrastructure)20138th SEEDI Conference: Digitization of cultural and scientific heritage; 24-25M30
Knežević, Milica ; Marinković, Bojan ; Čukić, Ivan; Bulatović, Nataša; Ognjanović, Zoran CENDARI, a view from the technical side2014The Ninth SEEDI Conference: Digitization of cultural and scientific heritage Belgrade, Serbia, 15-16 May 2014.; 15-15M34
Ognjanović, Zoran Completeness theorem for a first order linear-time logic2001Publications de l'Institut Mathematique; 69(83); 1-7M24
Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag Completeness theorem for a logic with imprecise and conditional probabilities1-Jan-2005Publications de l'Institut Mathematique; 78(92); 35-49M24
Đordević, Radosav; Rašković, Miodrag ; Ognjanović, Zoran Completeness theorem for propositional probabilistic models whose measures have only finite ranges1-Jan-2004Archive for Mathematical Logic; 43; 557-563M22
Ikodinović, Nebojša; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag Completeness theorems for σ–additive probabilistic semantics1-Apr-2020Annals of Pure and Applied Logic; 171(4); 102755M21
Ilić Stepić, Angelina ; Ognjanović, Zoran Complex -valued probability logic2012Druga nacionalna konferencija: Verovatnosne logike i njihove primene; 31-31M60
Ilić-Stepić, Angelina ; Ognjanović, Zoran Complex valued probability logics1-Jan-2014Publications de l'Institut Mathematique; 95(109); 73-86M23
Ognjanović, Zoran ; Jocković, MiroslavConcept of the language for knowledge representation in the flexible manufacturing cell control expert system1993The XX Conference of operational research SYM-OP-IS '93, 5-10. 10. 1993, Beograd; 51-53M63
Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, NebojšaConditional p-adic probability logic1-Jan-2014International Journal of Approximate Reasoning; 55(9); 1843-1865M21
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, NebojšaConditional p-adic probability logic2012ECAI-2012 Workshop on Weighted logics for Artificial Intelligence WL4AI, Montpellier, France, August 28, 2012.; 17-24M33
Marinković, Bojan ; Ognjanović, Zoran ; Glavan, PaolaCorrectness and strong completeness for logic of time and knowledge20186th World Congress and School on Universal Logic, UNILOG'2018, Vichy, France, June 16-26, 2018; 451-452M34
Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Umek, AntonCorrectness of the Chord Protocol20-Oct-2016Proceedings - 2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016; 2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016; Beijing; China; 20 October 2016 through 21 October 2016; 547-552M33
Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, AntonCorrectness of the chord protocol1-Jan-2020Computer Science and Information Systems; 17(1); 141-160M23
Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, DejanCultural heritage digitization in Serbia: Standards, policies, and case studies1-Jan-2019Sustainability (Switzerland); 11(14); 3788M22
Knežević, Milica ; Mitić, Nenad; Ognjanović, Zoran ; Milutinović, VeljkoDatamining in WSNs Based on Mobile Agents2012MIPRO 2012 – 35th International Convention on Information and Communication Technology, Electronics and MicroelectronicsM30
Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran Decidability of a conditional-probability logic with non-standard valued probabilities200611th Workshop on nonmonotonic reasoning NMR 11, 30 May to 1 June 2006, Lake District area, UK, 201--207, 2006; 201-207M33
Doder, Dragan; Savić, Nenad; Ognjanović, Zoran A decidable multi-agent logic with iterations of upper and lower probability operators1-Jan-2018Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018; Budapest; Hungary; 14 May 2018 through 18 May 2018; 10833 LNCS; 170-185M33