Zoran Ognjanovic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
9
Active years
1992–2022
Best venue rank
C
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | LFCS | A Logic of Interactive Proofs. | David Lehnherr, Zoran Ognjanovic, Thomas Studer |
| 2021 | JELIA | An Epistemic Probabilistic Logic with Conditional Probabilities. | Sejla Dautovic, Dragan Doder, Zoran Ognjanovic |
| 2019 | ECSQARU | Probabilistic Consensus of the Blockchain Protocol. | Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Dragan Doder, Thomas Studer |
| 2018 | LFCS | Probabilistic Reasoning About Simply Typed Lambda Terms. | Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic |
| 2017 | ECSQARU | A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities. | Nenad Savic, Dragan Doder, Zoran Ognjanovic |
| 2016 | LFCS | Probabilistic Justification Logic. | Ioannis Kokkinis, Zoran Ognjanovic, Thomas Studer |
| 2015 | ECSQARU | Probabilistic Common Knowledge Among Infinite Number of Agents. | Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder |
| 2015 | UAI | A Probabilistic Logic for Reasoning about Uncertain Temporal Information. | Dragan Doder, Zoran Ognjanovic |
| 2014 | ICISP | Serbia Forum - Digital Cultural Heritage Portal. | Aleksandar Mihajlovic, Vladisav Jelisavcic, Bojan Marinkovic, Milan Todorovic, Zoran Ognjanovic, Sinisa Tomovic, Vladimir Stojanovic, Veljko Milutinovic |
| 2014 | IPMU | Finitely Additive Probability Measures in Automated Medical Diagnostics. | Milica Knezevic, Zoran Ognjanovic, Aleksandar Perovic |
| 2013 | ECSQARU | A First-Order Dynamic Probability Logic. | Zoran Ognjanovic, Aleksandar Perovic, Dragan Doder |
| 2011 | ECSQARU | Probabilistic Approach to Nonmonotonic Consequence Relations. | Dragan Doder, Aleksandar Perovic, Zoran Ognjanovic |
| 2009 | ECSQARU | Qualitative Possibilities and Necessities. | Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic |
| 2008 | AIMSA | Interpolative Boolean Logic. | Dragan G. Radojevic, Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic |
| 2008 | JELIA | How to Restore Compactness into Probabilistic Logics?. | Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic |
| 2007 | ECSQARU | Measure Logic. | Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic |
| 2005 | ECSQARU | A Logic with Coherent Conditional Probabilities. | Nebojsa Ikodinovic, Zoran Ognjanovic |
| 2004 | ICAISC | A Genetic Algorithm for Probabilistic SAT Problem. | Zoran Ognjanovic, Uros Midic, Jozef Kratica |
| 2004 | JELIA | A Logic with Conditional Probabilities. | Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic |
| 2001 | ECSQARU | A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report. | Zoran Ognjanovic, Jozef Kratica, Milos Milovanovic |
| 1992 | TABLEAUX | Prover 91 - A Parallel Theorem Prover (Extended Abstract). | Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic |
| 1992 | TABLEAUX | A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). | Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic |