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 261 (Search time: 0.003 seconds).

Author(s)TitleIssue DateAppears inRank
1Ilić Stepić, Angelina ; Knežević, Mateja; Ognjanović, Zoran Intuitionistic propositional probability logic29-Aug-2022Mathematical Logic QuarterlyM23
2Doder, 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
3Marinković, Bojan ; Šegan-Radonjić, Marija ; Novaković, Maja ; Ognjanović, Zoran Digital Documentation Management of Cultural Heritage2022Handbook of Cultural Heritage Analysis; 2133-2155M14
4Lehnherr, 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
5Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, TamaraFederating digital contact tracing using structured overlay networks2022Computer Science and Information Systems~M23
6Dautović, Š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
7Ilić 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
8Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, AleksandarA Probabilistic Temporal Epistemic Logic: Strong Completeness2022Logic Journal of the IGPL; jzac072~M21a
9Lehnherr, David; Ognjanović, Zoran ; Studer, ThomasA logic of interactive proofs2022Journal of Logic and Computation; exac071~M21
10Dautović, Š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
11Ghilezan, 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
12Lehnherr, 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
13Ilić 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
14Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Logics for reasoning about degrees of confirmation31-May-2021Journal of Logic and Computation; 31(8); 2189-2217~M21
15Stojanović, Tatjana; Ikodinović, Nebojša; Davidović, Tatjana ; Ognjanović, Zoran Automated non-monotonic reasoning in System P2021Annals of Mathematics and Artificial Intelligence; 89; 471-509~M22
16Kern-Isberner, Gabriele; Ognjanović, Zoran Special issue from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019)2021International Journal of Approximate ReasoningM28b
17Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran An Epistemic Probabilistic Logic with Conditional Probabilities2021European Conference on Logics in Artificial Intelligence, JELIA 2021: Logics in Artificial Intelligence; 279-293M33
18Šikić, Zvonimir; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, ThomasLogic and Applications - LAP Meeting28-Oct-2020Logic, Language, and Security; 12300; 98-100
19Ognjanović, Zoran An Introduction To Logics With Probability OperatorsSep-2020Book of Abstracts of the 6th International conference Contemporary problems of mathematics, mechanics and informatics, CPMMI 2020; 6th International conference Contemporary problems of mathematics, mechanics and informatics, CPMMI 2020, Novi Pazar, 21–22 September 2020; 25-25M34
20Ikodinović, Nebojša; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag Completeness theorems for σ–additive probabilistic semantics1-Apr-2020Annals of Pure and Applied Logic; 171(4); 102755M21

Projects



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