Browsing by Department Mathematical Institute of the Serbian Academy of Sciences and Arts
Showing results 2125 to 2144 of 2847
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
Ghilezan, Silvia ; Stefanović, Tamara | Privacy-preserving contact tracing | 2023 | Mathematics for Human Flourishing in the Time of COVID-19 and Post COVID-19 : Proceedings of the Workshop held at the Faculty of Mechanical Engineering, University of Niš, Niš, 21 of October 2020; 171-182 | |
Mihaljević, Miodrag J. | Privatnost u digitalnom dobu: Iluzija ili nacionalni izazov | 2017 | M66 | |
Doder, Dragan; Perović, Aleksandar; Ognjanović, Zoran | Probabilistic approach to nonmonotonic consequence relations | 14-Jul-2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2011; Belfast; United Kingdom; 29 June 2011 through 1 July 2011; 6717 LNAI; 459-471 | M33 |
Tomović, Siniša ; Ognjanović, Zoran ; Doder, Dragan | Probabilistic common knowledge among infinite number of agents | 1-Jan-2015 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015; Compiègne; France; 15 July 2015 through 17 July 2015; 9161; 496-505 | M33 |
Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | A probabilistic extension of intuitionistic logic | 1-Jan-2003 | Mathematical Logic Quarterly; 49(4); 415-424 | M22 |
Probabilistic Extensions of Various Logical Systems | 2020 | M28a | ||
Kokkinis, Ioannis; Ognjanović, Zoran ; Studer, Thomas | Probabilistic justification logic | 23-Jan-2020 | Journal of Logic and Computation; 30(1); 257-280 | M21 |
Dautović, Šejla | A Probabilistic Logic Between LPP1 and LPP2 | 1-Jan-2022 | Logica Universalis | ~M22 |
Doder, Dragan; Ognjanović, Zoran | A probabilistic logic for reasoning about uncertain temporal information | 1-Jan-2015 | Uncertainty in Artificial Intelligence - Proceedings of the 31st Conference, UAI 2015; 31st Conference on Uncertainty in Artificial Intelligence, UAI 2015; Amsterdam; Netherlands; 12 July 2015 through 16 July 2015; 248-257 | M33 |
Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | A probabilistic logic with polynomial weight formulas | 1-Jan-2008 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008; Pisa; Italy; 11 February 2008 through 15 February 2008; 4932 LNCS; 239-252 | M23 |
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 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 |
Kašterović, Simona; Ghilezan, Silvia | Probabilistic Reasoning about Typed Combinatory Logic | 2022 | 11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 29-31 | M34 |
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 | ~M21a |
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 |