Zoran Ognjanovic

98 papers A 1B 5C 11Misc 5Journal 54Unranked 20

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