Full Name
Ognjanović, Zoran
Scopus Author ID
Loading... 2 0 20 0 false
Loading... 3 0 20 0 false
Country
Serbia


Results 1-20 of 269 (Search time: 0.004 seconds).

Author(s)TitleIssue DateAppears inRank
1Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, AleksandarA probabilistic temporal epistemic logic: Strong completeness2024Logic Journal of the IGPL; 32(1); 94-138~M21a
2Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Reasoning about knowledge and conditional probability1-Dec-2023International Journal of Approximate Reasoning; 163; 109037~M22
3Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarA Probabilistic Temporal Epistemic Logic, Part II: Decidability2023Logic Journal Of The Igpl~M21a
4Doder, Dragan; Ognjanović, Zoran Probabilistic temporal logic with countably additive semantics2023Annals of Pure and Applied Logic~M21
5Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarProbability Logics for Reasoning About Quantum Observations2023Logica Universalis; 17; 175-219~M21
6Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarThe Logic ILP for Intuitionistic Reasoning About Probability2023Studia Logica~M21
7Ilić Stepić, Angelina ; Knežević, Mateja; Ognjanović, Zoran Intuitionistic propositional probability logic29-Aug-2022Mathematical Logic QuarterlyM23
8Doder, Dragan; Ognjanović, Zoran ; Savić, Nenad; Studer, ThomasIncomplete Information and Justifications31-Mar-2022Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Tbilisi Symposium on Logic, Language, and Computation TbiLLC 2019: Language, Logic, and Computation; 13206; 258-278M33
9Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, TamaraFederating digital contact tracing using structured overlay networks2022Computer Science and Information Systems~M23
10Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, AleksandarA Probabilistic Temporal Epistemic Logic: Strong Completeness2022Logic Journal of the IGPL; jzac072~M21a
11Dautović, Š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
12Ilić 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
13Lehnherr, 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
14Lehnherr, David; Ognjanović, Zoran ; Studer, ThomasA logic of interactive proofs2022Journal of Logic and Computation; 32(8); 1645-1658~M21
15Marinković, Bojan ; Šegan-Radonjić, Marija ; Novaković, Maja ; Ognjanović, Zoran Digital Documentation Management of Cultural Heritage2022Handbook of Cultural Heritage Analysis; 2133-2155M14
16Ognjanović, Zoran ; Perović, Aleksandar; Ilić Stepić, Angelina Tableau For the Logic ILP2022Publications de l'Institut Mathématique; 112(126); 1-11M24
17Dautović, Š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
18Lehnherr, 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
19Ilić 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
20Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, TamaraFederating Digital Contact Tracing using Structured Overlay NetworksSep-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; 28-30M34

Projects



Results 1-3 of 3 (Search time: 0.0 seconds).