Showing results 192 to 211 of 268
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
Doder, Dragan; Grant, John; Ognjanović, Zoran | Probabilistic logics for objects located in space and time | 1-Jun-2013 | Journal of Logic and Computation; 23(3); 487-515 | M22 |
Doder, Dragan; Ognjanović, Zoran | Probabilistic Logics with Independence and Confirmation | 1-Oct-2017 | Studia Logica; 105(5); 943-969 | M22 |
Doder, Dragan; Ognjanović, Zoran | Probabilistic logics with independence and probabilistic support | 2015 | progic 2015: The Seventh Workshop on Combining Probability and Logic, 22-24 April 2015, University of Kent, Canterbury; 25-26 | M34 |
Ikodinović, Nebojša; Ognjanović, Zoran | Probabilistic Modeling of Default Reasoning | 2020 | Probabilistic Extensions of Various Logical Systems; 109-142 | M13 |
Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, Nenad | Probabilistic reasoning about simply typed lambda terms | 1-Jan-2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Symposium on Logical Foundations of Computer Science, LFCS 2018; FL; United States; 8 January 2018 through 11 January 2018; 10703 LNCS; 170-189 | M33 |
Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Probabilistic reasoning in type systems | 2016 | 5th international conference Logic and Applications LAP 2016, Dubrovnik, Croatia, September 19 - 23, 2016; 24-24 | M34 |
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | A Probabilistic Temporal Epistemic Logic | Sep-2021 | 10th 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; 33 | M34 |
Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, Aleksandar | A Probabilistic Temporal Epistemic Logic, Part II: Decidability | 2024 | Logic Journal Of The Igpl; 35(5); 827-879 | ~M21a |
Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, Aleksandar | A probabilistic temporal epistemic logic: Strong completeness | 2024 | Logic Journal of the IGPL; 32(1); 94-138 | ~M21 |
Doder, Dragan; Marković, Zoran ; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | A probabilistic temporal Logic that can model reasoning about evidence | 26-Apr-2010 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 6th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2010; Sofia; Bulgaria; 15 February 2010 through 19 February 2010; 5956 LNCS; 9-24 | M23 |
Doder, Dragan; Ognjanović, Zoran | Probabilistic temporal logic with countably additive semantics | 2024 | Annals of Pure and Applied Logic; 175(9); 103389 | ~M21 |
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Probabilistic-Temporal Logic with Actions | 2022 | 11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022, Dubrovnik, Croatia; Book of Abstracts; 19-20 | M34 |
Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | Probability logics | 2009 | Logic in computer science; 12(20); 35-111 | M14 |
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | Probability Logics for Reasoning About Quantum Observations | 2023 | Logica Universalis; 17; 175-219 | ~M21 |
Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | Probability Logics. Probability-Based Formalization of Uncertain Reasoning | 2016 | | M11 |
Stokić, Dragan; Vukobratović, Miomir; Leković, Đorđe; Jocković, Miroslav; Hristić, Dragan; Timčenko, Olga; Đurić, Nebojša; Rodić, Aleksandar; Ognjanović, Zoran | Program package for simulation and development of flexible manufacturing cells | 1988 | The fourth Yugoslav-Soviet symposium on applied robotics and flexible; 137-145 | M33 |
Ognjanović, Zoran ; Arsić, Aleksandra ; Todorović, Milan ; Vujošević, Sandra; Novaković, Maja ; Marinković, Bojan ; Knežević, Milica ; Daković, Nevena | Programski sistem za digitalizovano izdanje časopisa “Filmske sveske” (1968-1986) | 2017 | | M82 |
Jelisavčić, Vladisav ; Marinković, Bojan ; Milutinović, Veljko; Mihajlović, Aleksandar; Ognjanović, Zoran ; Tomović, Siniša ; Todorović, Milan | Progress and Innovative Ideas for the Serbia-Forum Cultural Heritage Digitization Project | 2013 | XII Konferencija Nove tehnologije i standardi: Digitalizacija nacionalne baštine, NCD 2013, Srbija; 15-15 | M60 |
Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marković, Mirko | Progress report in Serbia and Montenegro | 2004 | Coordinating digitisation in Europe; 226-230 | |
Vujošević, Sandra; Knežević, Milica ; Ognjanović, Zoran ; Šegan-Radonjić, Marija | PROJECT 'DIGITARIJUM': CREATION OF TEACHING MATERIAL FOR DIGITAL HERITAGE | 2015 | 4th Annual Conference on Humanities and Their Methods in the Digital Ecosystem (AIUCD 2015) | M30 |