Perovic Aleksandar M,Ognjanovic Zoran D,Stojanovic Tatjana P (2024) Logics for at most countable first-order structures, JOURNAL OF LOGIC AND COMPUTATION, vol. , br. , str. - (Article; Early Access) 

Doder Dragan J,Ognjanovic Zoran D (2024) Probabilistic temporal logic with countably additive semantics, ANNALS OF PURE AND APPLIED LOGIC, vol. 175, br. 9, str. - (Article) 

Ognjanovic Zoran D,Ilic-Stepic Angelina V,Perovic Aleksandar M (2024) A Probabilistic Temporal Epistemic Logic: Strong Completeness, LOGIC JOURNAL OF THE IGPL, vol. 32, br. 1, str. 94-138 (Article) 

Ilic-Stepic Angelina V,Ognjanovic Zoran D,Perovic Aleksandar M (2023) The Logic ILP for Intuitionistic Reasoning About Probability, STUDIA LOGICA, vol. , br. , str. - (Article; Early Access) 

Dautovic Sejla,Doder Dragan J,Ognjanovic Zoran D (2023) Reasoning about knowledge and conditional probability, INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, vol. 163, br. , str. - (Article) 

Ognjanovic Zoran D,Ilic-Stepic Angelina V,Perovic Aleksandar M (2023) A probabilistic temporal epistemic logic: Decidability, LOGIC JOURNAL OF THE IGPL, vol. , br. , str. - (Article; Early Access) 

Ilic-Stepic Angelina V,Ognjanovic Zoran D,Perovic Aleksandar M (2023) Probability Logics for Reasoning About Quantum Observations, LOGICA UNIVERSALIS, vol. 17, br. 2, str. 175-219 (Article) 

Ognjanovic Zoran D,Perovic Aleksandar M,Ilic-Stepic Angelina V (2022) Tableau for the Logic Ilp, PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, vol. 112, br. 126, str. 1-11 (Article) 

Ghilezan Silvia,Kasterovic Simona,Liquori Luigi,Marinkovic Bojan B,Ognjanovic Zoran D,Stefanovic Tamara (2022) Federating Digital Contact Tracing using Structured Overlay Networks, COMPUTER SCIENCE AND INFORMATION SYSTEMS, vol. 19, br. 3, str. 1261-1282 (Article) 

Lehnherr David,Ognjanovic Zoran D,Studer Thomas (2022) A logic of interactive proofs, JOURNAL OF LOGIC AND COMPUTATION, vol. 32, br. 8, str. 1645-1658 (Article) 

Ilic-Stepic Angelina V,Knezevic Mateja,Ognjanovic Zoran D (2022) Intuitionistic propositional probability logic, MATHEMATICAL LOGIC QUARTERLY, vol. 68, br. 4, str. 479-495 (Article) 

Doder Dragan J,Ognjanovic Zoran D,Savic Nenad,Studer Thomas (2022) Incomplete Information and Justifications, LANGUAGE, LOGIC, AND COMPUTATION, vol. 13206, br. , str. 258-278 (Proceedings Paper) 

Dautovic Sejla,Doder Dragan J,Ognjanovic Zoran D (2021) Logics for reasoning about degrees of confirmation, JOURNAL OF LOGIC AND COMPUTATION, vol. 31, br. 8, str. 2189-2217 (Article) 

Kern-Isberner Gabriele,Ognjanovic Zoran D (2021) Special issue from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019), INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, vol. 138, br. , str. 76-77 (Editorial Material) 

Stojanovic Tatjana P,Ikodinovic Nebojsa M,Davidovic Tatjana,Ognjanovic Zoran D (2021) Automated non-monotonic reasoning in System P, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol. 89, br. 5-6, str. 471-509 (Article) 

Ghilezan Silvia,Ivetic Jelena B,Kasterovic Simona,Ognjanovic Zoran D,Savic Nenad (2020) Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case, FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, FOIKS 2020, vol. 12012, br. , str. 122-139 (Proceedings Paper) 

Kokkinis Ioannis,Ognjanovic Zoran D,Studer Thomas (2020) Probabilistic justification logic, JOURNAL OF LOGIC AND COMPUTATION, vol. 30, br. 1, str. 257-280 (Article) 

Tomovic Sinisa,Ognjanovic Zoran D,Doder Dragan J (2020) A First-order Logic for Reasoning about Knowledge and Probability, ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, vol. 21, br. 2, str. - (Article) 

Doder Dragan J,Savic Nenad,Ognjanovic Zoran D (2020) Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities, JOURNAL OF LOGIC LANGUAGE AND INFORMATION, vol. 29, br. 1, str. 77-107 (Article) 

Marinkovic Bojan B,Ognjanovic Zoran D,Glavan Paola,Kos Anton,Umek Anton (2020) Correctness of the Chord Protocol, COMPUTER SCIENCE AND INFORMATION SYSTEMS, vol. 17, br. 1, str. 141-160 (Article) 

Ikodinovic Nebojsa M,Ognjanovic Zoran D,Perovic Aleksandar M,Raskovic Miodrag D (2020) Completeness theorems for sigma-additive probabilistic semantics, ANNALS OF PURE AND APPLIED LOGIC, vol. 171, br. 4, str. - (Article) 

Marinkovic Bojan B,Glavan Paola,Ognjanovic Zoran D,Studer Thomas (2019) A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol, JOURNAL OF LOGIC AND COMPUTATION, vol. 29, br. 5, str. 803-830 (Article) 

Ognjanovic Zoran D,Marinkovic Bojan B,Segan-Radonjic Marija,Maslikovic Dejan (2019) Cultural Heritage Digitization in Serbia: Standards, Policies, and Case Studies, SUSTAINABILITY, vol. 11, br. 14, str. - (Article) 

Marinkovic Bojan B,Glavan Paola,Ognjanovic Zoran D (2019) Proving properties of the Chord protocol using the ASM formalism, THEORETICAL COMPUTER SCIENCE, vol. 756, br. , str. 64-93 (Article) 

Savic Nenad,Doder Dragan J,Ognjanovic Zoran D (2017) A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities, SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2017, vol. 10369, br. , str. 491-500 (Proceedings Paper) 

Doder Dragan J,Ognjanovic Zoran D (2017) Probabilistic Logics with Independence and Confirmation, STUDIA LOGICA, vol. 105, br. 5, str. 943-969 (Article) 

Huylebrouck Dirk,Ognjanovic Zoran D,Radovic Ljiljana M (2017) Leibniz, a Sorb, MATHEMATICAL INTELLIGENCER, vol. 39, br. 3, str. 53-55 (Editorial Material) 

Savic Nenad,Doder Dragan J,Ognjanovic Zoran D (2017) Logics with lower and upper probability operators, INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, vol. 88, br. , str. 148-168 (Article) 

Marinkovic Bojan B,Ognjanovic Zoran D,Glavan Paola,Umek Anton (2016) Correctness of the Chord Protocol, 2016 INTERNATIONAL CONFERENCE ON IDENTIFICATION, INFORMATION AND KNOWLEDGE IN THE INTERNET OF THINGS (IIKI), vol. , br. , str. 547-552 (Proceedings Paper) 

Tomovic Sinisa,Mihaljevic Miodrag J,Perovic Aleksandar M,Ognjanovic Zoran D (2016) A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One, MATHEMATICAL PROBLEMS IN ENGINEERING, vol. , br. , str. - (Article) 

Perovic Aleksandar M,Doder Dragan J,Ognjanovic Zoran D,Raskovic Miodrag D (2016) On Evaluations of Propositional Formulas in Countable Structures, FILOMAT, vol. 30, br. 1, str. 1-13 (Article) 

Kokkinis Ioannis,Ognjanovic Zoran D,Studer Thomas (2016) Probabilistic Justification Logic, LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), vol. 9537, br. , str. 174-186 (Proceedings Paper) 

Doder Dragan J,Ognjanovic Zoran D (2015) A Probabilistic Logic for Reasoning about Uncertain Temporal Information, UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, vol. , br. , str. 248-257 (Proceedings Paper) 

Savic Nenad,Doder Dragan J,Ognjanovic Zoran D (2015) A Logic with Upper and Lower Probability Operators, PROCEEDINGS OF THE 9TH INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY: THEORIES AND APPLICATIONS (ISIPTA '15), vol. , br. , str. 267-276 (Proceedings Paper) 

Tomovic Sinisa,Ognjanovic Zoran D,Doder Dragan J (2015) Probabilistic Common Knowledge Among Infinite Number of Agents, SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2015, vol. 9161, br. , str. 496-505 (Proceedings Paper) 

Kokkinis Ioannis,Maksimovic Petar,Ognjanovic Zoran D,Studer Thomas (2015) First steps towards probabilistic justification logic, LOGIC JOURNAL OF THE IGPL, vol. 23, br. 4, str. 662-687 (Article) 

Marinkovic Bojan B,Ciancaglini Vincenzo,Ognjanovic Zoran D,Glavan Paola,Liquori Luigi,Maksimovic Petar (2015) Analyzing the exhaustiveness of the Synapse protocol, PEER-TO-PEER NETWORKING AND APPLICATIONS, vol. 8, br. 5, str. 793-806 (Article) 

Stojanovic Tatjana P,Davidovic Tatjana,Ognjanovic Zoran D (2015) Bee colony optimization for the satisfiability problem in probabilistic logic, APPLIED SOFT COMPUTING, vol. 31, br. , str. 339-347 (Article) 

Ilic-Stepic Angelina V,Ognjanovic Zoran D (2015) Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers, STUDIA LOGICA, vol. 103, br. 1, str. 145-174 (Article) 

Marinkovic Bojan B,Ognjanovic Zoran D,Doder Dragan J,Perovic Aleksandar M (2014) A propositional linear time logic with time flow isomorphic to omega(2), JOURNAL OF APPLIED LOGIC, vol. 12, br. 2, str. 208-229 (Article) 

Savic Milos,Ivanovic Mirjana K,Radovanovic Milos M,Ognjanovic Zoran D,Pejovic Aleksandar,Jaksic-Kruger Tatjana S (2014) The structure and evolution of scientific collaboration in Serbian mathematical journals, SCIENTOMETRICS, vol. 101, br. 3, str. 1805-1830 (Article) 

Knezevic Milica M,Ognjanovic Zoran D,Perovic Aleksandar M (2014) Finitely Additive Probability Measures in Automated Medical Diagnostics, INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS, PT II, vol. 443, br. , str. 10-19 (Proceedings Paper) 

Ilic-Stepic Angelina V,Ognjanovic Zoran D,Ikodinovic Nebojsa M (2014) Conditional p-adic probability logic, INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, vol. 55, br. 9, str. 1843-1865 (Article) 

Ikodinovic Nebojsa M,Ognjanovic Zoran D,Perovic Aleksandar M,Raskovic Miodrag D (2014) Hierarchies of probabilistic logics, INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, vol. 55, br. 9, str. 1830-1842 (Article) 

Mihajlovic Aleksandar,Jelisavcic Vladislav S,Marinkovic Bojan B,Todorovic Milan,Ognjanovic Zoran D,Tomovic Sinisa,Stojanovic Vladimir,Milutinovic Veljko M (2014) Serbia Forum - Digital Cultural Heritage Portal, IMAGE AND SIGNAL PROCESSING, ICISP 2014, vol. 8509, br. , str. 265-271 (Proceedings Paper) 

Ikodinovic Nebojsa M,Raskovic Miodrag D,Markovic Zoran M,Ognjanovic Zoran D (2014) A first-order probabilistic logic with approximate conditional probabilities, LOGIC JOURNAL OF THE IGPL, vol. 22, br. 4, str. 539-564 (Article) 

Ilic-Stepic Angelina V,Ognjanovic Zoran D (2014) Complex Valued Probability Logics, PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, vol. 95, br. 109, str. 73-86 (Article) 

Milosevic Milos,Ognjanovic Zoran D (2013) A First-Order Conditional Probability Logic with Iterations, PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, vol. 93, br. 107, str. 19-27 (Article) 

Doder Dragan J,Grant John,Ognjanovic Zoran D (2013) Probabilistic logics for objects located in space and time, JOURNAL OF LOGIC AND COMPUTATION, vol. 23, br. 3, str. 487-515 (Article) 

Ikodinovic Nebojsa M,Raskovic Miodrag D,Markovic Zoran M,Ognjanovic Zoran D (2013) Logics with Generalized Measure Operators, JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, vol. 20, br. 5-6, str. 527-555 (Article) 

Doder Dragan J,Ognjanovic Zoran D,Perovic Aleksandar M,Raskovic Miodrag D (2012) On Evaluations of Propositional Formulas Whose Range Is a Subset of Some Fixed Countable Ordered Field, UNCERTAINTY MODELING IN KNOWLEDGE ENGINEERING AND DECISION MAKING, vol. 7, br. , str. 567-572 (Proceedings Paper) 

Ognjanovic Zoran D,Markovic Zoran M,Raskovic Miodrag D,Doder Dragan J,Perovic Aleksandar M (2012) A propositional probabilistic logic with discrete linear time for reasoning about evidence, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol. 65, br. 2-3, str. 217-243 (Article) 

Ilic-Stepic Angelina V,Ognjanovic Zoran D,Ikodinovic Nebojsa M,Perovic Aleksandar M (2012) A p-adic probability logic, MATHEMATICAL LOGIC QUARTERLY, vol. 58, br. 4-5, str. 263-280 (Article) 

Milosevic Milos,Ognjanovic Zoran D (2012) A first-order conditional probability logic, LOGIC JOURNAL OF THE IGPL, vol. 20, br. 1, str. 235-253 (Article) 

Ognjanovic Zoran D,Doder Dragan J,Markovic Zoran M (2011) A Branching Time Logic with Two Types of Probability Operators, SCALABLE UNCERTAINTY MANAGEMENT, vol. 6929, br. , str. 219-232 (Proceedings Paper) 

Marinkovic Bojan B,Liquori Luigi,Ciancaglini Vincenzo,Ognjanovic Zoran D (2011) A Distributed Catalog for Digitized Cultural Heritage, ICT INNOVATIONS 2010, vol. 83, br. , str. 176-186 (Proceedings Paper) 

Perovic Aleksandar M,Ognjanovic Zoran D,Raskovic Miodrag D,Radojevic Dragan G (2011) Finitely additive probability measures on classical propositional formulas definable by Godel's t-norm and product t-norm, FUZZY SETS AND SYSTEMS, vol. 169, br. 1, str. 65-90 (Article) 

Doder Dragan J,Ognjanovic Zoran D,Markovic Zoran M (2010) An Axiomatization of a First-order Branching Time Temporal Logic, JOURNAL OF UNIVERSAL COMPUTER SCIENCE, vol. 16, br. 11, str. 1439-1451 (Article) 

Doder Dragan J,Raskovic Miodrag D,Markovic Zoran M,Ognjanovic Zoran D (2010) Measures of inconsistency and defaults, INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, vol. 51, br. 7, str. 832-845 (Article) 

Doder Dragan J,Markovic Zoran M,Ognjanovic Zoran D,Perovic Aleksandar M,Raskovic Miodrag D (2010) A Probabilistic Temporal Logic That Can Model Reasoning about Evidence, FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, vol. 5956, br. , str. 9-24 (Proceedings Paper) 

Perovic Aleksandar M,Ognjanovic Zoran D,Raskovic Miodrag D,Markovic Zoran M (2009) Qualitative Possibilities and Necessities, SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, vol. 5590, br. , str. 651-662 (Proceedings Paper) 

Ognjanovic Zoran D,Butigan-Vucaj Tamara,Marinkovic Bojan B (2009) NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia, METADATA AND SEMANTICS, vol. , br. , str. 45-54 (Proceedings Paper) 

Mijajlovic Zarko,Ognjanovic Zoran D (2008) Digitization of Mathematical Editions in Serbia, DML 2008 - TOWARDS DIGITAL MATHEMATICS LIBRARY, vol. , br. , str. 87-95 (Proceedings Paper) 

Ognjanovic Zoran D,Perovic Aleksandar M,Raskovic Miodrag D (2008) An Axiomatizatin of Qualitative Probability, ACTA POLYTECHNICA HUNGARICA, vol. 5, br. 1, str. 105-110 (Article) 

Perovic Aleksandar M,Ognjanovic Zoran D,Raskovic Miodrag D,Markovic Zoran M (2008) How to Restore Compactness into Probabilistic Logics?, LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, vol. 5293, br. , str. 338-348 (Proceedings Paper) 

Raskovic Miodrag D,Markovic Zoran M,Ognjanovic Zoran D (2008) A logic with approximate conditional probabilities that can model default reasoning, INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, vol. 49, br. 1, str. 52-66 (Article) 

Radojevic Dragan G,Perovic Aleksandar M,Ognjanovic Zoran D,Raskovic Miodrag D (2008) Interpolative Boolean logic, ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS, vol. 5253, br. , str. 209-219 (Proceedings Paper) 

Ognjanovic Zoran D,Perovic Aleksandar M,Raskovic Miodrag D (2008) Logics with the qualitative probability operator, LOGIC JOURNAL OF THE IGPL, vol. 16, br. 2, str. 105-120 (Article) 

Perovic Aleksandar M,Ognjanovic Zoran D,Raskovic Miodrag D,Markovic Zoran M (2008) A probabilistic logic with polynomial weight formulas, FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, vol. 4932, br. , str. 239-252 (Proceedings Paper) 

Ognjanovic Zoran D,Perovic Aleksandar M,Raskovic Miodrag D (2007) An axiomatization of qualitative probability, 2007 5TH INTERNATIONAL SYMPOSIUM ON INTELLIGENT SYSTEMS & INFORMATICS, vol. , br. , str. 133-136 (Proceedings Paper) 

Ikodinovic Nebojsa M,Raskovic Miodrag D,Markovic Zoran M,Ognjanovic Zoran D (2007) Measure logic, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Proceedings, vol. 4724, br. , str. 128-138 (Proceedings Paper) 

Ognjanovic Zoran D (2006) Discrete linear-time probabilistic logics: Completeness, decidability and complexity, JOURNAL OF LOGIC AND COMPUTATION, vol. 16, br. 2, str. 257-285 (Article) 

Ognjanovic Zoran D,Midic Uros,Mladenovic Nenad M (2005) A hybrid genetic and variable neighborhood descent for probabilistic SAT problem, HYBRID METAHEURISTICS, PROCEEDINGS, vol. 3636, br. , str. 42-53 (Article) 

Ikodinovic Nebojsa M,Ognjanovic Zoran D (2005) A logic with coherent conditional probabilities, SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, vol. 3571, br. , str. 726-736 (Article) 

Raskovic Miodrag D,Ognjanovic Zoran D,Markovic Zoran M (2004) A logic with conditional probabilities, LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, vol. 3229, br. , str. 226-238 (Article) 

Ognjanovic Zoran D,Midic Uros,Kratica Jozef J (2004) A genetic algorithm for probabilistic SAT problem, ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING - ICAISC 2004, vol. 3070, br. , str. 462-467 (Article) 

Djordjevic Radosav S,Raskovic Miodrag D,Ognjanovic Zoran D (2004) Completeness theorem for propositional probabilistic models whose measures have only finite ranges, ARCHIVE FOR MATHEMATICAL LOGIC, vol. 43, br. 4, str. 557-563 (Article) 

Markovic Zoran M,Ognjanovic Zoran D,Raskovic Miodrag D (2003) A probabilistic extension of intuitionistic logic, MATHEMATICAL LOGIC QUARTERLY, vol. 49, br. 4, str. 415-424 (Article) 

Ognjanovic Zoran D,Raskovic Miodrag D (2000) Some first-order probability logics, THEORETICAL COMPUTER SCIENCE, vol. 247, br. 1-2, str. 191-212 (Article)