Zoran Ognjanovic

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 36

Top Topics

Probabilistic Logic

Probability Measures

Satisfiability Problem

Temporal Information

Top Venues

Int. J. Approx. Reason.

J. Log. Comput.

Publications

Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic
A Probabilistic Temporal Epistemic Logic: Strong Completeness. Log. J. IGPL 32 (1) (2024)
Dragan Doder, Zoran Ognjanovic
Probabilistic temporal logic with countably additive semantics. Ann. Pure Appl. Log. 175 (9) (2024)
Sejla Dautovic, Dragan Doder, Zoran Ognjanovic
Reasoning about knowledge and conditional probability. Int. J. Approx. Reason. 163 (2023)
Angelina Ilic-Stepic, Zoran Ognjanovic, Aleksandar Perovic
Probability Logics for Reasoning About Quantum Observations. Logica Universalis 17 (2) (2023)
David Lehnherr, Zoran Ognjanovic, Thomas Studer
A logic of interactive proofs. J. Log. Comput. 32 (8) (2022)
David Lehnherr, Zoran Ognjanovic, Thomas Studer
A Logic of Interactive Proofs. LFCS (2022)
Angelina Ilic-Stepic, Mateja Knezevic, Zoran Ognjanovic
Intuitionistic propositional probability logic. Math. Log. Q. 68 (4) (2022)
Silvia Ghilezan, Simona Kasterovic, Luigi Liquori, Bojan Marinkovic, Zoran Ognjanovic, Tamara Stefanovic
Federating digital contact tracing using structured overlay networks. Comput. Sci. Inf. Syst. 19 (3) (2022)
David Lehnherr, Zoran Ognjanovic, Thomas Studer
A logic of interactive proofs. CoRR (2021)
Sejla Dautovic, Dragan Doder, Zoran Ognjanovic
Logics for reasoning about degrees of confirmation. J. Log. Comput. 31 (8) (2021)
Gabriele Kern-Isberner, Zoran Ognjanovic
Special issue from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019). Int. J. Approx. Reason. 138 (2021)
Tatjana Stojanovic, Nebojsa Ikodinovic, Tatjana Davidovic, Zoran Ognjanovic
Automated non-monotonic reasoning in System P. Ann. Math. Artif. Intell. 89 (5-6) (2021)
Sejla Dautovic, Dragan Doder, Zoran Ognjanovic
An Epistemic Probabilistic Logic with Conditional Probabilities. JELIA (2021)
Dragan Doder, Nenad Savic, Zoran Ognjanovic
Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities. J. Log. Lang. Inf. 29 (1) (2020)
Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder
A First-order Logic for Reasoning about Knowledge and Probability. ACM Trans. Comput. Log. 21 (2) (2020)
Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek
Correctness of the Chord protocol. Comput. Sci. Inf. Syst. 17 (1) (2020)
Ioannis Kokkinis, Zoran Ognjanovic, Thomas Studer
Probabilistic justification logic. J. Log. Comput. 30 (1) (2020)
Zvonimir Sikic, Silvia Ghilezan, Zoran Ognjanovic, Thomas Studer
Logic and Applications - LAP Meeting. Logic, Language, and Security (2020)
Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic
Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. FoIKS (2020)
Sejla Dautovic, Dragan Doder, Zoran Ognjanovic
Reasoning About Degrees of Confirmation. CLAR (2020)
Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
-additive probabilistic semantics. Ann. Pure Appl. Log. 171 (4) (2020)
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic
Proving properties of the Chord protocol using the ASM formalism. Theor. Comput. Sci. 756 (2019)
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Thomas Studer
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol. J. Log. Comput. 29 (5) (2019)
Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder
A First-Order Logic for Reasoning about Knowledge and Probability. CoRR (2019)
Dragan Doder, Zoran Ognjanovic, Nenad Savic, Thomas Studer
Incomplete Information and Justifications. TbiLLC (2019)
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Dragan Doder, Thomas Studer
Probabilistic Consensus of the Blockchain Protocol. ECSQARU (2019)
Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic
Probabilistic Reasoning About Simply Typed Lambda Terms. LFCS (2018)
Dragan Doder, Nenad Savic, Zoran Ognjanovic
A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators. FoIKS (2018)
Angelina Ilic-Stepic, Zoran Ognjanovic
Logics to formalise p-adic valued probability and their applications. Int. J. Parallel Emergent Distributed Syst. 33 (3) (2018)
Dragan Doder, Zoran Ognjanovic
Probabilistic Logics with Independence and Confirmation. Stud Logica 105 (5) (2017)
Nenad Savic, Dragan Doder, Zoran Ognjanovic
A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities. ECSQARU (2017)
Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek
Correctness of the Chord Protocol. CoRR (2017)
Nenad Savic, Dragan Doder, Zoran Ognjanovic
Logics with lower and upper probability operators. Int. J. Approx. Reason. 88 (2017)
Zoran Ognjanovic, Nenad Savic, Thomas Studer
Justification Logic with Approximate Conditional Probabilities. LORI (2017)
Ioannis Kokkinis, Zoran Ognjanovic, Thomas Studer
Probabilistic Justification Logic. LFCS (2016)
Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Umek
Correctness of the Chord Protocol. IIKI (2016)
Dragan Doder, Zoran Ognjanovic
A Probabilistic Logic for Reasoning about Uncertain Temporal Information. UAI (2015)
Ioannis Kokkinis, Petar Maksimovic, Zoran Ognjanovic, Thomas Studer
First steps towards probabilistic justification logic. Log. J. IGPL 23 (4) (2015)
Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, Petar Maksimovic
Analyzing the exhaustiveness of the Synapse protocol. Peer-to-Peer Netw. Appl. 8 (5) (2015)
Angelina Ilic-Stepic, Zoran Ognjanovic
Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers. Stud Logica 103 (1) (2015)
Tatjana Stojanovic, Tatjana Davidovic, Zoran Ognjanovic
Bee colony optimization for the satisfiability problem in probabilistic logic. Appl. Soft Comput. 31 (2015)
Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder
Probabilistic Common Knowledge Among Infinite Number of Agents. ECSQARU (2015)
Milica Knezevic, Zoran Ognjanovic, Aleksandar Perovic
Finitely Additive Probability Measures in Automated Medical Diagnostics. IPMU (2) (2014)
Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
A first-order probabilistic logic with approximate conditional probabilities. Log. J. IGPL 22 (4) (2014)
Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic
. J. Appl. Log. 12 (2) (2014)
Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic
Conditional p-adic probability logic. Int. J. Approx. Reason. 55 (9) (2014)
Milos Savic, Mirjana Ivanovic, Milos Radovanovic, Zoran Ognjanovic, Aleksandar Pejovic, Tatjana Jaksic Krüger
The structure and evolution of scientific collaboration in Serbian mathematical journals. Scientometrics 101 (3) (2014)
Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
Hierarchies of probabilistic logics. Int. J. Approx. Reason. 55 (9) (2014)
Milos Savic, Mirjana Ivanovic, Milos Radovanovic, Zoran Ognjanovic, Aleksandar Pejovic, Tatjana Jaksic Krüger
Exploratory Analysis of Communities in Co-authorship Networks: A Case Study. ICT Innovations (2014)
Aleksandar Mihajlovic, Vladisav Jelisavcic, Bojan Marinkovic, Milan Todorovic, Zoran Ognjanovic, Sinisa Tomovic, Vladimir Stojanovic, Veljko Milutinovic
Serbia Forum - Digital Cultural Heritage Portal. ICISP (2014)
Dragan Doder, John Grant, Zoran Ognjanovic
Probabilistic logics for objects located in space and time. J. Log. Comput. 23 (3) (2013)
Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
Logics with Generalized Measure Operators. J. Multiple Valued Log. Soft Comput. 20 (5-6) (2013)
Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic
A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2. CoRR (2013)
Zoran Ognjanovic, Aleksandar Perovic, Dragan Doder
A First-Order Dynamic Probability Logic. ECSQARU (2013)
Aleksandar Perovic, Dragan Doder, Zoran Ognjanovic
On Real-Valued Evaluation of Propositional Formulas. FoIKS (2012)
Zoran Ognjanovic, Zoran Markovic, Miodrag Raskovic, Dragan Doder, Aleksandar Perovic
A propositional probabilistic logic with discrete linear time for reasoning about evidence. Ann. Math. Artif. Intell. 65 (2-3) (2012)
Milos Milosevic, Zoran Ognjanovic
A first-order conditional probability logic. Log. J. IGPL 20 (1) (2012)
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic
Description of the Chord Protocol using ASMs Formalism CoRR (2012)
Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic, Aleksandar Perovic
A p-adic probability logic. Math. Log. Q. 58 (4-5) (2012)
Zoran Ognjanovic, Dragan Doder, Zoran Markovic
A Branching Time Logic with Two Types of Probability Operators. SUM (2011)
Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Dragan G. Radojevic
Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm. Fuzzy Sets Syst. 169 (1) (2011)
Dragan Doder, Aleksandar Perovic, Zoran Ognjanovic
Probabilistic Approach to Nonmonotonic Consequence Relations. ECSQARU (2011)
Dragan Doder, Zoran Ognjanovic, Zoran Markovic
An Axiomatization of a First-order Branching Time Temporal Logic. J. Univers. Comput. Sci. 16 (11) (2010)
Dragan Doder, Zoran Markovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
A Probabilistic Temporal Logic That Can Model Reasoning about Evidence. FoIKS (2010)
Dragan Doder, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
Measures of inconsistency and defaults. Int. J. Approx. Reason. 51 (7) (2010)
Bojan Marinkovic, Luigi Liquori, Vincenzo Ciancaglini, Zoran Ognjanovic
A Distributed Catalog for Digitized Cultural Heritage. ICT Innovations (2010)
Zarko Mijajlovic, Zoran Ognjanovic, Aleksandar Pejovic
Digitization of Mathematical Editions in Serbia. Math. Comput. Sci. 3 (3) (2010)
Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic
Qualitative Possibilities and Necessities. ECSQARU (2009)
Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic
How to Restore Compactness into Probabilistic Logics?. JELIA (2008)
Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic
A Probabilistic Logic with Polynomial Weight Formulas. FoIKS (2008)
Dragan G. Radojevic, Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic
Interpolative Boolean Logic. AIMSA (2008)
Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
A logic with approximate conditional probabilities that can model default reasoning. Int. J. Approx. Reason. 49 (1) (2008)
Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
Logics with the Qualitative Probability Operator. Log. J. IGPL 16 (2) (2008)
Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
Measure Logic. ECSQARU (2007)
Zarko Mijajlovic, Zoran Ognjanovic, Aleksandar Pejovic
Digitization of Scientific Journals in Serbia. ELPUB (2007)
Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic
NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia. MTSR (2007)
Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic
A Proposal for the National Standard for Describing Digitized Heritage. ELPUB (2006)
Zoran Ognjanovic
Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity. J. Log. Comput. 16 (2) (2006)
Dragan Blagojevic, Zarko Mijajlovic, Zoran Ognjanovic
Electronic Editions of Mathematical Works in Serbia. ELPUB (2005)
Nebojsa Ikodinovic, Zoran Ognjanovic
A Logic with Coherent Conditional Probabilities. ECSQARU (2005)
Zoran Ognjanovic, Uros Midic, Nenad Mladenovic
A Hybrid Genetic and Variable Neighborhood Descent for Probabilistic SAT Problem. Hybrid Metaheuristics (2005)
Zoran Ognjanovic, Uros Midic, Jozef Kratica
A Genetic Algorithm for Probabilistic SAT Problem. ICAISC (2004)
Radosav S. Dordevic, Miodrag Raskovic, Zoran Ognjanovic
Completeness theorem for propositional probabilistic models whose measures have only finite ranges. Arch. Math. Log. 43 (4) (2004)
Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic
A Logic with Conditional Probabilities. JELIA (2004)
Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic
A probabilistic approach to default reasoning. NMR (2004)
Zoran Markovic, Zoran Ognjanovic, Miodrag Raskovic
A probabilistic extension of intuitionistic logic. Math. Log. Q. 49 (4) (2003)
Zoran Ognjanovic, Jozef Kratica, Milos Milovanovic
A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report. ECSQARU (2001)
Zoran Ognjanovic, Miodrag Raskovic
Some first-order probability logics. Theor. Comput. Sci. 247 (1-2) (2000)
Zoran Ognjanovic, Miodrag Raskovic
Some Probability Logics with New Types of Probability Operators. J. Log. Comput. 9 (2) (1999)
Zoran Ognjanovic
A Tableau-Like Proof Procedure for Normal Modal Logics. Theor. Comput. Sci. 129 (1) (1994)
Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic
Prover 91 - A Parallel Theorem Prover (Extended Abstract). TABLEAUX (1992)
Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic
A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). TABLEAUX (1992)
Miroslav Jockovic, Miomir Vukobratovic, Zoran Ognjanovic
An approach to the modeling of the highest control level of flexible manufacturing cell. Robotica 8 (2) (1990)