default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZoran Ognjanovic
Person information
- affiliation: Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade, Serbia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j49]Dragan Doder, Zoran Ognjanovic:
Probabilistic temporal logic with countably additive semantics. Ann. Pure Appl. Log. 175(9): 103389 (2024)- [j48]Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic:
A Probabilistic Temporal Epistemic Logic: Strong Completeness. Log. J. IGPL 32(1): 94-138 (2024) - [j47]Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic:
A probabilistic temporal epistemic logic: Decidability. Log. J. IGPL 32(5): 827-879 (2024) - [j46]Angelina Ilic-Stepic, Zoran Ognjanovic, Aleksandar Perovic:
The Logic ILP for Intuitionistic Reasoning About Probability. Stud Logica 112(5): 987-1017 (2024) - 2023
- [j45]Sejla Dautovic
, Dragan Doder, Zoran Ognjanovic:
Reasoning about knowledge and conditional probability. Int. J. Approx. Reason. 163: 109037 (2023) - [j44]Angelina Ilic-Stepic, Zoran Ognjanovic, Aleksandar Perovic:
Probability Logics for Reasoning About Quantum Observations. Logica Universalis 17(2): 175-219 (2023) - 2022
- [j43]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): 1261-1282 (2022) - [j42]David Lehnherr, Zoran Ognjanovic, Thomas Studer:
A logic of interactive proofs. J. Log. Comput. 32(8): 1645-1658 (2022) - [j41]Angelina Ilic-Stepic, Mateja Knezevic, Zoran Ognjanovic:
Intuitionistic propositional probability logic. Math. Log. Q. 68(4): 479-495 (2022) - [c41]David Lehnherr, Zoran Ognjanovic, Thomas Studer:
A Logic of Interactive Proofs. LFCS 2022: 143-155 - 2021
- [j40]Tatjana Stojanovic, Nebojsa Ikodinovic, Tatjana Davidovic, Zoran Ognjanovic:
Automated non-monotonic reasoning in System P. Ann. Math. Artif. Intell. 89(5-6): 471-509 (2021) - [j39]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: 76-77 (2021) - [j38]Sejla Dautovic, Dragan Doder, Zoran Ognjanovic:
Logics for reasoning about degrees of confirmation. J. Log. Comput. 31(8): 2189-2217 (2021) - [c40]Sejla Dautovic, Dragan Doder, Zoran Ognjanovic:
An Epistemic Probabilistic Logic with Conditional Probabilities. JELIA 2021: 279-293 - [i5]David Lehnherr, Zoran Ognjanovic, Thomas Studer:
A logic of interactive proofs. CoRR abs/2109.00775 (2021) - 2020
- [j37]Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic:
Completeness theorems for σ-additive probabilistic semantics. Ann. Pure Appl. Log. 171(4): 102755 (2020) - [j36]Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek:
Correctness of the Chord protocol. Comput. Sci. Inf. Syst. 17(1): 141-160 (2020) - [j35]Dragan Doder, Nenad Savic, Zoran Ognjanovic:
Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities. J. Log. Lang. Inf. 29(1): 77-107 (2020) - [j34]Ioannis Kokkinis, Zoran Ognjanovic, Thomas Studer:
Probabilistic justification logic. J. Log. Comput. 30(1): 257-280 (2020) - [j33]Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder:
A First-order Logic for Reasoning about Knowledge and Probability. ACM Trans. Comput. Log. 21(2): 16:1-16:30 (2020) - [c39]Zvonimir Sikic, Silvia Ghilezan, Zoran Ognjanovic, Thomas Studer:
Logic and Applications - LAP Meeting. Logic, Language, and Security 2020: 98-100 - [c38]Sejla Dautovic, Dragan Doder, Zoran Ognjanovic:
Reasoning About Degrees of Confirmation. CLAR 2020: 80-95 - [c37]Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic:
Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. FoIKS 2020: 122-139
2010 – 2019
- 2019
- [j32]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): 803-830 (2019) - [j31]Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic:
Proving properties of the Chord protocol using the ASM formalism. Theor. Comput. Sci. 756: 64-93 (2019) - [c36]Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Dragan Doder, Thomas Studer:
Probabilistic Consensus of the Blockchain Protocol. ECSQARU 2019: 469-480 - [c35]Dragan Doder, Zoran Ognjanovic, Nenad Savic, Thomas Studer:
Incomplete Information and Justifications. TbiLLC 2019: 258-278 - [e1]Gabriele Kern-Isberner, Zoran Ognjanovic:
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings. Lecture Notes in Computer Science 11726, Springer 2019, ISBN 978-3-030-29764-0 [contents] - [i4]Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder:
A First-Order Logic for Reasoning about Knowledge and Probability. CoRR abs/1901.06886 (2019) - 2018
- [j30]Angelina Ilic-Stepic, Zoran Ognjanovic:
Logics to formalise p-adic valued probability and their applications. Int. J. Parallel Emergent Distributed Syst. 33(3): 257-275 (2018) - [c34]Dragan Doder, Nenad Savic, Zoran Ognjanovic:
A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators. FoIKS 2018: 170-185 - [c33]Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic:
Probabilistic Reasoning About Simply Typed Lambda Terms. LFCS 2018: 170-189 - 2017
- [j29]Nenad Savic, Dragan Doder, Zoran Ognjanovic:
Logics with lower and upper probability operators. Int. J. Approx. Reason. 88: 148-168 (2017) - [j28]Dragan Doder, Zoran Ognjanovic:
Probabilistic Logics with Independence and Confirmation. Stud Logica 105(5): 943-969 (2017) - [c32]Nenad Savic, Dragan Doder, Zoran Ognjanovic:
A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities. ECSQARU 2017: 491-500 - [c31]Zoran Ognjanovic, Nenad Savic, Thomas Studer:
Justification Logic with Approximate Conditional Probabilities. LORI 2017: 681-686 - [i3]Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek:
Correctness of the Chord Protocol. CoRR abs/1709.07938 (2017) - 2016
- [b1]Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic:
Probability Logics - Probability-Based Formalization of Uncertain Reasoning. Springer 2016, ISBN 978-3-319-47011-5, pp. 1-215 - [c30]Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Umek:
Correctness of the Chord Protocol. IIKI 2016: 547-552 - [c29]Ioannis Kokkinis, Zoran Ognjanovic, Thomas Studer:
Probabilistic Justification Logic. LFCS 2016: 174-186 - 2015
- [j27]Tatjana Stojanovic, Tatjana Davidovic, Zoran Ognjanovic:
Bee colony optimization for the satisfiability problem in probabilistic logic. Appl. Soft Comput. 31: 339-347 (2015) - [j26]Ioannis Kokkinis, Petar Maksimovic, Zoran Ognjanovic, Thomas Studer:
First steps towards probabilistic justification logic. Log. J. IGPL 23(4): 662-687 (2015) - [j25]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): 793-806 (2015) - [j24]Angelina Ilic-Stepic, Zoran Ognjanovic:
Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers. Stud Logica 103(1): 145-174 (2015) - [c28]Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder:
Probabilistic Common Knowledge Among Infinite Number of Agents. ECSQARU 2015: 496-505 - [c27]Dragan Doder, Zoran Ognjanovic:
A Probabilistic Logic for Reasoning about Uncertain Temporal Information. UAI 2015: 248-257 - 2014
- [j23]Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic:
A first-order probabilistic logic with approximate conditional probabilities. Log. J. IGPL 22(4): 539-564 (2014) - [j22]Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic:
Hierarchies of probabilistic logics. Int. J. Approx. Reason. 55(9): 1830-1842 (2014) - [j21]Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic:
Conditional p-adic probability logic. Int. J. Approx. Reason. 55(9): 1843-1865 (2014) - [j20]Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic:
A propositional linear time logic with time flow isomorphic to ω2. J. Appl. Log. 12(2): 208-229 (2014) - [j19]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): 1805-1830 (2014) - [c26]Aleksandar Mihajlovic, Vladisav Jelisavcic, Bojan Marinkovic, Milan Todorovic, Zoran Ognjanovic, Sinisa Tomovic, Vladimir Stojanovic, Veljko Milutinovic:
Serbia Forum - Digital Cultural Heritage Portal. ICISP 2014: 265-271 - [c25]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: 55-64 - [c24]Milica Knezevic, Zoran Ognjanovic, Aleksandar Perovic:
Finitely Additive Probability Measures in Automated Medical Diagnostics. IPMU (2) 2014: 10-19 - 2013
- [j18]Dragan Doder, John Grant, Zoran Ognjanovic:
Probabilistic logics for objects located in space and time. J. Log. Comput. 23(3): 487-515 (2013) - [j17]Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic:
Logics with Generalized Measure Operators. J. Multiple Valued Log. Soft Comput. 20(5-6): 527-555 (2013) - [c23]Zoran Ognjanovic, Aleksandar Perovic, Dragan Doder:
A First-Order Dynamic Probability Logic. ECSQARU 2013: 461-472 - [i2]Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic:
A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2. CoRR abs/1309.0829 (2013) - 2012
- [j16]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): 217-243 (2012) - [j15]Milos Milosevic, Zoran Ognjanovic:
A first-order conditional probability logic. Log. J. IGPL 20(1): 235-253 (2012) - [j14]Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic, Aleksandar Perovic:
A p-adic probability logic. Math. Log. Q. 58(4-5): 263-280 (2012) - [c22]Aleksandar Perovic, Dragan Doder, Zoran Ognjanovic:
On Real-Valued Evaluation of Propositional Formulas. FoIKS 2012: 264-277 - [i1]Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic:
Description of the Chord Protocol using ASMs Formalism. CoRR abs/1208.0712 (2012) - 2011
- [j13]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): 65-90 (2011) - [c21]Dragan Doder, Aleksandar Perovic, Zoran Ognjanovic:
Probabilistic Approach to Nonmonotonic Consequence Relations. ECSQARU 2011: 459-471 - [c20]Zoran Ognjanovic, Dragan Doder, Zoran Markovic:
A Branching Time Logic with Two Types of Probability Operators. SUM 2011: 219-232 - 2010
- [j12]Dragan Doder, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic:
Measures of inconsistency and defaults. Int. J. Approx. Reason. 51(7): 832-845 (2010) - [j11]Dragan Doder, Zoran Ognjanovic, Zoran Markovic:
An Axiomatization of a First-order Branching Time Temporal Logic. J. Univers. Comput. Sci. 16(11): 1439-1451 (2010) - [j10]Zarko Mijajlovic, Zoran Ognjanovic, Aleksandar Pejovic:
Digitization of Mathematical Editions in Serbia. Math. Comput. Sci. 3(3): 251-263 (2010) - [c19]Dragan Doder, Zoran Markovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic:
A Probabilistic Temporal Logic That Can Model Reasoning about Evidence. FoIKS 2010: 9-24 - [c18]Bojan Marinkovic, Luigi Liquori, Vincenzo Ciancaglini, Zoran Ognjanovic:
A Distributed Catalog for Digitized Cultural Heritage. ICT Innovations 2010: 176-186
2000 – 2009
- 2009
- [c17]Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic:
Qualitative Possibilities and Necessities. ECSQARU 2009: 651-662 - 2008
- [j9]Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic:
Logics with the Qualitative Probability Operator. Log. J. IGPL 16(2): 105-120 (2008) - [j8]Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic:
A logic with approximate conditional probabilities that can model default reasoning. Int. J. Approx. Reason. 49(1): 52-66 (2008) - [c16]Dragan G. Radojevic, Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic:
Interpolative Boolean Logic. AIMSA 2008: 209-219 - [c15]Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic:
A Probabilistic Logic with Polynomial Weight Formulas. FoIKS 2008: 239-252 - [c14]Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic:
How to Restore Compactness into Probabilistic Logics?. JELIA 2008: 338-348 - 2007
- [c13]Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic:
Measure Logic. ECSQARU 2007: 128-138 - [c12]Zarko Mijajlovic, Zoran Ognjanovic, Aleksandar Pejovic:
Digitization of Scientific Journals in Serbia. ELPUB 2007: 465-466 - [c11]Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic:
NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia. MTSR 2007: 45-54 - [p1]Dejan Jovanovic, Nenad Mladenovic, Zoran Ognjanovic:
Variable Neighborhood Search for the Probabilistic Satisfiability Problem. Metaheuristics 2007: 173-188 - 2006
- [j7]Zoran Ognjanovic:
Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity. J. Log. Comput. 16(2): 257-285 (2006) - [c10]Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic:
A Proposal for the National Standard for Describing Digitized Heritage. ELPUB 2006: 387-388 - 2005
- [c9]Nebojsa Ikodinovic, Zoran Ognjanovic:
A Logic with Coherent Conditional Probabilities. ECSQARU 2005: 726-736 - [c8]Dragan Blagojevic, Zarko Mijajlovic, Zoran Ognjanovic:
Electronic Editions of Mathematical Works in Serbia. ELPUB 2005 - [c7]Zoran Ognjanovic, Uros Midic, Nenad Mladenovic:
A Hybrid Genetic and Variable Neighborhood Descent for Probabilistic SAT Problem. Hybrid Metaheuristics 2005: 42-53 - 2004
- [j6]Radosav S. Dordevic, Miodrag Raskovic, Zoran Ognjanovic:
Completeness theorem for propositional probabilistic models whose measures have only finite ranges. Arch. Math. Log. 43(4): 557-564 (2004) - [c6]Zoran Ognjanovic, Uros Midic, Jozef Kratica:
A Genetic Algorithm for Probabilistic SAT Problem. ICAISC 2004: 462-467 - [c5]Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic:
A Logic with Conditional Probabilities. JELIA 2004: 226-238 - [c4]Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic:
A probabilistic approach to default reasoning. NMR 2004: 335-341 - 2003
- [j5]Zoran Markovic, Zoran Ognjanovic, Miodrag Raskovic:
A probabilistic extension of intuitionistic logic. Math. Log. Q. 49(4): 415-424 (2003) - 2001
- [c3]Zoran Ognjanovic, Jozef Kratica, Milos Milovanovic:
A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report. ECSQARU 2001: 805-816 - 2000
- [j4]Zoran Ognjanovic, Miodrag Raskovic:
Some first-order probability logics. Theor. Comput. Sci. 247(1-2): 191-212 (2000)
1990 – 1999
- 1999
- [j3]Zoran Ognjanovic, Miodrag Raskovic:
Some Probability Logics with New Types of Probability Operators. J. Log. Comput. 9(2): 181-195 (1999) - 1994
- [j2]Zoran Ognjanovic:
A Tableau-Like Proof Procedure for Normal Modal Logics. Theor. Comput. Sci. 129(1): 167-186 (1994) - 1992
- [c2]Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic:
Prover 91 - A Parallel Theorem Prover (Extended Abstract). TABLEAUX 1992: 43-45 - [c1]Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic:
A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). TABLEAUX 1992: 61-63 - 1990
- [j1]Miroslav Jockovic, Miomir Vukobratovic, Zoran Ognjanovic:
An approach to the modeling of the highest control level of flexible manufacturing cell. Robotica 8(2): 125-130 (1990)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
