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 1299 to 1318 of 2767 < previous   next >
Author(s)TitleIssue DateAppears inRank
Logic in computer science200912(20)M28b
Lehnherr, David; Ognjanović, Zoran ; Studer, ThomasA Logic of Interactive Proofs2022Logical Foundations of Computer Science; International Symposium on Logical Foundations of Computer Science, LFCS 2022; 13137; 143-155M33
Lehnherr, David; Ognjanović, Zoran ; Studer, ThomasA Logic of Interactive ProofsSep-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; 89-90M34
Lehnherr, David; Ognjanović, Zoran ; Studer, ThomasA logic of interactive proofs2022Journal of Logic and Computation; 32(8); 1645-1658~M21
Jevtić, Filip ; Vujošević, SlobodanLogic of the ontological argument2022Belgrade Philosophical Annual; 35; 111-114M24
Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran A logic with approximate conditional probabilities that can model default reasoning1-Sep-2008International Journal of Approximate Reasoning; 49(1); 52-66M22
Ikodinović, Nebojša; Ognjanović, Zoran A logic with coherent conditional probabilities1-Jan-2005Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005; Barcelona; Spain; 6 July 2005 through 8 July 2005; 3571; 726-736M22
Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran A logic with conditional probabilities1-Jan-2004Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); European Workshop on Logics in Artificial Intelligence, JELIA 2004; 3229; 226-238M22
Doder, Dragan; Marinković, Bojan ; Maksimović, Petar; Perović, AleksandarA logic with conditional probability operators14-Oct-2010Publications de l'Institut Mathematique; 87(101); 85-96M24
Ognjanović, Zoran ; Ikodinović, NebojšaA logic with higher order conditional probabilities1-Jan-2007Publications de l'Institut Mathematique; 96; 141-154M24
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran A logic with upper and lower probability operators1-Jan-2015ISIPTA 2015 - Proceedings of the 9th International Symposium on Imprecise Probability: Theories and Applications; 9th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2015; Pescara; Italy; 20 July 2015 through 24 July 2015; 267-276M33
Došen, Kosta Logical constants as punctuation marks1-Jan-1989Notre Dame Journal of Formal Logic; 30(3); 362-380
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Logical formalization of Bayesian concepts of confirmation2020Book of Abstracts : Logis and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 9-11M34
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Logical Framework for Proving the Correctness of the Chord Protocol20187th international conference Logic and Applications LAP 2018, Dubrovnik, Croatia, September 24-28, 2018; 29-31M34
Doder, Dragan; Grant, John; Ognjanović, Zoran Logics for probabilistic spatio-temporal reasoning2014Logic and Applications 2014, Dubrovnik, 22-26. 9, 2014; 3-4M34
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Logics for reasoning about degrees of confirmation31-May-2021Journal of Logic and Computation; 31(8); 2189-2217~M21
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Logics for Reasoning about Knowledge and Conditional ProbabilitySep-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; 19-21M34
Ilić-Stepić, Angelina ; Ognjanović, Zoran Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers1-Jan-2015Studia Logica; 1; 145-174M22
Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran Logics with generalized measure operators13-May-2013Journal of Multiple-Valued Logic and Soft Computing; 20(5-6); 527-555M21a
Ognjanović, Zoran ; Ilić Stepić, Angelina Logics with Probability Operators2020Probabilistic Extensions of Various Logical Systems; 1-35M13