@ARTICLE{
author={Perovic Aleksandar M,Ognjanovic Zoran D,Stojanovic Tatjana P},
year={2024},
title={Logics for at most countable first-order structures},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
} 

@ARTICLE{
author={Doder Dragan J,Ognjanovic Zoran D},
year={2024},
title={Probabilistic temporal logic with countably additive semantics},
journal={ANNALS OF PURE AND APPLIED LOGIC},
volume={175},
number={9},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Ilic-Stepic Angelina V,Perovic Aleksandar M},
year={2024},
title={A Probabilistic Temporal Epistemic Logic: Strong Completeness},
journal={LOGIC JOURNAL OF THE IGPL},
volume={32},
number={1},
pages={94-138},
document_type={Article},
} 

@ARTICLE{
author={Ilic-Stepic Angelina V,Ognjanovic Zoran D,Perovic Aleksandar M},
year={2023},
title={The Logic ILP for Intuitionistic Reasoning About Probability},
journal={STUDIA LOGICA},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
} 

@ARTICLE{
author={Dautovic Sejla,Doder Dragan J,Ognjanovic Zoran D},
year={2023},
title={Reasoning about knowledge and conditional probability},
journal={INTERNATIONAL JOURNAL OF APPROXIMATE REASONING},
volume={163},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Ilic-Stepic Angelina V,Perovic Aleksandar M},
year={2023},
title={A probabilistic temporal epistemic logic: Decidability},
journal={LOGIC JOURNAL OF THE IGPL},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
} 

@ARTICLE{
author={Ilic-Stepic Angelina V,Ognjanovic Zoran D,Perovic Aleksandar M},
year={2023},
title={Probability Logics for Reasoning About Quantum Observations},
journal={LOGICA UNIVERSALIS},
volume={17},
number={2},
pages={175-219},
document_type={Article},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Perovic Aleksandar M,Ilic-Stepic Angelina V},
year={2022},
title={Tableau for the Logic Ilp},
journal={PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD},
volume={112},
number={126},
pages={1-11},
document_type={Article},
} 

@ARTICLE{
author={Ghilezan Silvia,Kasterovic Simona,Liquori Luigi,Marinkovic Bojan B,Ognjanovic Zoran D,Stefanovic Tamara},
year={2022},
title={Federating Digital Contact Tracing using Structured Overlay Networks},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={19},
number={3},
pages={1261-1282},
document_type={Article},
} 

@ARTICLE{
author={Lehnherr David,Ognjanovic Zoran D,Studer Thomas},
year={2022},
title={A logic of interactive proofs},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={32},
number={8},
pages={1645-1658},
document_type={Article},
} 

@ARTICLE{
author={Ilic-Stepic Angelina V,Knezevic Mateja,Ognjanovic Zoran D},
year={2022},
title={Intuitionistic propositional probability logic},
journal={MATHEMATICAL LOGIC QUARTERLY},
volume={68},
number={4},
pages={479-495},
document_type={Article},
} 

@ARTICLE{
author={Doder Dragan J,Ognjanovic Zoran D,Savic Nenad,Studer Thomas},
year={2022},
title={Incomplete Information and Justifications},
journal={LANGUAGE, LOGIC, AND COMPUTATION},
volume={13206},
number={},
pages={258-278},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Dautovic Sejla,Doder Dragan J,Ognjanovic Zoran D},
year={2021},
title={Logics for reasoning about degrees of confirmation},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={31},
number={8},
pages={2189-2217},
document_type={Article},
} 

@ARTICLE{
author={Kern-Isberner Gabriele,Ognjanovic Zoran D},
year={2021},
title={Special issue from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019)},
journal={INTERNATIONAL JOURNAL OF APPROXIMATE REASONING},
volume={138},
number={},
pages={76-77},
document_type={Editorial Material},
} 

@ARTICLE{
author={Stojanovic Tatjana P,Ikodinovic Nebojsa M,Davidovic Tatjana,Ognjanovic Zoran D},
year={2021},
title={Automated non-monotonic reasoning in System P},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={89},
number={5-6},
pages={471-509},
document_type={Article},
} 

@ARTICLE{
author={Ghilezan Silvia,Ivetic Jelena B,Kasterovic Simona,Ognjanovic Zoran D,Savic Nenad},
year={2020},
title={Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case},
journal={FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, FOIKS 2020},
volume={12012},
number={},
pages={122-139},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kokkinis Ioannis,Ognjanovic Zoran D,Studer Thomas},
year={2020},
title={Probabilistic justification logic},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={30},
number={1},
pages={257-280},
document_type={Article},
} 

@ARTICLE{
author={Tomovic Sinisa,Ognjanovic Zoran D,Doder Dragan J},
year={2020},
title={A First-order Logic for Reasoning about Knowledge and Probability},
journal={ACM TRANSACTIONS ON COMPUTATIONAL LOGIC},
volume={21},
number={2},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Doder Dragan J,Savic Nenad,Ognjanovic Zoran D},
year={2020},
title={Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities},
journal={JOURNAL OF LOGIC LANGUAGE AND INFORMATION},
volume={29},
number={1},
pages={77-107},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Ognjanovic Zoran D,Glavan Paola,Kos Anton,Umek Anton},
year={2020},
title={Correctness of the Chord Protocol},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={17},
number={1},
pages={141-160},
document_type={Article},
} 

@ARTICLE{
author={Ikodinovic Nebojsa M,Ognjanovic Zoran D,Perovic Aleksandar M,Raskovic Miodrag D},
year={2020},
title={Completeness theorems for sigma-additive probabilistic semantics},
journal={ANNALS OF PURE AND APPLIED LOGIC},
volume={171},
number={4},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Glavan Paola,Ognjanovic Zoran D,Studer Thomas},
year={2019},
title={A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={29},
number={5},
pages={803-830},
document_type={Article},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Marinkovic Bojan B,Segan-Radonjic Marija,Maslikovic Dejan},
year={2019},
title={Cultural Heritage Digitization in Serbia: Standards, Policies, and Case Studies},
journal={SUSTAINABILITY},
volume={11},
number={14},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Glavan Paola,Ognjanovic Zoran D},
year={2019},
title={Proving properties of the Chord protocol using the ASM formalism},
journal={THEORETICAL COMPUTER SCIENCE},
volume={756},
number={},
pages={64-93},
document_type={Article},
} 

@ARTICLE{
author={Savic Nenad,Doder Dragan J,Ognjanovic Zoran D},
year={2017},
title={A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities},
journal={SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2017},
volume={10369},
number={},
pages={491-500},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Doder Dragan J,Ognjanovic Zoran D},
year={2017},
title={Probabilistic Logics with Independence and Confirmation},
journal={STUDIA LOGICA},
volume={105},
number={5},
pages={943-969},
document_type={Article},
} 

@ARTICLE{
author={Huylebrouck Dirk,Ognjanovic Zoran D,Radovic Ljiljana M},
year={2017},
title={Leibniz, a Sorb},
journal={MATHEMATICAL INTELLIGENCER},
volume={39},
number={3},
pages={53-55},
document_type={Editorial Material},
} 

@ARTICLE{
author={Savic Nenad,Doder Dragan J,Ognjanovic Zoran D},
year={2017},
title={Logics with lower and upper probability operators},
journal={INTERNATIONAL JOURNAL OF APPROXIMATE REASONING},
volume={88},
number={},
pages={148-168},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Ognjanovic Zoran D,Glavan Paola,Umek Anton},
year={2016},
title={Correctness of the Chord Protocol},
journal={2016 INTERNATIONAL CONFERENCE ON IDENTIFICATION, INFORMATION AND KNOWLEDGE IN THE INTERNET OF THINGS (IIKI)},
volume={},
number={},
pages={547-552},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Tomovic Sinisa,Mihaljevic Miodrag J,Perovic Aleksandar M,Ognjanovic Zoran D},
year={2016},
title={A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One},
journal={MATHEMATICAL PROBLEMS IN ENGINEERING},
volume={},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Perovic Aleksandar M,Doder Dragan J,Ognjanovic Zoran D,Raskovic Miodrag D},
year={2016},
title={On Evaluations of Propositional Formulas in Countable Structures},
journal={FILOMAT},
volume={30},
number={1},
pages={1-13},
document_type={Article},
} 

@ARTICLE{
author={Kokkinis Ioannis,Ognjanovic Zoran D,Studer Thomas},
year={2016},
title={Probabilistic Justification Logic},
journal={LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016)},
volume={9537},
number={},
pages={174-186},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Doder Dragan J,Ognjanovic Zoran D},
year={2015},
title={A Probabilistic Logic for Reasoning about Uncertain Temporal Information},
journal={UNCERTAINTY IN ARTIFICIAL INTELLIGENCE},
volume={},
number={},
pages={248-257},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Savic Nenad,Doder Dragan J,Ognjanovic Zoran D},
year={2015},
title={A Logic with Upper and Lower Probability Operators},
journal={PROCEEDINGS OF THE 9TH INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY: THEORIES AND APPLICATIONS (ISIPTA '15)},
volume={},
number={},
pages={267-276},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Tomovic Sinisa,Ognjanovic Zoran D,Doder Dragan J},
year={2015},
title={Probabilistic Common Knowledge Among Infinite Number of Agents},
journal={SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2015},
volume={9161},
number={},
pages={496-505},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kokkinis Ioannis,Maksimovic Petar,Ognjanovic Zoran D,Studer Thomas},
year={2015},
title={First steps towards probabilistic justification logic},
journal={LOGIC JOURNAL OF THE IGPL},
volume={23},
number={4},
pages={662-687},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Ciancaglini Vincenzo,Ognjanovic Zoran D,Glavan Paola,Liquori Luigi,Maksimovic Petar},
year={2015},
title={Analyzing the exhaustiveness of the Synapse protocol},
journal={PEER-TO-PEER NETWORKING AND APPLICATIONS},
volume={8},
number={5},
pages={793-806},
document_type={Article},
} 

@ARTICLE{
author={Stojanovic Tatjana P,Davidovic Tatjana,Ognjanovic Zoran D},
year={2015},
title={Bee colony optimization for the satisfiability problem in probabilistic logic},
journal={APPLIED SOFT COMPUTING},
volume={31},
number={},
pages={339-347},
document_type={Article},
} 

@ARTICLE{
author={Ilic-Stepic Angelina V,Ognjanovic Zoran D},
year={2015},
title={Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers},
journal={STUDIA LOGICA},
volume={103},
number={1},
pages={145-174},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Ognjanovic Zoran D,Doder Dragan J,Perovic Aleksandar M},
year={2014},
title={A propositional linear time logic with time flow isomorphic to omega(2)},
journal={JOURNAL OF APPLIED LOGIC},
volume={12},
number={2},
pages={208-229},
document_type={Article},
} 

@ARTICLE{
author={Savic Milos,Ivanovic Mirjana K,Radovanovic Milos M,Ognjanovic Zoran D,Pejovic Aleksandar,Jaksic-Kruger Tatjana S},
year={2014},
title={The structure and evolution of scientific collaboration in Serbian mathematical journals},
journal={SCIENTOMETRICS},
volume={101},
number={3},
pages={1805-1830},
document_type={Article},
} 

@ARTICLE{
author={Knezevic Milica M,Ognjanovic Zoran D,Perovic Aleksandar M},
year={2014},
title={Finitely Additive Probability Measures in Automated Medical Diagnostics},
journal={INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS, PT II},
volume={443},
number={},
pages={10-19},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Ilic-Stepic Angelina V,Ognjanovic Zoran D,Ikodinovic Nebojsa M},
year={2014},
title={Conditional p-adic probability logic},
journal={INTERNATIONAL JOURNAL OF APPROXIMATE REASONING},
volume={55},
number={9},
pages={1843-1865},
document_type={Article},
} 

@ARTICLE{
author={Ikodinovic Nebojsa M,Ognjanovic Zoran D,Perovic Aleksandar M,Raskovic Miodrag D},
year={2014},
title={Hierarchies of probabilistic logics},
journal={INTERNATIONAL JOURNAL OF APPROXIMATE REASONING},
volume={55},
number={9},
pages={1830-1842},
document_type={Article},
} 

@ARTICLE{
author={Mihajlovic Aleksandar,Jelisavcic Vladislav S,Marinkovic Bojan B,Todorovic Milan,Ognjanovic Zoran D,Tomovic Sinisa,Stojanovic Vladimir,Milutinovic Veljko M},
year={2014},
title={Serbia Forum - Digital Cultural Heritage Portal},
journal={IMAGE AND SIGNAL PROCESSING, ICISP 2014},
volume={8509},
number={},
pages={265-271},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Ikodinovic Nebojsa M,Raskovic Miodrag D,Markovic Zoran M,Ognjanovic Zoran D},
year={2014},
title={A first-order probabilistic logic with approximate conditional probabilities},
journal={LOGIC JOURNAL OF THE IGPL},
volume={22},
number={4},
pages={539-564},
document_type={Article},
} 

@ARTICLE{
author={Ilic-Stepic Angelina V,Ognjanovic Zoran D},
year={2014},
title={Complex Valued Probability Logics},
journal={PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD},
volume={95},
number={109},
pages={73-86},
document_type={Article},
} 

@ARTICLE{
author={Milosevic Milos,Ognjanovic Zoran D},
year={2013},
title={A First-Order Conditional Probability Logic with Iterations},
journal={PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD},
volume={93},
number={107},
pages={19-27},
document_type={Article},
} 

@ARTICLE{
author={Doder Dragan J,Grant John,Ognjanovic Zoran D},
year={2013},
title={Probabilistic logics for objects located in space and time},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={23},
number={3},
pages={487-515},
document_type={Article},
} 

@ARTICLE{
author={Ikodinovic Nebojsa M,Raskovic Miodrag D,Markovic Zoran M,Ognjanovic Zoran D},
year={2013},
title={Logics with Generalized Measure Operators},
journal={JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING},
volume={20},
number={5-6},
pages={527-555},
document_type={Article},
} 

@ARTICLE{
author={Doder Dragan J,Ognjanovic Zoran D,Perovic Aleksandar M,Raskovic Miodrag D},
year={2012},
title={On Evaluations of Propositional Formulas Whose Range Is a Subset of Some Fixed Countable Ordered Field},
journal={UNCERTAINTY MODELING IN KNOWLEDGE ENGINEERING AND DECISION MAKING},
volume={7},
number={},
pages={567-572},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Markovic Zoran M,Raskovic Miodrag D,Doder Dragan J,Perovic Aleksandar M},
year={2012},
title={A propositional probabilistic logic with discrete linear time for reasoning about evidence},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={65},
number={2-3},
pages={217-243},
document_type={Article},
} 

@ARTICLE{
author={Ilic-Stepic Angelina V,Ognjanovic Zoran D,Ikodinovic Nebojsa M,Perovic Aleksandar M},
year={2012},
title={A p-adic probability logic},
journal={MATHEMATICAL LOGIC QUARTERLY},
volume={58},
number={4-5},
pages={263-280},
document_type={Article},
} 

@ARTICLE{
author={Milosevic Milos,Ognjanovic Zoran D},
year={2012},
title={A first-order conditional probability logic},
journal={LOGIC JOURNAL OF THE IGPL},
volume={20},
number={1},
pages={235-253},
document_type={Article},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Doder Dragan J,Markovic Zoran M},
year={2011},
title={A Branching Time Logic with Two Types of Probability Operators},
journal={SCALABLE UNCERTAINTY MANAGEMENT},
volume={6929},
number={},
pages={219-232},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Bojan B,Liquori Luigi,Ciancaglini Vincenzo,Ognjanovic Zoran D},
year={2011},
title={A Distributed Catalog for Digitized Cultural Heritage},
journal={ICT INNOVATIONS 2010},
volume={83},
number={},
pages={176-186},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Perovic Aleksandar M,Ognjanovic Zoran D,Raskovic Miodrag D,Radojevic Dragan G},
year={2011},
title={Finitely additive probability measures on classical propositional formulas definable by Godel's t-norm and product t-norm},
journal={FUZZY SETS AND SYSTEMS},
volume={169},
number={1},
pages={65-90},
document_type={Article},
} 

@ARTICLE{
author={Doder Dragan J,Ognjanovic Zoran D,Markovic Zoran M},
year={2010},
title={An Axiomatization of a First-order Branching Time Temporal Logic},
journal={JOURNAL OF UNIVERSAL COMPUTER SCIENCE},
volume={16},
number={11},
pages={1439-1451},
document_type={Article},
} 

@ARTICLE{
author={Doder Dragan J,Raskovic Miodrag D,Markovic Zoran M,Ognjanovic Zoran D},
year={2010},
title={Measures of inconsistency and defaults},
journal={INTERNATIONAL JOURNAL OF APPROXIMATE REASONING},
volume={51},
number={7},
pages={832-845},
document_type={Article},
} 

@ARTICLE{
author={Doder Dragan J,Markovic Zoran M,Ognjanovic Zoran D,Perovic Aleksandar M,Raskovic Miodrag D},
year={2010},
title={A Probabilistic Temporal Logic That Can Model Reasoning about Evidence},
journal={FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS},
volume={5956},
number={},
pages={9-24},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Perovic Aleksandar M,Ognjanovic Zoran D,Raskovic Miodrag D,Markovic Zoran M},
year={2009},
title={Qualitative Possibilities and Necessities},
journal={SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS},
volume={5590},
number={},
pages={651-662},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Butigan-Vucaj Tamara,Marinkovic Bojan B},
year={2009},
title={NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia},
journal={METADATA AND SEMANTICS},
volume={},
number={},
pages={45-54},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Mijajlovic Zarko,Ognjanovic Zoran D},
year={2008},
title={Digitization of Mathematical Editions in Serbia},
journal={DML 2008 - TOWARDS DIGITAL MATHEMATICS LIBRARY},
volume={},
number={},
pages={87-95},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Perovic Aleksandar M,Raskovic Miodrag D},
year={2008},
title={An Axiomatizatin of Qualitative Probability},
journal={ACTA POLYTECHNICA HUNGARICA},
volume={5},
number={1},
pages={105-110},
document_type={Article},
} 

@ARTICLE{
author={Perovic Aleksandar M,Ognjanovic Zoran D,Raskovic Miodrag D,Markovic Zoran M},
year={2008},
title={How to Restore Compactness into Probabilistic Logics?},
journal={LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS},
volume={5293},
number={},
pages={338-348},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Raskovic Miodrag D,Markovic Zoran M,Ognjanovic Zoran D},
year={2008},
title={A logic with approximate conditional probabilities that can model default reasoning},
journal={INTERNATIONAL JOURNAL OF APPROXIMATE REASONING},
volume={49},
number={1},
pages={52-66},
document_type={Article},
} 

@ARTICLE{
author={Radojevic Dragan G,Perovic Aleksandar M,Ognjanovic Zoran D,Raskovic Miodrag D},
year={2008},
title={Interpolative Boolean logic},
journal={ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS},
volume={5253},
number={},
pages={209-219},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Perovic Aleksandar M,Raskovic Miodrag D},
year={2008},
title={Logics with the qualitative probability operator},
journal={LOGIC JOURNAL OF THE IGPL},
volume={16},
number={2},
pages={105-120},
document_type={Article},
} 

@ARTICLE{
author={Perovic Aleksandar M,Ognjanovic Zoran D,Raskovic Miodrag D,Markovic Zoran M},
year={2008},
title={A probabilistic logic with polynomial weight formulas},
journal={FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS},
volume={4932},
number={},
pages={239-252},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Perovic Aleksandar M,Raskovic Miodrag D},
year={2007},
title={An axiomatization of qualitative probability},
journal={2007 5TH INTERNATIONAL SYMPOSIUM ON INTELLIGENT SYSTEMS & INFORMATICS},
volume={},
number={},
pages={133-136},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Ikodinovic Nebojsa M,Raskovic Miodrag D,Markovic Zoran M,Ognjanovic Zoran D},
year={2007},
title={Measure logic},
journal={Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Proceedings},
volume={4724},
number={},
pages={128-138},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Ognjanovic Zoran D},
year={2006},
title={Discrete linear-time probabilistic logics: Completeness, decidability and complexity},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={16},
number={2},
pages={257-285},
document_type={Article},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Midic Uros,Mladenovic Nenad M},
year={2005},
title={A hybrid genetic and variable neighborhood descent for probabilistic SAT problem},
journal={HYBRID METAHEURISTICS, PROCEEDINGS},
volume={3636},
number={},
pages={42-53},
document_type={Article},
} 

@ARTICLE{
author={Ikodinovic Nebojsa M,Ognjanovic Zoran D},
year={2005},
title={A logic with coherent conditional probabilities},
journal={SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS},
volume={3571},
number={},
pages={726-736},
document_type={Article},
} 

@ARTICLE{
author={Raskovic Miodrag D,Ognjanovic Zoran D,Markovic Zoran M},
year={2004},
title={A logic with conditional probabilities},
journal={LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS},
volume={3229},
number={},
pages={226-238},
document_type={Article},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Midic Uros,Kratica Jozef J},
year={2004},
title={A genetic algorithm for probabilistic SAT problem},
journal={ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING - ICAISC 2004},
volume={3070},
number={},
pages={462-467},
document_type={Article},
} 

@ARTICLE{
author={Djordjevic Radosav S,Raskovic Miodrag D,Ognjanovic Zoran D},
year={2004},
title={Completeness theorem for propositional probabilistic models whose measures have only finite ranges},
journal={ARCHIVE FOR MATHEMATICAL LOGIC},
volume={43},
number={4},
pages={557-563},
document_type={Article},
} 

@ARTICLE{
author={Markovic Zoran M,Ognjanovic Zoran D,Raskovic Miodrag D},
year={2003},
title={A probabilistic extension of intuitionistic logic},
journal={MATHEMATICAL LOGIC QUARTERLY},
volume={49},
number={4},
pages={415-424},
document_type={Article},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Raskovic Miodrag D},
year={2000},
title={Some first-order probability logics},
journal={THEORETICAL COMPUTER SCIENCE},
volume={247},
number={1-2},
pages={191-212},
document_type={Article},
}