Browsing by Author Ognjanović, Zoran


Or, select a letter below to browse by last name
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 120 to 139 of 268 < previous   next >
Author(s)TitleIssue DateAppears inRank
Huylebrouck, Dirk; Ognjanović, Zoran ; Radović, LjijanaLeibniz, a Sorb1-Sep-2017Mathematical Intelligencer; 39(3); 53-55M23
Šikić, Zvonimir; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, ThomasLogic and Applications - LAP Meeting28-Oct-2020Logic, Language, and Security; 12300; 98-100
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarThe logic ILP for intuitionistic reasoning about probability202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 25-26M34
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarThe Logic ILP for Intuitionistic Reasoning About Probability2024Studia Logica; 112; 987-1017~M21
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
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
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
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
Ilić Stepic , Angelina ; Ognjanović, Zoran Logics to formalise p-adic valued probability and their applications4-May-2018International Journal of Parallel, Emergent and Distributed Systems; 33(3); 257-275M52
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
Showing results 120 to 139 of 268 < previous   next >