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 92 to 111 of 269 < previous   next >
Author(s)TitleIssue DateAppears inRank
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-16M64
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
Doder, Dragan; Ognjanović, Zoran ; Savić, Nenad; Studer, ThomasIncomplete Information and Justifications31-Mar-2022Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Tbilisi Symposium on Logic, Language, and Computation TbiLLC 2019: Language, Logic, and Computation; 13206; 258-278M33
Šegan-Radonjić, Marija ; Vujošević, Sandra; Zdravković, Aleksandra; Knežević, Milica ; Jelisavčić, Vladisav ; Tomović, Siniša ; Todorović, Milan ; Marinković, Bojan ; Ognjanović, Zoran ; Milutinović, VeljkoInformaciono-komunikacione platforme za predstavljanje digitalizovane baštine u Matematičkom institutu SANU2014Usluga po meri korisnika 21. veka : Primena informaciono-komunikacionih tehnologija u bibliotekamaM60
Mijajlović, Žarko; Ognjanović, Zoran ; Pejović, AleksandarInternet presentations of mathematical works in Serbia2008Review of the NCD; The third SEEDI International Conference: Digitization of cultural and scientific heritage, September 13-15, 2007, Cetinje, Montenegro; 12; 43-48M33
Radojević, Dragan; Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag Interpolative Boolean logic25-Sep-2008Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008; Varna; Bulgaria; 4 September 2008 through 6 September 2008; 5253 LNAI; 209-219M23
Showing results 92 to 111 of 269 < previous   next >