Browsing by Department Mathematical Institute of the Serbian Academy of Sciences and Arts
Showing results 2115 to 2134 of 2824
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
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 |
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 | |
Zorica, Dušan ; Žigić, Miodrag; Grahovac, Nenad | Problem of a body impacting against a rigid wall | 2014 | 2015 International Conference on Fractional Differentiation and its Applications (ICFDA14) | M30 |
Jočić, Dragan ; Štajner-Papuga, Ivana | Problem of distributivity between quasi-linear means and uni-nullnorms | 2022 | IEEE 20th Jubilee International Symposium on Intelligent Systems and Informatics (SISY 2022), September 15-17 2022 Subotica; Proceedings; 205-210 | M33 |
Fu, Xiaohong; Stević, Stevo | The problem of isometric extension in the unit sphere of the space s p(α) | 1-Feb-2011 | Nonlinear Analysis, Theory, Methods and Applications; 74(3); 733-738 | M21a |