Zoran Ognjanovic

发表

Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case

Zoran Ognjanovic, Silvia Ghilezan, Jelena Ivetic, 2020, FoIKS.

A Genetic Algorithm for Probabilistic SAT Problem

Zoran Ognjanovic, Jozef Kratica, Uros Midic, 2004, ICAISC.

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

Miodrag Raskovic, Zoran Ognjanovic, Radosav S. Dordevic, 2004, Arch. Math. Log..

A First-order Logic for Reasoning about Knowledge and Probability

Zoran Ognjanovic, Sinisa Tomovic, Dragan Doder, 2019, ACM Trans. Comput. Log..

A p‐adic probability logic

Zoran Ognjanovic, Angelina Ilic-Stepic, Nebojsa Ikodinovic, 2012, Math. Log. Q..

Reasoning About Degrees of Confirmation

Zoran Ognjanovic, Dragan Doder, Sejla Dautovic, 2020, CLAR.

Interpolative Boolean Logic

Miodrag Raskovic, Zoran Ognjanovic, Dragan G. Radojevic, 2008, AIMSA.

Digitization of Mathematical Editions in Serbia

Zoran Ognjanovic, Zarko Mijajlovic, Aleksandar Pejovic, 2010, Math. Comput. Sci..

Probabilistic Common Knowledge Among Infinite Number of Agents

Zoran Ognjanovic, Sinisa Tomovic, Dragan Doder, 2015, ECSQARU.

Logics with the Qualitative Probability Operator

Miodrag Raskovic, Zoran Ognjanovic, Aleksandar Perovic, 2007, Log. J. IGPL.

On Real-Valued Evaluation of Propositional Formulas

Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic, 2012, FoIKS.

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

Zoran Ognjanovic, 2006, J. Log. Comput..

Prover 91 - A Parallel Theorem Prover (Extended Abstract)

Zoran Ognjanovic, Tatjana Petrovic, Aleksandar Krapez, 1992, TABLEAUX.

Finitely Additive Probability Measures in Automated Medical Diagnostics

Zoran Ognjanovic, Aleksandar Perovic, Milica Knezevic, 2014, IPMU.

A Probabilistic Logic with Polynomial Weight Formulas

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2008, FoIKS.

Logics with Generalized Measure Operators

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2013, J. Multiple Valued Log. Soft Comput..

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

Zoran Ognjanovic, Angelina Ilic-Stepic, Z. Ognjanovic, 2015, Stud Logica.

Probabilistic logics for objects located in space and time

Zoran Ognjanovic, John Grant, Dragan Doder, 2013, J. Log. Comput..

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

Zoran Ognjanovic, Dragan Doder, Nenad Savic, 2017, ECSQARU.

Variable Neighborhood Search for the Probabilistic Satisfiability Problem

Zoran Ognjanovic, Nenad Mladenovic, Dejan Jovanovic, 2007, Metaheuristics.

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

Zoran Ognjanovic, Mirjana Ivanovic, Milos Radovanovic, 2014, ICT Innovations.

Analyzing the exhaustiveness of the Synapse protocol

Zoran Ognjanovic, Luigi Liquori, Petar Maksimovic, 2015, Peer Peer Netw. Appl..

Digitization of Scientific Journals in Serbia

Zoran Ognjanovic, Zarko Mijajlovic, Aleksandar Pejovic, 2007, ELPUB.

Proving properties of the Chord protocol using the ASM formalism

Zoran Ognjanovic, Paola Glavan, Bojan Marinkovic, 2019, Theor. Comput. Sci..

A Logic with Coherent Conditional Probabilities

Zoran Ognjanovic, Nebojsa Ikodinovic, Z. Ognjanovic, 2005, ECSQARU.

Bee colony optimization for the satisfiability problem in probabilistic logic

Zoran Ognjanovic, Tatjana Stojanovic, Tatjana Davidovic, 2015, Appl. Soft Comput..

Qualitative Possibilities and Necessities

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2009, ECSQARU.

A propositional linear time logic with time flow isomorphic to ω2

Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic, 2013, J. Appl. Log..

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

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2012, Annals of Mathematics and Artificial Intelligence.

A First-Order Dynamic Probability Logic

Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic, 2013, ECSQARU.

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

Miodrag Raskovic, Zoran Ognjanovic, Dragan G. Radojevic, 2011, Fuzzy Sets Syst..

A Logic with Conditional Probabilities

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2004, JELIA.

Conditional p-adic probability logic

Zoran Ognjanovic, Angelina Ilic-Stepic, Nebojsa Ikodinovic, 2014, Int. J. Approx. Reason..

Probabilistic Justification Logic

Zoran Ognjanovic, Thomas Studer, Ioannis Kokkinis, 2016, LFCS.

A Probabilistic Temporal Logic That Can Model Reasoning about Evidence

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2010, FoIKS.

Logics with lower and upper probability operators

Zoran Ognjanovic, Dragan Doder, Nenad Savic, 2017, Int. J. Approx. Reason..

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

Zoran Ognjanovic, Miomir Vukobratovic, Miroslav Jockovic, 1990, Robotica.

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

Zoran Ognjanovic, Dragan Doder, Nenad Savic, 2018, FoIKS.

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

Zoran Ognjanovic, Jozef Kratica, Milos Milovanovic, 2001, ECSQARU.

Measure Logic

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2007, ECSQARU.

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

Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, 1992, TABLEAUX.

A Distributed Catalog for Digitized Cultural Heritage

Zoran Ognjanovic, Luigi Liquori, Vincenzo Ciancaglini, 2010, ICT Innovations.

Electronic Editions of Mathematical Works in Serbia

Zoran Ognjanovic, Zarko Mijajlovic, Dragan Blagojevic, 2005, ELPUB.

A first-order conditional probability logic

Zoran Ognjanovic, Milos Milosevic, Z. Ognjanovic, 2012, Log. J. IGPL.

First steps towards probabilistic justification logic

Zoran Ognjanovic, Petar Maksimovic, Thomas Studer, 2015, Log. J. IGPL.

A Tableau-Like Proof Procedure for Normal Modal Logics

Zoran Ognjanovic, 1994, Theor. Comput. Sci..

Probabilistic Reasoning About Simply Typed Lambda Terms

Zoran Ognjanovic, Silvia Ghilezan, Jelena Ivetic, 2018, LFCS.

Description of the Chord Protocol using ASMs Formalism pdf

Zoran Ognjanovic, Paola Glavan, Bojan Marinkovic, 2012, ArXiv.

The structure and evolution of scientific collaboration in Serbian mathematical journals

Zoran Ognjanovic, Mirjana Ivanovic, Milos Radovanovic, 2014, Scientometrics.

Some first-order probability logics

Miodrag Raskovic, Zoran Ognjanovic, Z. Ognjanovic, 2000, Theor. Comput. Sci..

An Axiomatization of a First-order Branching Time Temporal Logic

Zoran Ognjanovic, Zoran Markovic, Dragan Doder, 2010, J. Univers. Comput. Sci..

Probabilistic Approach to Nonmonotonic Consequence Relations

Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic, 2011, ECSQARU.

A first-order probabilistic logic with approximate conditional probabilities

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2014, Log. J. IGPL.

Measures of inconsistency and defaults

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2010, Int. J. Approx. Reason..

Justification Logic with Approximate Conditional Probabilities

Zoran Ognjanovic, Thomas Studer, Nenad Savic, 2017, LORI.

How to Restore Compactness into Probabilistic Logics?

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2008, JELIA.

A probabilistic extension of intuitionistic logic

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2003, Math. Log. Q..

Hierarchies of probabilistic logics

Miodrag Raskovic, Zoran Ognjanovic, Nebojsa Ikodinovic, 2014, Int. J. Approx. Reason..

Some Probability Logics with New Types of Probability Operators

Miodrag Raskovic, Zoran Ognjanovic, Z. Ognjanovic, 1999, J. Log. Comput..

Serbia Forum - Digital Cultural Heritage Portal

Zoran Ognjanovic, Vladimir Stojanovic, Veljko M. Milutinovic, 2014, ICISP.

A logic with approximate conditional probabilities that can model default reasoning

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2008, Int. J. Approx. Reason..

A Hybrid Genetic and Variable Neighborhood Descent for Probabilistic SAT Problem

Zoran Ognjanovic, Nenad Mladenovic, Uros Midic, 2005, Hybrid Metaheuristics.

Logics to formalise p-adic valued probability and their applications

Zoran Ognjanovic, Angelina Ilic-Stepic, Z. Ognjanovic, 2018, Int. J. Parallel Emergent Distributed Syst..

Probability Logics

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2016, Springer International Publishing.

A Probabilistic Logic for Reasoning about Uncertain Temporal Information

Zoran Ognjanovic, Dragan Doder, Z. Ognjanovic, 2015, UAI.

A Proposal for the National Standard for Describing Digitized Heritage

Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic, 2006, ELPUB.

Logics for reasoning about degrees of confirmation

Zoran Ognjanovic, Dragan Doder, Sejla Dautovic, 2021, J. Log. Comput..

An Epistemic Probabilistic Logic with Conditional Probabilities

Zoran Ognjanovic, Dragan Doder, Sejla Dautovic, 2021, JELIA.

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

Zoran Ognjanovic, Gabriele Kern-Isberner, 2021, Int. J. Approx. Reason..

A logic of interactive proofs

Zoran Ognjanovic, Thomas Studer, David Lehnherr, 2022, LFCS.

A Branching Time Logic with Two Types of Probability Operators

Zoran Ognjanovic, Dragan Doder, Z. Ognjanovic, 2011, SUM.