Browsing by Department Mathematical Institute of the Serbian Academy of Sciences and Arts


Or, select a letter below to start browsing
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 2115 to 2134 of 2824 < previous   next >
Author(s)TitleIssue DateAppears inRank
Dautović, Šejla A Probabilistic Logic Between LPP1 and LPP21-Jan-2022Logica Universalis~M22
Doder, Dragan; Ognjanović, Zoran A probabilistic logic for reasoning about uncertain temporal information1-Jan-2015Uncertainty 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-257M33
Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran A probabilistic logic with polynomial weight formulas1-Jan-2008Lecture 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-252M23
Doder, Dragan; Grant, John; Ognjanović, Zoran Probabilistic logics for objects located in space and time1-Jun-2013Journal of Logic and Computation; 23(3); 487-515M22
Doder, Dragan; Ognjanović, Zoran Probabilistic logics with independence and probabilistic support2015progic 2015: The Seventh Workshop on Combining Probability and Logic, 22-24 April 2015, University of Kent, Canterbury; 25-26M34
Ikodinović, Nebojša; Ognjanović, Zoran Probabilistic Modeling of Default Reasoning2020Probabilistic Extensions of Various Logical Systems; 109-142M13
Kašterović, Simona; Ghilezan, Silvia Probabilistic Reasoning about Typed Combinatory Logic202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 29-31M34
Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadProbabilistic reasoning in type systems20165th international conference Logic and Applications LAP 2016, Dubrovnik, Croatia, September 19 - 23, 2016; 24-24M34
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarA Probabilistic Temporal Epistemic LogicSep-202110th 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; 33M34
Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, AleksandarA Probabilistic Temporal Epistemic Logic, Part II: Decidability2024Logic Journal Of The Igpl; 35(5); 827-879~M21a
Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, AleksandarA probabilistic temporal epistemic logic: Strong completeness2024Logic 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 evidence26-Apr-2010Lecture 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-24M23
Doder, Dragan; Ognjanović, Zoran Probabilistic temporal logic with countably additive semantics2024Annals of Pure and Applied Logic; 175(9); 103389~M21
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Probabilistic-Temporal Logic with Actions202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022, Dubrovnik, Croatia; Book of Abstracts; 19-20M34
Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran Probability logics2009Logic in computer science; 12(20); 35-111M14
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarProbability Logics for Reasoning About Quantum Observations2023Logica Universalis; 17; 175-219~M21
Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran Probability Logics. Probability-Based Formalization of Uncertain Reasoning2016M11
Zorica, Dušan ; Žigić, Miodrag; Grahovac, NenadProblem of a body impacting against a rigid wall20142015 International Conference on Fractional Differentiation and its Applications (ICFDA14)M30
Jočić, Dragan ; Štajner-Papuga, IvanaProblem of distributivity between quasi-linear means and uni-nullnorms2022IEEE 20th Jubilee International Symposium on Intelligent Systems and Informatics (SISY 2022), September 15-17 2022 Subotica; Proceedings; 205-210M33
Fu, Xiaohong; Stević, Stevo The problem of isometric extension in the unit sphere of the space s p(α)1-Feb-2011Nonlinear Analysis, Theory, Methods and Applications; 74(3); 733-738M21a