Showing results 1 to 20 of 46
next >
| Author(s) | Title | Issue Date | Appears in | Rank |
| Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | A Conditional Probability Logic | 2003 | Workshop on Computational Intelligence and Information Technologies, Faculty of Electronic Engineering Niš and Dept. of Comp. Science University of Dortmund Germany, Srbija i Crna Gora, Niš, 13. X 2003.; 13-16 | M33 |
| Ognjanović, Zoran ; Ikodinović, Nebojša; Marković, Zoran | A logic with Kolmogorov style conditional probabilities | 2005 | 5th Panhellenic logic symposium, Athens, Greece, July 25-28, 2005; 111-116 | M33 |
| Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | A Probabilistic Approach to Default Reasoning | 2004 | 10th International workshop on Non-monotonic reasoning NMR 2004, Whistler, BC, Canada, June 6--8, 2004; 335-341 | M33 |
| Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | A probabilistic logic based on propositional intuitionistic logic | 2002 | 37th International scientific conference on information, communication and energy systems and technologies, ISECST 2002, 1-4 October 2002, Niš, Jugoslavia; 784-787 | M33 |
| Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | An intuitionistic logic with probabilistic operators | 2003 | Publications de l'Institut Mathematique; 73(87); 31-38 | M24 |
| Doder, Dragan; Ognjanović, Zoran ; Marković, Zoran | An axiomatization of a first-order branching time temporal logic | 26-Aug-2010 | Journal of Universal Computer Science; 16(11); 1439-1451 | M23 |
| Ognjanović, Zoran ; Doder, Dragan; Marković, Zoran | A branching time logic with two types of probability operators | 19-Oct-2011 | Lecture 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-232 | M33 |
| Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag | Completeness theorem for a logic with imprecise and conditional probabilities | 1-Jan-2005 | Publications de l'Institut Mathematique; 78(92); 35-49 | M24 |
| Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | Decidability of a conditional-probability logic with non-standard valued probabilities | 2006 | 11th Workshop on nonmonotonic reasoning NMR 11, 30 May to 1 June 2006, Lake District area, UK, 201--207, 2006; 201-207 | M33 |
| Marković, Zoran ; Mihaljević, Miodrag J. ; Marković, M.; Ognjanović, Zoran ; Perišić, Z.; Marinković, Bojan ; Sobajić, O. | Elaborat o uspostavi i podršci za sertikaciju sistema za upravljanje bezbednošću informacija u Sektoru IT bezbednost, Direkcije za IT, Telekoma Srbija | 2007 | | M80 |
| Glišović, Nataša; Đurić, Vojislav; Knežević, Milica ; Maksimović, Petar; Marković, Zoran ; Ognjanović, Zoran ; Perić-Popadić, Aleksandra; Rašković, Miodrag ; Rašković, Sanvila; Čukić, Ivan | Elektronski zdravstveni karton pacijenata Klinike za alergologiju i imunologiju Kliničkog centra Srbije | 2011 | | M85 |
| Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | A first-order probabilistic logic with approximate conditional probabilities | 1-Jan-2014 | Logic Journal of the IGPL; 22(4); 539-564 | M21 |
| Ikodinović, Nebojša; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | First-order probabilistic logics and their applications | 2015 | Logic in computer science; 18(26); 37-78 | M14 |
| Marković, Zoran ; Janjić, Aleksandar; Stanković, Miomir; Velimirović, Lazar | Fuzzy Influence Diagrams in Power Systems Diagnostics | 2014 | 4th International Conference on Information Society and Technology ICIST 2014; 174-179 | M33 |
| 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đe | History of Mathematical Logic in Serbia | 2013 | Logic in Central and Eastern Europe History, Science, and Discourse; 470-495 | M14 |
| Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | How to restore compactness into probabilistic logics? | 28-Nov-2008 | Lecture 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-348 | M23 |
| Mihaljević, Miodrag J. ; Marković, Zoran ; Urošević, Dragan ; Ognjanović, Zoran | Kolekcija tehničkih rešenja sa naprednim kriptografskim mehanizmima za servise zaštite podataka | 2001 | | M85 |
| Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | A logic with approximate conditional probabilities that can model default reasoning | 1-Sep-2008 | International Journal of Approximate Reasoning; 49(1); 52-66 | M22 |
| Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | A logic with conditional probabilities | 1-Jan-2004 | Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); European Workshop on Logics in Artificial Intelligence, JELIA 2004; 3229; 226-238 | M22 |
| Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | Logics with generalized measure operators | 13-May-2013 | Journal of Multiple-Valued Logic and Soft Computing; 20(5-6); 527-555 | M21a |
