Zoran Ognjanovic

According to our database, Zoran Ognjanovic authored at least 91 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Logic ILP for Intuitionistic Reasoning About Probability.

Angelina Ilic-Stepic, Zoran Ognjanovic, Aleksandar Perovic

Stud Logica, October, 2024

A Probabilistic Temporal Epistemic Logic: Strong Completeness.

Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic

Log. J. IGPL, January, 2024

Probabilistic temporal logic with countably additive semantics.

Dragan Doder, Zoran Ognjanovic

Ann. Pure Appl. Log., 2024

2023

Reasoning about knowledge and conditional probability.

Sejla Dautovic, Dragan Doder, Zoran Ognjanovic

Int. J. Approx. Reason., December, 2023

Probability Logics for Reasoning About Quantum Observations.

Angelina Ilic-Stepic, Zoran Ognjanovic, Aleksandar Perovic

Logica Universalis, 2023

2022

Intuitionistic propositional probability logic.

Angelina Ilic-Stepic, Mateja Knezevic, Zoran Ognjanovic

Math. Log. Q., 2022

A logic of interactive proofs.

David Lehnherr, Zoran Ognjanovic, Thomas Studer

J. Log. Comput., 2022

Federating digital contact tracing using structured overlay networks.

Silvia Ghilezan, Simona Kasterovic, Luigi Liquori, Bojan Marinkovic, Zoran Ognjanovic, Tamara Stefanovic

Comput. Sci. Inf. Syst., 2022

2021

Logics for reasoning about degrees of confirmation.

Sejla Dautovic, Dragan Doder, Zoran Ognjanovic

J. Log. Comput., 2021

Special issue from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019).

Gabriele Kern-Isberner, Zoran Ognjanovic

Int. J. Approx. Reason., 2021

Automated non-monotonic reasoning in System P.

Tatjana Stojanovic, Nebojsa Ikodinovic, Tatjana Davidovic, Zoran Ognjanovic

Ann. Math. Artif. Intell., 2021

An Epistemic Probabilistic Logic with Conditional Probabilities.

Sejla Dautovic, Dragan Doder, Zoran Ognjanovic

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

2020

A First-order Logic for Reasoning about Knowledge and Probability.

Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder

ACM Trans. Comput. Log., 2020

Probabilistic justification logic.

Ioannis Kokkinis, Zoran Ognjanovic, Thomas Studer

J. Log. Comput., 2020

Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities.

Dragan Doder, Nenad Savic, Zoran Ognjanovic

J. Log. Lang. Inf., 2020

Correctness of the Chord protocol.

Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek

Comput. Sci. Inf. Syst., 2020

Completeness theorems for <i>σ</i>-additive probabilistic semantics.

Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic

Ann. Pure Appl. Log., 2020

Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case.

Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic

Proceedings of the Foundations of Information and Knowledge Systems, 2020

Reasoning About Degrees of Confirmation.

Sejla Dautovic, Dragan Doder, Zoran Ognjanovic

Proceedings of the Logic and Argumentation - Third International Conference, 2020

Logic and Applications - LAP Meeting.

Zvonimir Sikic, Silvia Ghilezan, Zoran Ognjanovic, Thomas Studer

Proceedings of the Logic, 2020

2019

Proving properties of the Chord protocol using the ASM formalism.

Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic

Theor. Comput. Sci., 2019

A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol.

Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Thomas Studer

J. Log. Comput., 2019

Incomplete Information and Justifications.

Dragan Doder, Zoran Ognjanovic, Nenad Savic, Thomas Studer

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

Probabilistic Consensus of the Blockchain Protocol.

Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Dragan Doder, Thomas Studer

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

2018

Logics to formalise p-adic valued probability and their applications.

Angelina Ilic-Stepic, Zoran Ognjanovic

Int. J. Parallel Emergent Distributed Syst., 2018

Probabilistic Reasoning About Simply Typed Lambda Terms.

Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators.

Dragan Doder, Nenad Savic, Zoran Ognjanovic

Proceedings of the Foundations of Information and Knowledge Systems, 2018

2017

Probabilistic Logics with Independence and Confirmation.

Dragan Doder, Zoran Ognjanovic

Stud Logica, 2017

Logics with lower and upper probability operators.

Nenad Savic, Dragan Doder, Zoran Ognjanovic

Int. J. Approx. Reason., 2017

Justification Logic with Approximate Conditional Probabilities.

Zoran Ognjanovic, Nenad Savic, Thomas Studer

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities.

Nenad Savic, Dragan Doder, Zoran Ognjanovic

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

2016

Correctness of the Chord Protocol.

Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Umek

Proceedings of the International Conference on Identification, 2016

Probability Logics - Probability-Based Formalization of Uncertain Reasoning

Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic

Springer, ISBN: 978-3-319-47012-2, 2016

2015

Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers.

Angelina Ilic-Stepic, Zoran Ognjanovic

Stud Logica, 2015

Analyzing the exhaustiveness of the Synapse protocol.

Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, Petar Maksimovic

Peer-to-Peer Netw. Appl., 2015

First steps towards probabilistic justification logic.

Ioannis Kokkinis, Petar Maksimovic, Zoran Ognjanovic, Thomas Studer

Log. J. IGPL, 2015

Bee colony optimization for the satisfiability problem in probabilistic logic.

Tatjana Stojanovic, Tatjana Davidovic, Zoran Ognjanovic

Appl. Soft Comput., 2015

A Probabilistic Logic for Reasoning about Uncertain Temporal Information.

Dragan Doder, Zoran Ognjanovic

Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, 2015

Probabilistic Common Knowledge Among Infinite Number of Agents.

Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

2014

The structure and evolution of scientific collaboration in Serbian mathematical journals.

Milos Savic, Mirjana Ivanovic, Milos Radovanovic, Zoran Ognjanovic, Aleksandar Pejovic, Tatjana Jaksic Krüger

Scientometrics, 2014

A propositional linear time logic with time flow isomorphic to ω².

Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic

J. Appl. Log., 2014

Conditional p-adic probability logic.

Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic

Int. J. Approx. Reason., 2014

Hierarchies of probabilistic logics.

Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic

Int. J. Approx. Reason., 2014

A first-order probabilistic logic with approximate conditional probabilities.

Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic

Log. J. IGPL, 2014

Finitely Additive Probability Measures in Automated Medical Diagnostics.

Milica Knezevic, Zoran Ognjanovic, Aleksandar Perovic

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

Exploratory Analysis of Communities in Co-authorship Networks: A Case Study.

Milos Savic, Mirjana Ivanovic, Milos Radovanovic, Zoran Ognjanovic, Aleksandar Pejovic, Tatjana Jaksic Krüger

Proceedings of the ICT Innovations 2014, 2014

Serbia Forum - Digital Cultural Heritage Portal.

Aleksandar Mihajlovic, Vladisav Jelisavcic, Bojan Marinkovic, Milan Todorovic, Zoran Ognjanovic, Sinisa Tomovic, Vladimir Stojanovic, Veljko Milutinovic

Proceedings of the Image and Signal Processing - 6th International Conference, 2014

2013

Logics with Generalized Measure Operators.

Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic

J. Multiple Valued Log. Soft Comput., 2013

Probabilistic logics for objects located in space and time.

Dragan Doder, John Grant, Zoran Ognjanovic

J. Log. Comput., 2013

A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2.

Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic

CoRR, 2013

A First-Order Dynamic Probability Logic.

Zoran Ognjanovic, Aleksandar Perovic, Dragan Doder

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013

2012

A p-adic probability logic.

Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic, Aleksandar Perovic

Math. Log. Q., 2012

A first-order conditional probability logic.

Milos Milosevic, Zoran Ognjanovic

Log. J. IGPL, 2012

Description of the Chord Protocol using ASMs Formalism

Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic

CoRR, 2012

A propositional probabilistic logic with discrete linear time for reasoning about evidence.

Zoran Ognjanovic, Zoran Markovic, Miodrag Raskovic, Dragan Doder, Aleksandar Perovic

Ann. Math. Artif. Intell., 2012

On Real-Valued Evaluation of Propositional Formulas.

Aleksandar Perovic, Dragan Doder, Zoran Ognjanovic

Proceedings of the Foundations of Information and Knowledge Systems, 2012

2011

Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm.

Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Dragan G. Radojevic

Fuzzy Sets Syst., 2011

A Branching Time Logic with Two Types of Probability Operators.

Zoran Ognjanovic, Dragan Doder, Zoran Markovic

Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011

Probabilistic Approach to Nonmonotonic Consequence Relations.

Dragan Doder, Aleksandar Perovic, Zoran Ognjanovic

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

2010

Digitization of Mathematical Editions in Serbia.

Zarko Mijajlovic, Zoran Ognjanovic, Aleksandar Pejovic

Math. Comput. Sci., 2010

An Axiomatization of a First-order Branching Time Temporal Logic.

Dragan Doder, Zoran Ognjanovic, Zoran Markovic

J. Univers. Comput. Sci., 2010

Measures of inconsistency and defaults.

Dragan Doder, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic

Int. J. Approx. Reason., 2010

A Distributed Catalog for Digitized Cultural Heritage.

Bojan Marinkovic, Luigi Liquori, Vincenzo Ciancaglini, Zoran Ognjanovic

Proceedings of the ICT Innovations 2010 - Second International Conference, 2010

A Probabilistic Temporal Logic That Can Model Reasoning about Evidence.

Dragan Doder, Zoran Markovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic

Proceedings of the Foundations of Information and Knowledge Systems, 2010

2009

Qualitative Possibilities and Necessities.

Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

2008

A logic with approximate conditional probabilities that can model default reasoning.

Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic

Int. J. Approx. Reason., 2008

Logics with the Qualitative Probability Operator.

Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic

Log. J. IGPL, 2008

How to Restore Compactness into Probabilistic Logics?.

Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

A Probabilistic Logic with Polynomial Weight Formulas.

Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic

Proceedings of the Foundations of Information and Knowledge Systems, 2008

Interpolative Boolean Logic.

Dragan G. Radojevic, Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic

Proceedings of the Artificial Intelligence: Methodology, 2008

2007

NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia.

Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic

Proceedings of the Metadata and Semantics, 2007

Digitization of Scientific Journals in Serbia.

Zarko Mijajlovic, Zoran Ognjanovic, Aleksandar Pejovic

Proceedings of the Openness in Digital Publishing: Awareness, Discovery and Access - Proceedings of the 11th International Conference on Electronic Publishing held in Vienna, 2007

Measure Logic.

Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

Variable Neighborhood Search for the Probabilistic Satisfiability Problem.

Dejan Jovanovic, Nenad Mladenovic, Zoran Ognjanovic

Proceedings of the Metaheuristics, 2007

2006

Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity.

Zoran Ognjanovic

J. Log. Comput., 2006

A Proposal for the National Standard for Describing Digitized Heritage.

Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic

Proceedings of the Digital Spectrum: Integrating Technology and Culture - Proceedings of the 10th International Conference on Electronic Publishing held in Bansko, 2006

2005

A Hybrid Genetic and Variable Neighborhood Descent for Probabilistic SAT Problem.

Zoran Ognjanovic, Uros Midic, Nenad Mladenovic

Proceedings of the Hybrid Metaheuristics, Second International Workshop, 2005

Electronic Editions of Mathematical Works in Serbia.

Dragan Blagojevic, Zarko Mijajlovic, Zoran Ognjanovic

Proceedings of the From Author to Reader: Challenges for the Digital Content Chain: Proceedings of the 9th ICCC International Conference on Electronic Publishing held at Katholieke Universiteit Leuven, 2005

A Logic with Coherent Conditional Probabilities.

Nebojsa Ikodinovic, Zoran Ognjanovic

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

2004

Completeness theorem for propositional probabilistic models whose measures have only finite ranges.

Radosav S. Dordevic, Miodrag Raskovic, Zoran Ognjanovic

Arch. Math. Log., 2004

A probabilistic approach to default reasoning.

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

A Logic with Conditional Probabilities.

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

A Genetic Algorithm for Probabilistic SAT Problem.

Zoran Ognjanovic, Uros Midic, Jozef Kratica

Proceedings of the Artificial Intelligence and Soft Computing, 2004

2003

A probabilistic extension of intuitionistic logic.

Zoran Markovic, Zoran Ognjanovic, Miodrag Raskovic

Math. Log. Q., 2003

2001

A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report.

Zoran Ognjanovic, Jozef Kratica, Milos Milovanovic

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

2000

Some first-order probability logics.

Zoran Ognjanovic, Miodrag Raskovic

Theor. Comput. Sci., 2000

1999

Some Probability Logics with New Types of Probability Operators.

Zoran Ognjanovic, Miodrag Raskovic

J. Log. Comput., 1999

1994

A Tableau-Like Proof Procedure for Normal Modal Logics.

Zoran Ognjanovic

Theor. Comput. Sci., 1994

1992

A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract).

Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

Prover 91 - A Parallel Theorem Prover (Extended Abstract).

Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

1990

An approach to the modeling of the highest control level of flexible manufacturing cell.

Miroslav Jockovic, Miomir Vukobratovic, Zoran Ognjanovic

Robotica, 1990