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 87 to 106 of 255 < previous   next >
Author(s)TitleIssue DateAppears inRank
Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, TamaraFederating Digital Contact Tracing using Structured Overlay NetworksSep-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; 28-30M34
Knežević, Milica; Ognjanović, Zoran ; Perović, AleksandarFinitely Additive Probability Measures in Automated Medical Diagnostics1-Jan-2014International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014; 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems, IPMU 2014; Montpellier; France; 15 July 2014 through 19 July 2014; 443 CCIS; 10-19M33
Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Radojević, DraganFinitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm16-Apr-2011Fuzzy Sets and Systems; 169(1); 65-90M21a
Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran ; Studer, ThomasFirst steps towards probabilistic justification logic1-Jan-2015Logic Journal of the IGPL; 23(4); 662-687M21
Milošević, Miloš; Ognjanović, Zoran A first-order conditional probability logic1-Feb-2012Logic Journal of the IGPL; 20(1); 235-253M21a
Miloševič, Miloš; Ognjanović, Zoran A first-order conditional probability logic with iterations26-Jul-2013Publications de l'Institut Mathematique; 93(107); 19-27M23
Ognjanović, Zoran ; Perović, Aleksandar; Doder, DraganA first-order dynamic probability logic1-Aug-2013Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2013; Utrecht; Netherlands; 8 July 2013 through 10 July 2013; 7958 LNAI; 461-472M33
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran A first-order logic for reasoning about higher-order upper and lower probabilities1-Jan-2017Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017; Lugano; Switzerland; 10 July 2017 through 14 July 2017; 10369 LNAI; 491-500M33
Tomović, Siniša ; Ognjanović, Zoran ; Doder, DraganA First-order Logic for Reasoning about Knowledge and Probability2-Feb-2020ACM Transactions on Computational Logic; 21(2); 16:1-16:30M22
Tomović, Siniša ; Doder, Dragan; Ognjanović, Zoran First-Order Probabilistic Common Knowledge Logic2015Peta nacionalna konferencija Verovatnosne logike i njihove primene; 19-19M60
Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran A first-order probabilistic logic with approximate conditional probabilities1-Jan-2014Logic Journal of the IGPL; 22(4); 539-564M21
Ikodinović, Nebojša; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran First-order probabilistic logics and their applications2015Logic in computer science; 18(26); 37-78M14
Marinković, Bojan ; Ognjanović, Zoran ; Todorović, Milan ; Zeljić, Aleksandar; Glavan, PaolaFormal Description of the Chord Protocol using Isabelle/HOL Proof Assistant2013The first national conference “Information theory and complex systems”; 16-16M60
Ognjanović, Zoran ; Midić, Uroš; Kratica, Jozef A genetic algorithm for probabilistic SAT problem9-Dec-2004Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); 7th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2004; Zakopane; Poland; 7 June 2004 through 11 June 2004; 3070; 462-467M22
Ognjanović, Zoran ; Kratica, Jozef ; Milovanović, Miloš A genetic algorithm for satisfiability problem in a probabilistic logic: A first report1-Jan-2001Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 2001; 2143; 805-816M21
Ikodinović, Nebojša; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag Hierarchies of probabilistic logics1-Jan-2014International Journal of Approximate Reasoning; 55(9); 1830-1842M21
Ikodinović, Nebojša; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag Hierarchies of probability logics2012ECAI-2012 Workshop on Weighted logics for Artificial Intelligence WL4AI, Montpellier, France, August 28, 2012.; 9-15M33
Borisavljević, Mirjana; Ghilezan, Silvia ; Janičić, Predrag; Krapež, Aleksandar ; Kurilić, Miloš; Mijajlović, Žarko; Marković, Zoran ; Ognjanović, Zoran ; Pantović, Jovanka; Petrić, Zoran ; Stanković, Miomir S.; Stanković, Radomir ; Stojmenović, Ivan; Vukomanović, ĐorđeHistory of Mathematical Logic in Serbia2013Logic in Central and Eastern Europe History, Science, and Discourse; 470-495M14
Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran How to restore compactness into probabilistic logics?28-Nov-2008Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th European Conference on Logics in Artificial Intelligence, JELIA 2008; Dresden; Germany; 28 September 2008 through 1 October 2008; 5293 LNAI; 338-348M23
Ognjanović, Zoran ; Midić, Uroš; Mladenović, Nenad A hybrid genetic and variable neighborhood descent for probabilistic SAT problem1-Jan-2005Lecture Notes in Computer Science; Second International Worshop on Hybrid Metaheuristics, HM 2005; Barcelona; Spain; 29 August 2005 through 30 August 2005; 3636; 42-53M22