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 96 to 115 of 269 < previous   next >
Author(s)TitleIssue DateAppears inRank
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
Ognjanović, Zoran An Introduction To Logics With Probability OperatorsSep-2020Book of Abstracts of the 6th International conference Contemporary problems of mathematics, mechanics and informatics, CPMMI 2020; 6th International conference Contemporary problems of mathematics, mechanics and informatics, CPMMI 2020, Novi Pazar, 21–22 September 2020; 25-25M34
Ilić Stepić, Angelina ; Knežević, Mateja; Ognjanović, Zoran Intuitionistic propositional probability logic29-Aug-2022Mathematical Logic QuarterlyM23
Jocković, Miroslav; Ognjanović, Zoran Jedno rešenja sistema zasnovanih na znanju za upravljanje fleksibilnom proizvodnjom ćelijom1994Veštačka inteligencija; 181-196M45
Ognjanović, Zoran ; Savić, Nenad; Studer, ThomasJustification logic with approximate conditional probabilities1-Jan-2017Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 6th International Workshop Logic, Rationality, and Interaction, LORI 2017, Sapporo, Japan, September 11–14, 2017, A. Baltag, J. Seligman, T. Yamada (Eds.); 10445 LNCS; 681-686M33
Showing results 96 to 115 of 269 < previous   next >